pi-heed:TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
OPEN SOURCE · CURATED REPOSITORIES
Curated Jev SDKs, tools, demos, integrations, benchmarks, and research projects. Repository metrics come from GitHub; titles, summaries, and categories are editorial.
GitHub Stars順
最近のStar増加と更新状況で順位付け
pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
コーディングエージェント向けの3つのガードレールゲート(不可逆操作前の承認、証拠に基づく完了確認、ルーブリック回帰チェック)をTypeSafe Jev(System One)で実現。CLIスクリプト、オフラインテスト、CIワークフローを含みます。
Pi コーディングエージェント用の権限ゲート拡張機能で、TypeSafe Jev (System One) を使用して bash、write、edit のツール呼び出しを意味的に承認またはブロックし、デフォルトでフェイルクローズします。
AIコーディングエージェントのシェルコマンドに対するエフェクトベースの安全ゲート。デフォルトでTypeSafeのJevを判定に使用し、このプロジェクトの評価でJevだけが危険なコマンドを許可ゼロで認定されました。
TypeSafe の Jev モデルを利用した AI エージェントツール呼び出しセキュリティゲート。LangChain 対応、ゼロ設定のローカルフォールバック。
OpenCode 2 プラグインで、ローカルまたはFarHandリモートのシェルコマンドをTypeSafe Jevに評価させ、リスクのある操作の前に確認を求めます。カスタムリスクカテゴリとベンチマークを備えています。
TypeSafe Jev を DeepSeek Harness に統合し、ツール呼び出しのリスクをミリ秒単位で分類して自動承認。シャドウ/エンフォースモード、テレメトリー、52 のテストを備える。
Pi コーディングエージェント向けの Jev (TypeSafe System One) 許可ゲートです。実行前に bash/write/edit の各呼び出しを Jev の意思決定モデルで判断します。
TypeSafe Jev (System One 決定モデル) と決定論的ポリシーで LLM ツール呼び出しをゲートするセマンティックファイアウォール。評価と安定性テストを含む。
DeepSeek Harness プラグイン: TypeSafe Jev を利用したツール呼び出しごとの自動権限レビュー。設定ページにアカウント使用量とAPIキー管理を内蔵。
メールを転送すると、校正されたフィッシング判定が得られます。TypeSafe Jev / System One を使用して分類し、Copilot Studio 用の MCP サーバーと Power Automate 用の REST を提供します。
コーディングエージェント向けのセキュリティフックで、Jevを使ってツール呼び出しのリスク評価、プロンプトインジェクションの検出、スキル/プラグインのチェックを行います。Claude Code、Codex、Copilot、Gemini、Cursor、pi、OpenCode、ACPに対応。