pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
TypeSafe Jev を使用して、コードベース内の隠れた、欺瞞的な、またはデータ窃取の動作をスキャンし、疑わしいファイルと行を報告します。クリーンなレポートはプロジェクトの安全性を証明するものではありません。
该仓库是一个代码安全扫描工具,明确使用 TypeSafe Jev 模型进行恶意代码检测,README 详细说明了 Jev API 调用、--model jev-latest 参数、Jev 客户端测试等,属于真实集成。