pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
DeepSeek Harness プラグイン: TypeSafe Jev を利用したツール呼び出しごとの自動権限レビュー。設定ページにアカウント使用量とAPIキー管理を内蔵。
该仓库是一个真实的 DeepSeek Harness 插件,通过调用 TypeSafe Jev API(api.typesafe.ai/v1/systemone,模型 jev-latest)对每个工具调用执行自动权限审查,并包含完整的配置、测试、使用说明与设计参考,属于实质性的安全护栏集成。