ホーム / すべてのプロジェクト
すべてのプロジェクト
リストにあるすべてのプロジェクトを検索し、絞り込めます。ローカル検索が候補を見つけ、Jev が上位 30 件を並べ替えます。
system-one-adapter-python
LLM API を裏側に置いた同じ `TypeSafeClient` インターフェースで、同一の質問について Jev とチャットモデルを比較できます。
Agent skill
Claude Code や Cursor などに公式スキルをインストールする方法です。
Vercel AI SDK provider
`@ai-sdk/typesafe-ai` は `experimental_evaluate` を通じて Jev を公開します。
fast-jev-compaction
コンテキスト圧縮の要約を Jev の判断に置き換え、すべてのツール呼び出しと結果を 1 リクエストで採点し、古いものを捨て、残したものはそのまま保持します。
skillranker
ライブのセッションコンテキストを使って次のステップ向けにインストール済みスキルをランク付けする Rust の CLI とフックで、棄権にも対応します。
jevwire
MCP サーバー、埋め込み可能な判断モデル、そしてハーネスを厳しくすることはできても緩めることはできないエスカレーション専用のプラグインです。
vexjoy-agent
`/d` コマンドが 1 回の Jev 呼び出しで専門エージェント、スキル、パイプラインを選ぶエージェントツールキットで、任意で使える Jev の自動コンテキスト圧縮プラグインも付属します。
save-token-jev
どのツール呼び出しがまだ重要かを Jev に尋ね、残りはそのまま保持するコンテキスト圧縮で、Claude Code、Codex、OpenCode、素の API トランスクリプト向けのアダプタを備えます。
jev-belay
未検証の「完了」をブロックする Stop フックで、トランスクリプトから根拠を読み取り、ファイルが変更されて以降に合格したチェックがない場合にのみ 4 問の Jev 呼び出しを 1 回使い、あらゆるエラー経路ではフェイルオープンします。
jev-use
Claude Code、Codex、pi のうちテキスト出力が不要なステップを Jev に任せ、判断すべきでない事柄には型付きのエスカレーション契約を用意します。
pi-warden
中断ではなく誘導するガードレールで、不可逆な呼び出し、タスク外の呼び出し、抜け出せないループ、未検証の完了主張を、それぞれ約 250 ms で扱います。
bicameral
Pi 向けのハイブリッドハーネスで、LLM がコードを書き、Jev のリフレックスがすべての呼び出しを allow、confirm、block、warn、steer のいずれかでゲートします。
pi-jev-sentinel
Pi のツール呼び出し、ツール出力、返答を Jev で確認し、危険な操作とプロンプトインジェクションを検出します。ユーザー承認、コンテキストの再確認、シークレットの除去、任意のタスク固定を備えます。
typesafe-skill-router
モデル呼び出しの前に読み込む価値のあるスキルを 1 つだけ指名し、標準ライブラリのみで、1 ターンあたり約 0.1 セントです。
hermes-jev-plugin
原子的なチェック、ルーティング、ルーブリック採点のための四つの Hermes ツールです。Hermes のプラグインカタログに掲載されています。
azdaja
Claude Code、Codex、Gemini、OpenCode 向けの再帰的な言語モデルレイヤーで、完全なソースをローカルの評価器に保持し、Jev はリランキング、検証、分類、意味的な結合のための任意のリーフとして、予算とチェックポイントを備えたバッチで動きます。
jev-ultrafast
1 リクエストでインデックス化された DOM テーブルから操作と対象要素の両方を選び、小さな LLM は入力するテキストを書くだけです。チューリッヒからロンドンまでの予約を 7.1 秒で完了します。
typesafe-computer-use
画面を OCR し、次のアクションを分類してクリックし、macOS では 1 ステップあたり約 $0.0002 です。
jev-browser by tontoko
型付き SDK、常駐する CLI、MCP サーバーの背後に、グラウンディングされた Jev と Playwright のコアが 1 つあります。
jev-mobile
USB 経由で動く Android のサブエージェントで、observe、normalize、decide、mutate、verify を実行し、判断は Jev が行います。
jev-browser-use
Jev がナビゲーション、クリック、スクロールを担い、Codex が入力と検証を担当する Codex のスキルとプラグインで、ブラウザ操作が 5 倍から 10 倍速くなると報告しています。
Jev-cu
画面上のテキストから Jev が要素、アクション、完了、リスクを選び、スクリーンショットは送らない Codex のコンピュータ操作で、中国語の readme です。
open-alternative-jev
Hugging Face と vLLM 上で、あらゆるオープンウェイトのモデルから 1 回の順伝播で型付きかつ較正された判断を得ます。
jev-on-a-laptop
ノート PC 上の素の 1.5B から 8B のモデルで Jev 風の判断を検証した研究で、Hugging Face のデモが付いています。
Parallel constrained decoding
Qwen2.5-1B 上で RLCD 風の並列デコーディングを実演する Hugging Face Space です。
openvons
有限の選択肢集合に対し、execute、confirm、reject に分けた確率で答えるオープンな判断レイヤーです。TypeSafe の重みではなく、独立した再実装です。
kev
Qwen2.5-0.5B 上の LoRA アダプタと読み出しヘッドで、多数の型付き質問に 1 回の prefill で答え、MacBook で 2 時間未満で学習でき、ホールドアウトの ECE は 0.065、TypeSafe のワイヤ形式を話します。
simple-jev
あらゆる Hugging Face モデルから次トークンのロジットを読んで choice、rubric、support の質問に答え、キー不要の公開デモ API を備えます。
OpenJev by razorback16
vLLM を通じた DiffusionGemma 26B 上の Jev 互換の判断サーバーで、画像にも対応し、[Codiv](https://codiv.ai) で無料ホストされています。
openjev by daseinlabs
MLX を使った Gemma 3 4B で一度 prefill し、パディングした 1 パスですべての選択肢を採点し、デモではターミナルから Doom をプレイします。
jeff by logan-markewich
400M の GLiFormer 上でセルフホストする System One API で、Jev に劣る部分を示すベンチマークが付いています。
JevForge
監査可能なデータ構築、Qwen3.5-0.8B の学習、固定した Mind2Web と OOD の評価、ローカルでの提供、予備的な RLCD ベースラインまでを含むエンドツーエンドのスタックです。
PlayJev
微調整した Qwen3.5-0.8B でフレームだけを見て十種類のブラウザゲームを遊びます。一手ごとに一回の順伝播で、重みは公開、ブラウザデモ付きです。
jev-review by NiazMorshed2007
コーディングエージェントによる継続的な品質レビューのための、ローカルファーストな MCP プラグインです。
jev-commit
pre-commit フックで、1 回の Jev 呼び出しがコミットメッセージとステージ済み差分の一致に加え、デバッグの残骸、言及されていない作業、資格情報の混入を判定し、シークレット以外は警告にとどめ、シークレットはブロックします。
agent-router
タスクに対して Cursor、Claude Code、Codex、OpenCode のいずれかとモデル、effort を選び、そのまま起動します。
JevRouter
モデル、サブエージェント、スキル、MCP ツール、CLI を 1 つの候補集合として Jev が選び、ルーターが権限とリスクを強制し、Toolathlon では最初の 5 回のツール呼び出しの命中率が DeepSeek の 24 パーセントに対し 44 パーセントと報告しています。
jev-gateway
Codex と Claude Code 向けのローカルゲートウェイで、「次にどのツールを使うか」の判断を Jev に送り、それ以外はいつものモデルに送ります。
jev-folio-recursive-classifier
OCR した法律契約書を FOLIO 文書タイプのオントロジーに沿って分類します。再帰的な Jev Choice、ビームサーチ、信頼度に応じた葉での停止、コンテキスト長のベンチマークを備えます。
jev-scout
平易な言葉のリクエストに対して実在し保守されているリポジトリやクレートを見つける Rust の CLI と MCP サーバーで、候補の採点は Jev が行います。
sqlite-jev
ロード可能な C 拡張と Python ラッパーを通じて SQLite に Jev の Noul、Choice、Score の判定を追加し、スカラー関数とバッチ化された仮想テーブルのクエリを備えます。
jev-for-engineers
機械工学と電気工学からの 8 つの小さな例で、CAD の配線、FEM のトリアージ、DFM のスクリーニング、BOM の突き合わせを扱います。
jlink
平易な英語で書いたマッチルールから 2 つのデータセット間のレコードを Python、シェル、Stata、R のいずれかから突き合わせ、NBER の特許譲受人と Compustat の対応では調整済みの文字列マッチの F1 0.69 に対し 0.73 を報告しています。
jev-mode
型付き判断モデル上でのチケットのトリアージとファイルのタグ付けで、トークンが 78 パーセント少なく、ベースラインの 93.7 パーセントに対して 96.1 パーセントの精度を報告しています。
tax-doc-classifier
1 ページにつき 1 リクエストで 261 種類の IRS フォームと 7 種類のページ種別から選び、自前のコーパスで 100 パーセント、1 ページ $0.001 と、置き換え前の LLM パイプラインより 34 倍安いと報告しています。
invalidate
保存されたエージェントの記憶それぞれにリースを与え、新しい証拠がそれを終わらせるかどうかを Jev に尋ねる仕組みで、[ライブデモ](https://invalidate-playground.vercel.app)があります。
jev-shield
すべてのツール呼び出し、結果、説明を検査する意味的な MCP ファイアウォールで、1 回の検査あたり約 $0.00002 でブロック再現率 94 パーセントを報告しています。
jev-guard
Claude Code、Codex、Cursor、Gemini CLI、Pi、OpenCode 向けの自動モードで、各ツール呼び出しを deny、ask、allow としてリスク採点し、結果に含まれるプロンプトインジェクションを検出します。
riff
文章向けの Ruff 風のルールコードです。
tripwire
すべての LLM レスポンスをユーザーが見る前に 7 つの Jev のチェックにかける AI SDK のミドルウェアとプロキシで、精度の数値はまだなく、その旨も明示しています。
Privacy Facts
プライバシーポリシーを栄養成分表示風のラベルに変え、平易な言葉の回答、Jev の confidence スコア、根拠となる条項の候補を示します。
jev-got
ストーリーモデルが各シーンを書き、Jev が 5 つの型付き質問に答えてヘッダー、サウンドトラック、アート、次のプロンプトを決めるゲーム・オブ・スローンズのロールプレイです。
Sponsor Skip
トランスクリプトやライブ音声からスポンサーの読み上げを見つけて飛ばす Chrome 拡張で、タイムスタンプはすべてコードが管理し、トランスクリプトモードでは 1 時間あたり 1 セント未満です。
jev-seo
DuckDuckGo の検索結果に対する SEO と GEO のチェックを行う Rust の CLI と MCP サーバーで、採点は Jev が行います。
jev.nvim
Neovim プラグインで、バッファに平易な言葉の質問を投げると Treesitter が関数単位に分割し、Jev がそれぞれを採点し、回答は確率順に quickfix に並びます。
jev-skip
字幕トラックを読み、イントロが終わる前にセグメントごとのスポンサー確率をシークバーに描くブラウザ拡張で、クラウドソースのデータベースは使わず、23 本の動画で SponsorBlock のスポンサー秒数の 77 パーセントを捉え、1 本あたり $0.0008 と報告しています。
openpoke-meets-jev
OpenPoke のフォークで、メール選別、ツール呼び出しのガードレール、検索の再ランキングを Jev に移します。置き換えた Sonnet 呼び出しとの A/B と、インジェクションゲートへの攻撃実験を含みます。
jev-askable-arm
シミュレートされた Franka アームに対する英語のゼロショットな目標指示で、Jev がハードコードされたプリミティブをつなげます。
quackd
7 種類の機体に対応した LLM 操縦ロボット向けのコマンドラインで、関節角度を一切書かずに呼び出しの中から選ぶ Jev のステッパーを任意で使えます。
JevPilot
Three.js の運転シミュレータで、Jev がサンプリングされた経路からステアリングと速度を毎秒最大 4 回選び、[こちらで運転できます](https://jevpilot.standardagents.ai)。
live-jev
ブラウザ上の見下ろし視点の車が 200 ms ごとに 4 つの型付き質問を送り、confidence でゲートされた上書きはコード側で行います。
jev-plays-pokemon-red
PyBoy 上のポケモン赤で、経路と計算はコードが担い、Jev は分岐でのみ選択し、戦闘の各ターンでひんしの予測を記録して RAM の内容に対する Brier スコアで採点します。
jev-harness
confidence のゲート、シャドーモード、レシピ、評価を備え、同じ行フィルタの処理で Claude CLI の 48.9 秒に対し Jev は 1.3 秒と報告しています。
jev-rerank-bench
14 のデータセットで Jev を Cohere Rerank、ZeroEntropy、チャットのベースラインと比較し、生のレスポンスも同梱しています。
jev-search-rerank-eval
Jev のリランクは埋め込み検索に勝てるのでしょうか。9,831 組の採点済みペアで、判定の循環によるバイアスも測定しています。
jev-eval-agent
100 個のモックツールを持つパーソナルアシスタントのエージェントで、Jev でゲートしたエージェントが何ステップを要するかを測定します。
jev-synergy-screening
Choice と Noul の質問を、抄録スクリーニングにおける ASReview SYNERGY の正解ラベルに照らして採点します。
jev-orderby-bench
Jev の確率に対する ORDER BY が妥当かを測定し、事前登録されたゲートのもとでペアごとの逆転、人間の評点に対する Score の順序性、較正、言い回しの不変性を検査し、20 Newsgroups のトピックでは合格、Amazon ESCI の商品関連度では 6 条件中 4 つで不合格となり、DuckDB 拡張を通した 40 行のバッチ状態では、1 リクエスト 1 行なら通るランキングのゲートに落ちることを示しています。
jev-eval by 4esv
ラベル付きの 3 つのタスクで Jev と GPT-5.6 Terra を比較し、易しいタスクでは互角、77 分類のルーティングでは 6.7 ポイント低く、5 倍速く、41 倍から 50 倍安いという結果です。
jev-benchmark by themsquared
ツール呼び出しのリスク分類を実行ごとの分散付きで報告し、誤答はいずれも confidence が低めに出ていました。
typesafe-playground by TypeSafeAI
110 のユースケース、ゲーム、モデルへの挑戦を編集可能なプロンプトと A/B 比較付きで提供する、ベンダーではなくコミュニティの組織によるもので、以前は BunsDev の下にありました。
TypeSafe Typewriter
Val Town 上で、入力に合わせて 16 個の型付き判定が更新されます。
Magic-8-Jev
質問すると 20 の回答から 1 回の選択で返答を決め、クリックから回答までのレイテンシも表示する[ライブデモ](https://willprout.github.io/magic-8-ball/)です。
jev-web-analyzer
SaaS のランディングページを Markdown に変換し、初回訪問者が何を理解できるかについて Jev に十個の限定された Choice の質問をして、創業者向けの分析として表示します。
jgrep
平易な英語の説明に当てはまる行を出力し、`tail -f` からのストリームにも支出上限のもとで対応し、SMS スパムではキーワード grep の F1 0.72 に対し 0.91 を報告しています。
s1-rs
Rust の enum と struct を Choice、Score、Noul の質問に変え、コンパイル時に検査され confidence でゲートされた回答を返します。
typesafe_sdk by nshkrdotcom
TypeScript の AI SDK の Elixir 移植で、TypeSafe プロバイダを備えます。
ruby_decision_model
判断モデル向けの Ruby クライアントで、OpenRouter と TypeSafe のプロバイダを 1 つのインターフェースの背後に置き、標準ライブラリのみで動きます。
zod-jev
意味的なルールを備えた Zod 4 のスキーマで、形状の検査は Zod に残し、意味の検査は 1 リクエストで Jev に送られ、Zod の issue として返ります。
swift-typesafe
Python SDK の API に倣った Swift 6.4 の SDK で、Apple のプラットフォームと Linux に対応します。