NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed：基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束：在执行前将每个产生副作用的工具调用与用户声明的规则核对，由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
pi-jev-eye：基于 TypeSafe Jev 的 Pi 编码代理守卫
面向 Pi 编码代理的超轻量监督器。它通过本地正则拦截破坏性命令和凭据泄露，跟踪验证状态，并使用 TypeSafe Jev 的 has_slop 语义门控阻止低质量代码。
该仓库 README 明确说明其第三层 Jev Semantic Gate 调用 TypeSafe Jev 的 has_slop 评估代码差异，并支持 TypeSafe/OpenRouter API Key 登录与用量统计，属于对 TypeSafe Jev 的真实集成与使用。
· 0 Stars在 GitHub 打开
更多类似项目
NyarlathotepppppNyarlathoteppppp/pi-heed
cwjechw98-langcwjechw98-lang/jev-gatesJev Gates
为编码代理提供三个防护门：不可逆操作前审批、基于证据的完成检查、以及量规回归检查，由 TypeSafe Jev (System One) 驱动。包含 CLI 脚本、离线测试与 CI 工作流。
000MIT
InverxInverx/JevREJevRE：基于Jev的安卓逆向决策层
JevRE 是一个 Python CLI，集成 TypeSafe AI 的 Jev System One 模型，用于在安卓逆向工程中建议下一步调查动作。它包含真实 Jev API 客户端和离线 Mock 模式。
000MIT