A DSH plugin that verifies coding agents' 'done' claims by combining deterministic repository evidence, one batched TypeSafe Jev/System One assessment, and a pure policy. Fail-open; includes analysis tools, determinism probes, and real-fixture tests.
该仓库是一个真实的 DSH 插件，包含手写 System One 客户端、Jev 批处理评估、纯策略、日志与分析工具；README 深入探讨了 Jev 的能力边界和概率不确定性，不是空仓库或仅堆关键词。
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.
