A Minesweeper game integrating TypeSafe Jev: deterministic solver and exact probability enumeration handle provable moves, and Jev is called only when a guess is forced; includes prompt experiments, live evaluation, and reproduction scripts.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 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.
