pi-heed:基于 TypeSafe Jev 的 PI 运行时约束
pi 编码代理的运行时约束:在执行前将每个产生副作用的工具调用与用户声明的规则核对,由 TypeSafe Jev 提供支持。包含评估 Jev System One 决策的详细基准和实验记录。
710MIT
使用 TypeSafe Jev 扫描代码库中的隐藏、欺骗或数据窃取行为,并报告可疑文件和行号。干净的扫描报告并不证明项目是安全的。
该仓库是一个代码安全扫描工具,明确使用 TypeSafe Jev 模型进行恶意代码检测,README 详细说明了 Jev API 调用、--model jev-latest 参数、Jev 客户端测试等,属于真实集成。