pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
一个 MCP 代理与 hooks 适配器,在 AI 智能体工具调用执行前和结果被读取前进行拦截审查,使用 TypeSafe Jev / System One 做校准判断,支持 shadow/enforce 模式并附带基准测试结果。
仓库 README 与 topics 明确提及 TypeSafe Jev / System One,并使用 jev-1.13.0 做基准评估;项目作为 MCP 代理和 hooks 适配器实际集成 Jev API,属于真实使用。