jevbooks

← All projects

pi-typesafe

twilwa/pi-typesafe

TypeSafe Jev sidecar adds pre-flight and diff-quality hazard checks to Pi.

Verification & Guardrails100%Runner-up: Classification & Routing

What it is

A Pi coding-agent extension that runs four pre-flight hazard checks before bash, write and edit, and four diff-quality checks after write and edit, generating fixed advisory feedback for the agent.

How it uses Jev

Each phase sends one TypeSafe System One request. Pre-flight check use Choice with "true"/"false" labels on tool input and repo context; the critic uses Score on the resulting diff. Returned typed values are compared against configured confidence and minScore thresholds, then fixed feedback is appended to results.

Primitives:choicescore

Technique worth stealing

Share one System One request per phase across four checks, apply per-check confidence thresholds, and keep the extension advisory by default so failures never block tools.

Try it

npm ci && npm run check; then pi -e ./src/extension.ts with TYPESAFE_API_KEY set.

View on GitHub

judged by Jevjev-1.13.0

Evidence

Each line is one question put to Jev about the README. ≥ 0.60 reads as yes, ≤ 0.40 as no; in between Jev is not making a call.

  • Jev-centricyes0.83
  • Shows a System One patternunclear0.54
  • Handles uncertaintyyes0.76
  • Measuredno0.04
  • Runnableyes0.96
  • Worth recommendingno0.38
  • Model replicano0.03
  • Problem scopescore on a 0–2 scale1.34
  • About Jevyes0.98

Signals by Jev jev-1.13.0, card written by DeepSeek V4.1 Flash from the README on 20 Sept 2026.