pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
Pi コーディングエージェント用の権限ゲート拡張機能で、TypeSafe Jev (System One) を使用して bash、write、edit のツール呼び出しを意味的に承認またはブロックし、デフォルトでフェイルクローズします。
仓库是一个 Pi 编码代理的权限门扩展,明确基于 TypeSafe Jev (System One) 实现语义决策,包含真实代码、171 项测试和校准文档,直接集成 Jev API。