NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed：TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約：副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
Prompt Rejector：TypeSafe Jev を使用したプロンプトセキュリティスクリーニング
TypeSafe AI Jev、決定論的チェック、構成可能な推論を使用して、プロンプト、スキル、ツールの説明に対するインジェクション攻撃をスクリーニングするオープンソースのMCP/HTTPSツールです。
仓库 README 和文档明确展示了使用 TypeSafe AI Jev 的实现、测试和评估，包括专门的 how-we-use-jev 文档、回放测试以及 TypeSafe 配置说明，属于真实集成。
· 2 starsOpen on GitHub
More like this
NyarlathotepppppNyarlathoteppppp/pi-heed
cwjechw98-langcwjechw98-lang/jev-gatesJev Gates
コーディングエージェント向けの3つのガードレールゲート（不可逆操作前の承認、証拠に基づく完了確認、ルーブリック回帰チェック）をTypeSafe Jev（System One）で実現。CLIスクリプト、オフラインテスト、CIワークフローを含みます。
000MIT
InverxInverx/JevREJevRE: Jevを利用したAndroidリバースエンジニアリング決定層
JevREは、TypeSafe AIのJev System Oneモデルを統合し、Androidリバースエンジニアリングにおける次の調査ステップを推奨するPython CLIです。実際のJev APIクライアントとオフラインのモックモードを備えています。
000MIT