pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
基于 TypeSafe JEV 的二进制审批门,用于 Codex 和 Claude Code,拦截工具调用并由本地策略裁决。
该仓库实现了一个二进制审批门,通过 Claude Code 钩子拦截工具调用并调用 TypeSafe Jev API(api.typesafe.ai/v1/systemone)进行风险审查,同时包含 eval 测试目录,真实集成并测试了 Jev / System One 模型。