pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
Codex と Claude Code 向けのバイナリ承認ゲート。TypeSafe JEV がツール呼び出しを審査し、ローカルポリシーで許可・拒否を決定します。
该仓库实现了一个二进制审批门,通过 Claude Code 钩子拦截工具调用并调用 TypeSafe Jev API(api.typesafe.ai/v1/systemone)进行风险审查,同时包含 eval 测试目录,真实集成并测试了 Jev / System One 模型。