pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
rh-guard は Claude Code、Cursor、Codex などのフックでコーディングエージェントのツール呼び出しをインターセプトし、構造的拒否ルールと TypeSafe Jev System One サイドカーを組み合わせて、リワードハッキングを防ぎ評価の整合性を保ちます。
仓库描述与 README 明确将 TypeSafe Jev / System One 作为编码智能体奖励黑客防护的侧车使用,包含 Jev topic 与 TypeSafe Jev 徽标,属于真实集成。