Use case
Jev for Coding-agent gates
Keep the coding agent that writes code. Use Jev only for allow-or-deny questions whose legal answers are already listed.
Last verified: 2026-09-30
Overview
A coding agent will commit, push, or run a shell command because a markdown rule is easy to skip. The decision to allow that call is a closed question. The command text and the patch are not.
Why Jev fits
- The verdict can be a Choice or a set of Nouls over conditions you wrote.
- Code can hard-deny paths and commands before any model sees them.
- An undecidable answer, a timeout, or a missing key can block. That policy lives in the gate, not in the model.
- Official docs say Jev is not a replacement for the model inside Claude Code, Cursor, opencode, Copilot, Muse Spark, Grok Bot, or similar tools.
Real projects
Developer ToolOpen Source
jevcdoronpCompiles policy prose into typed Jev questions plus a reducer that computes the verdict in ordinary code.Developer ToolOpen Source
pi-jev-auto-modejomatsuA fail-closed permission gate for the Pi coding agent. Deterministic rules run first. Hosted Jev judges what those rules escalate.Example workflow
- Keep deterministic denies for secrets, force-push, and protected paths.
- Send only the escalated call to Jev, with the user request as state.
- Combine the probabilities in code. Block the middle band unless a human setting says otherwise.
- Record the answers so a threshold change is a diff, not a new prompt.
When Jev works well
- Tool calls whose danger is a property of the command, the path, or the user's request.
- Rules you can already state as yes-or-no conditions.
When Jev may not fit
- Choosing what code to write, or explaining a patch.
- A gate whose only copy of the policy is a paragraph the agent is trusted to remember.
Related tutorials
Jev with coding agentsConfidence-gated routingDecision layer
Sources
- Jev with coding agentsTypeSafe · accessed 2026-09-30 · documentation
- pi-jev-auto-mode READMEjomatsu · accessed 2026-09-30 · github
- jevc READMEdoronp · accessed 2026-09-30 · github