TypeSafeAITypeSafeAI/jev-harness官方JEV Harness：基于 Jev 的提案审查工具
TypeSafeAI 社区仓库，实现基于 Jev 的提案审查流程：LLM 提出操作，Jev 回答四个窄问题，代码做决定并留下凭证；包含离线测试、路由实验和 Next.js 演示。
630MIT
扫雷 × Jev
一款集成 TypeSafe Jev 的扫雷游戏：可证明的走法由确定性求解器和精确概率枚举处理，只有被迫猜测时才调用 Jev；仓库还包含提示词实验、在线评测与复现脚本。
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
· 1 Stars在 GitHub 打开
更多类似项目
TypeSafeAITypeSafeAI/jev-harness官方
ekzhangekzhang/openjev-sglangOpenJev SGLang
基于开放模型的 Jev 兼容 API 端点（仅 prefill），在 SGLang 上使用 Qwen3.6-35B-A3B 实现 TypeSafe Jev/System One 评估端点。
277352
keltokhykeltokhy/jgrepjgrep
jgrep 是一个命令行语义搜索工具，调用 TypeSafe Jev/System One 决策模型按描述判断文本行或代码差异，返回概率而不生成文本。
2121MIT