pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
TypeSafe Jev を DeepSeek Harness に統合し、ツール呼び出しのリスクをミリ秒単位で分類して自動承認。シャドウ/エンフォースモード、テレメトリー、52 のテストを備える。
该仓库是为 DeepSeek Harness 编写的 Jev 插件,在每次工具调用前调用 TypeSafe Jev 做 System-1 风险分类与自动审批,包含 shadow/enforce 模式、52 个测试、遥测和使用文档,属于真实集成与开发工具。