pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
Pi コーディングエージェント向けの Jev (TypeSafe System One) 許可ゲートです。実行前に bash/write/edit の各呼び出しを Jev の意思決定モデルで判断します。
该仓库实现了一个用于 Pi 编码代理的权限门,核心依赖 TypeSafe AI 的 Jev/System One 模型对每条 bash/write/edit 命令进行威胁判断,包含登录、API 调用、配置和测试,是真实集成。