Top Repos· Jev-Based· Harness· Last updated 2026-09-21

alviso / jev-precheck

“A second signature on every write an AI agent makes into a system of record. MCP proxy: fetch the records, derive in code, Jev judges. 98.6% recall, 0 false holds on 288 cases.”

Jev-Based rank #252In Harness #92

• 0Stars
• —Stars Δ / 1d
• —Stars Δ / 7d
• —Stars Δ / 30d
• 0Forks
• 0Watchers

GitHub ↗Official docs ↗Back to ranking

TL;DR

alviso/jev-precheck showed up as Jev / System One related work: Verified TypeSafe Jev / System One work — Jev or System One is the core idea.

The author describes it as: “A second signature on every write an AI agent makes into a system of record. MCP proxy: fetch the records, derive in code, Jev judges. 98.6% recall, 0 false holds on 288 cases.” That is their claim, not a bench this site ran.

Who it’s for

• Agent / harness authors who need a typed gate, route, or prune step
• Anyone who needs the unofficial line: jev.pro does not issue keys and is not TypeSafe

What’s inside

Top-level entries on GitHub at generation time: .env.example, .gitignore, LICENSE, README.md, bun.lock, contracts, examples, fixtures, package.json, src, tsconfig.json. Read those before you trust a one-line install.

How to use

1. Clone and follow the author’s TypeScript toolchain. Do not invent a package name.

git clone https://github.com/alviso/jev-precheck.git
cd jev-precheck

2. If the project calls hosted Jev, you still need a TypeSafe console key or a documented gateway.
3. Send a complete state and typed questions. Code owns control flow after the probabilities.

Hosted Jev still looks like a function call — wrapper or not:

{
  model: "jev-1.13.0",
  state: { source: "alviso/jev-precheck", brief: "..." },
  questions: {
    gate: { type: "noul", instructions: "Should we act on this state?" },
    route: { type: "choice", instructions: "Pick one next system.", criteria: ["code", "review", "human"] },
  },
}

Try this

Put Jev on one real brief

Wire alviso/jev-precheck so one real state (ticket, diff, or utterance) becomes a Choice plus a Noul. Do not ask Jev to write the user-facing reply.

Schema-safe ≠ correct

On a case alviso/jev-precheck gets wrong, write down the schema-legal answer it returned and the human label. Do not “fix” it by asking Jev to generate an explanation.

FAQ

Does this replace the TypeSafe SDK?

Only if the author implemented a full client. Most harnesses still call the vendor SDK or raw HTTP.

Are the star chips live?

Star, fork, and watcher chips refresh from the public GitHub API via a scheduled job. The prose on this page is editorial.