TypeSafeAITypeSafeAI/jev-harness官方JEV Harness：基于 Jev 的提案审查工具
TypeSafeAI 社区仓库，实现基于 Jev 的提案审查流程：LLM 提出操作，Jev 回答四个窄问题，代码做决定并留下凭证；包含离线测试、路由实验和 Next.js 演示。
630MIT
Lintus：使用自然语言规则的 AI 代码检查器
一个 Ruby 代码检查器，读取以自然语言问题编写的 YAML 规则，并调用 TypeSafe AI 的 Jev 模型对每个文件进行判断，根据模型的 noul 概率报告违规。支持 CI、pre-commit 和本地运行。
仓库 README 明确说明调用 Jev API，并演示了以 YAML 编写自然语言规则、由 Jev 模型进行 noul 判断的流程；topics 也包含 jev、jev-ai、typesafe-ai，确认为真实使用 TypeSafe AI Jev 的开发者工具。
· 11 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