pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
用于 Pi 编码代理的 Jev (TypeSafe System One) 权限门。在每次 bash/write/edit 调用运行前,使用 Jev 决策模型进行判断。
该仓库实现了一个用于 Pi 编码代理的权限门,核心依赖 TypeSafe AI 的 Jev/System One 模型对每条 bash/write/edit 命令进行威胁判断,包含登录、API 调用、配置和测试,是真实集成。