NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed：TypeSafe Jev を利用した PI ランタイム制約
pi コーディングエージェントのランタイム制約：副作用のあるツール呼び出しをユーザーが宣言したルールと照合し、TypeSafe Jev を利用。JevのSystem One の判断を評価した詳細なベンチマークと実験ログを含む。
710MIT
pi-jev-eye: TypeSafe Jev を利用した Pi コーディングエージェント用ガードレール
Pi コーディングエージェント向けの超軽量スーパーバイザー。ローカル正規表現で破壊的なコマンドや認証情報の漏えいを防ぎ、検証状態を追跡し、TypeSafe Jev の has_slop セマンティックゲートで低品質コードをブロックします。
该仓库 README 明确说明其第三层 Jev Semantic Gate 调用 TypeSafe Jev 的 has_slop 评估代码差异，并支持 TypeSafe/OpenRouter API Key 登录与用量统计，属于对 TypeSafe Jev 的真实集成与使用。
· 0 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