pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
面向 AI 编码代理 shell 命令的基于效果的安全门,默认使用 TypeSafe 的 Jev 作为判断模型;在该项目评测中 Jev 是唯一以零危险命令通过认证的模型。
该仓库是面向 AI 编码代理命令的安全门,默认调用 TypeSafe 的 Jev(System One)作为判定模型,并包含 Jev 的认证评测、API 集成与配置说明,实质内容与 Jev 直接相关。