pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
一个用于 Pi 编码代理的权限门扩展,使用 TypeSafe Jev (System One) 语义性地批准或阻止 bash、write 和 edit 工具调用,默认失败关闭。
仓库是一个 Pi 编码代理的权限门扩展,明确基于 TypeSafe Jev (System One) 实现语义决策,包含真实代码、171 项测试和校准文档,直接集成 Jev API。