pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
DeepSeek Harness 插件:由 TypeSafe Jev 驱动的逐工具调用自动权限审查,设置页面内联账号用量与 API 密钥管理。
该仓库是一个真实的 DeepSeek Harness 插件,通过调用 TypeSafe Jev API(api.typesafe.ai/v1/systemone,模型 jev-latest)对每个工具调用执行自动权限审查,并包含完整的配置、测试、使用说明与设计参考,属于实质性的安全护栏集成。