OPEN SOURCE · CURATED REPOSITORIES

Jev GitHubプロジェクト.

Curated Jev SDKs, tools, demos, integrations, benchmarks, and research projects. Repository metrics come from GitHub; titles, summaries, and categories are editorial.

750 projects
24 projects
NyarlathotepppppNyarlathoteppppp/pi-heed
セキュリティとガードレール開発者ツールTypeScript

pi-heed:TypeSafe Jev を利用した PI ランタイム制約

pi コーディングエージェントのランタイム制約:副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。

710MIT
cwjechw98-langcwjechw98-lang/jev-gates
セキュリティとガードレール開発者ツールJavaScript

Jev Gates

コーディングエージェント向けの3つのガードレールゲート(不可逆操作前の承認、証拠に基づく完了確認、ルーブリック回帰チェック)をTypeSafe Jev(System One)で実現。CLIスクリプト、オフラインテスト、CIワークフローを含みます。

000MIT
jomatsujomatsu/pi-jev-auto-mode
セキュリティとガードレールサイバーセキュリティTypeScript

Pi コーディングエージェント向け Jev バックアップ自動モード

Pi コーディングエージェント用の権限ゲート拡張機能で、TypeSafe Jev (System One) を使用して bash、write、edit のツール呼び出しを意味的に承認またはブロックし、デフォルトでフェイルクローズします。

2321MIT
godspedegodspede/construct-auto-classifier
セキュリティとガードレールサイバーセキュリティTypeScript

construct-auto-classifier

AIコーディングエージェントのシェルコマンドに対するエフェクトベースの安全ゲート。デフォルトでTypeSafeのJevを判定に使用し、このプロジェクトの評価でJevだけが危険なコマンドを許可ゼロで認定されました。

300Apache-2.0
lgy1027lgy1027/jevshield
セキュリティとガードレール開発者ツールPython

JevShield – Jev (System One) を利用した AI エージェントセキュリティゲート

TypeSafe の Jev モデルを利用した AI エージェントツール呼び出しセキュリティゲート。LangChain 対応、ゼロ設定のローカルフォールバック。

200Apache-2.0
CogFluxCogFlux/opencode-jev-guard
セキュリティとガードレールサイバーセキュリティTypeScript

OpenCode Jev Guard:TypeSafe Jev コマンドガード

OpenCode 2 プラグインで、ローカルまたはFarHandリモートのシェルコマンドをTypeSafe Jevに評価させ、リスクのある操作の前に確認を求めます。カスタムリスクカテゴリとベンチマークを備えています。

100MIT
AskTheWayAskTheWay/dsh-jev-interceptor
セキュリティとガードレールサイバーセキュリティTypeScript

dsh-jev-interceptor: DeepSeek Harness 向け Jev System-1 ガード

TypeSafe Jev を DeepSeek Harness に統合し、ツール呼び出しのリスクをミリ秒単位で分類して自動承認。シャドウ/エンフォースモード、テレメトリー、52 のテストを備える。

100MIT
kurihadakurihada/pi-jev-permit
セキュリティとガードレールサイバーセキュリティTypeScript

pi-jev-permit: Pi コーディングエージェント向け Jev 許可ゲート

Pi コーディングエージェント向けの Jev (TypeSafe System One) 許可ゲートです。実行前に bash/write/edit の各呼び出しを Jev の意思決定モデルで判断します。

100MIT
CeamKrierCeamKrier/semantic-firewall
セキュリティとガードレールサイバーセキュリティTypeScript

TypeSafe Jev を使用した LLM エージェント用セマンティックファイアウォール

TypeSafe Jev (System One 決定モデル) と決定論的ポリシーで LLM ツール呼び出しをゲートするセマンティックファイアウォール。評価と安定性テストを含む。

100
sperictaosperictao/dsh-auto-review-jev
セキュリティとガードレールサイバーセキュリティTypeScript

DSH自動レビューJevプラグイン

DeepSeek Harness プラグイン: TypeSafe Jev を利用したツール呼び出しごとの自動権限レビュー。設定ページにアカウント使用量とAPIキー管理を内蔵。

000MIT
pantos12pantos12/mailverdict
セキュリティとガードレールサイバーセキュリティTypeScript

MailVerdict: Jevを利用したフィッシング判定ツール

メールを転送すると、校正されたフィッシング判定が得られます。TypeSafe Jev / System One を使用して分類し、Copilot Studio 用の MCP サーバーと Power Automate 用の REST を提供します。

000MIT
leepokaileepokai/jev-guard
セキュリティとガードレールサイバーセキュリティJavaScript

Jevを活用したコーディングエージェント向けセキュリティガード

コーディングエージェント向けのセキュリティフックで、Jevを使ってツール呼び出しのリスク評価、プロンプトインジェクションの検出、スキル/プラグインのチェックを行います。Claude Code、Codex、Copilot、Gemini、Cursor、pi、OpenCode、ACPに対応。

2744MIT