pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
エージェントが読み取る前にコンテンツのプロンプトインジェクションを検出します。デフォルトではTypeSafeのJev System Oneで動作し、ローカルモデルとキーワード検出器を同梱し、ベンチマーク結果を公開しています。
仓库实现了一个基于TypeSafe Jev System One模型的提示注入检测器,包含Jev API调用、CLI、MCP集成、评估基准和文档,直接使用Jev API,属于安全防护工具。