pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
AIコーディングエージェントのシェルコマンドに対するエフェクトベースの安全ゲート。デフォルトでTypeSafeのJevを判定に使用し、このプロジェクトの評価でJevだけが危険なコマンドを許可ゼロで認定されました。
该仓库是面向 AI 编码代理命令的安全门,默认调用 TypeSafe 的 Jev(System One)作为判定模型,并包含 Jev 的认证评测、API 集成与配置说明,实质内容与 Jev 直接相关。