pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
将 TypeSafe Jev 集成到 DeepSeek Harness,在毫秒级对工具调用进行风险分类和自动放行;提供 shadow/enforce 模式、遥测统计与 52 个测试。
该仓库是为 DeepSeek Harness 编写的 Jev 插件,在每次工具调用前调用 TypeSafe Jev 做 System-1 风险分类与自动审批,包含 shadow/enforce 模式、52 个测试、遥测和使用文档,属于真实集成与开发工具。