NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed：基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束：在执行前将每个产生副作用的工具调用与用户声明的规则核对，由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
Footwork：带 TypeSafe Jev 验证门禁的浏览器智能体
基于 browser-use 的浏览器智能体，使用 TypeSafe Jev 按页面证据校验 LLM 完成结果并拦截危险操作；dual 模式中 Jev 作为 System 1 执行机械步骤，含预注册实验与评测结果。
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
· 1 Stars在 GitHub 打开
更多类似项目
NyarlathotepppppNyarlathoteppppp/pi-heed
cwjechw98-langcwjechw98-lang/jev-gatesJev Gates
为编码代理提供三个防护门：不可逆操作前审批、基于证据的完成检查、以及量规回归检查，由 TypeSafe Jev (System One) 驱动。包含 CLI 脚本、离线测试与 CI 工作流。
000MIT
jomatsujomatsu/pi-jev-auto-modeJev 支持的 Pi 编码代理自动模式
一个用于 Pi 编码代理的权限门扩展，使用 TypeSafe Jev (System One) 语义性地批准或阻止 bash、write 和 edit 工具调用，默认失败关闭。
2321MIT