NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed：基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束：在执行前将每个产生副作用的工具调用与用户声明的规则核对，由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
基于 Jev 的编码代理安全防护
一个用于编码代理的安全钩子，使用 Jev 对工具调用进行风险评分、检测提示注入并检查技能/插件。支持 Claude Code、Codex、Copilot、Gemini、Cursor、pi、OpenCode 和 ACP。
该仓库真实使用 TypeSafe AI 的 Jev 模型，实现了编码代理的安全钩子，调用 Jev API 进行工具调用风险评分、提示注入检测和技能/插件检查，并包含实测数据、CLI 及多种代理集成，属于实质性的开发工具与安全防护项目。
· 27 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