pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
TypeSafe Jev (System One 決定モデル) と決定論的ポリシーで LLM ツール呼び出しをゲートするセマンティックファイアウォール。評価と安定性テストを含む。
仓库明确使用 TypeSafe Jev(System One 决策模型)通过 OpenRouter 构建语义防火墙,包含代码实现、评估和稳定性测试,与 TypeSafe Jev 直接相关。