Jev Coding Agents

Verifiable coding agent runtime with 855 stars. Ships a first-class Jev structured-output provider so agent decisions come back typed through the same decision resolver as its other providers, alongside plain-English workflows, approval gates and evidence-backed verification stages.

MIT-licensed Python tool router for coding agents that keeps obvious calls on a fast path, asks Jev (default typesafe/jev-1.13 via OpenRouter) for genuinely ambiguous choices, and can run bounded MCTS when multi-step consequences matter. Ships a CLI, MCP server and hook integrations.

A Pi coding-agent extension that uses Jev to classify each request and route it to one of three configured models. Supports TypeSafe, Cloudflare AI Gateway, Vercel AI Gateway and OpenRouter backends, with doctor checks, shadow mode and an off-by-default setup.

Vercel Labs' Unix-like coding agent CLI written in Zig, shipping a typesafe_permission_reviewer builtin that runs the agent's permission decisions through Jev rather than an LLM call. Model-agnostic and embeddable via libfx and ACP.

Merged PR in the Kilo Code cloud monorepo that replaces its LLM auto-routing classifier with one OpenRouter /systemone Choice request to typesafe/jev-1.13; the PR reports 0.93-0.94 route accuracy on 72 golden cases at roughly $0.00028 per call, with a 250 ms transport-error retry.