pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
Pi コーディングエージェント拡張。TypeSafe Jev を使用してツール呼び出しをゲートし、出力を判断します。シャドウ/フォースのツール呼び出しゲート、出力漏洩/障害検出、型付き回答のための jev_ask ツールが含まれます。キャリブレーション結果が文書化されています。
该仓库是 Pi 编码代理的扩展,深度集成 TypeSafe Jev:实现了工具调用门控、输出泄露/失败检测、jev_ask 工具,并提供了详细的配置、命令和校准实验数据,是真实的使用与测试。