Runtime constraints for the pi coding agent: checks every side-effecting tool call against user-stated rules, powered by TypeSafe Jev. Includes a detailed benchmark and experiment log evaluating Jev's System One decisions.
该仓库是 pi 编码代理的运行时约束工具，明确基于 TypeSafe Jev 构建，包含 Jev API 集成、详细的实验报告、基准测试和真实会话回放，深入评估了 Jev System One 模型在决策中的应用。
TypeSafeAITypeSafeAI/jev-harnessOfficialTypeSafeAI community repository implementing a Jev-based proposal-review workflow: an LLM proposes, Jev answers four narrow questions, code decides and leaves receipts; includes offline tests, routing experiments and a Next.js demo.
ekzhangekzhang/openjev-sglangJev-compatible API endpoint based on open models (prefill-only), implementing TypeSafe Jev/System One evaluation endpoints with Qwen3.6-35B-A3B on SGLang.
keltokhykeltokhy/jgrepjgrep is a CLI semantic grep that calls TypeSafe's Jev/System One decision model to judge lines or diff hunks by description, returning probabilities instead of generated text.
