pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
コーディングエージェント向けのセキュリティフックで、Jevを使ってツール呼び出しのリスク評価、プロンプトインジェクションの検出、スキル/プラグインのチェックを行います。Claude Code、Codex、Copilot、Gemini、Cursor、pi、OpenCode、ACPに対応。
该仓库真实使用 TypeSafe AI 的 Jev 模型,实现了编码代理的安全钩子,调用 Jev API 进行工具调用风险评分、提示注入检测和技能/插件检查,并包含实测数据、CLI 及多种代理集成,属于实质性的开发工具与安全防护项目。