2026年9月16日 發布的專案

這個瀏覽器代理將可見控制項整理成帶索引的操作空間，以執行自然語言目標。 Jev 在同一請求中選出操作與相容元素；TYPE_TEXT 的文字內容另由小型語言模型產生。

SemIf 直接讀取選項機率，處理路由、重試與證據判斷等小型語意決策，無須產生回答句子。 它借鏡 Jev 的介面模式，並未重現未公開的模型或訓練，也與 TypeSafe 無隸屬關係。

機器人隨 Monad 區塊更新只掛單限價報價，並把委託簿、訂單及成交事件串流至儀表板。 設定 MODEL=jev 和 TYPESAFE_AI_API_KEY 後，由 Jev 選擇買或賣；預設 mock 模型僅是動量啟發式。

typesafe-computer-use 根據文字目標操作 Mac，透過 OCR 與輔助使用控制項讀取桌面。 TypeSafe Jev 選擇動作、目標與網站；程式碼提供事實，獨立的寫作模型負責自由文字。 需要 TypeSafe 金鑰、螢幕錄製及輔助使用權限。命令列支援先預演，再實際控制滑鼠與鍵盤。

decider 根據狀態與型別化問題，在一次前向運算中回傳 Choice、Score 與 Noul 機率。 這是以 Qwen 為基礎的獨立 Jev 風格模型系列，訓練資料並非從 Jev 蒸餾而來。 可呼叫 Python Decider 介面，或讓 TypeSafe SDK 連接相容的本地 HTTP 端點。

Jev Review 掃描 Git 差異或完整程式碼庫，檢查正確性、安全性、可靠性、相容性與測試涵蓋。 Jev 選擇證據、判斷問題機制並評估嚴重程度，符合條件時透過 Choice 選擇審查者；程式碼負責門檻與流程策略。 使用 Node.js 24+、Git 與 TypeSafe 金鑰，產生 JSON 報告或在本地查看已儲存審查。

jev-router 透過本機代理啟動原生程式 CLI，為每個新的使用者回合選擇模型層級。 以 npm 安裝 jev-router，設定 JEV_API_KEY，在上游 CLI 已安裝並登入後執行 jev-claude 或 jev-codex。

TypeSafe Mario 是實驗性 NES 控制迴圈，使用模擬器遙測和 RAM 擷取的遊戲觀察。 準備 Python 3.13、TypeSafe 金鑰及本機遊戲環境，先檢查 state-demo，再執行 play。

在 perch.yaml 定義語意要求，限定檔案或方法範圍後查看程式碼檢查結果。 System One 用戶端針對給定狀態提出型別化問題，預設採 jev-latest 並呼叫 TypeSafe API。

Camera-only autonomous drone in MuJoCo with a small judgment model (TypeSafe Jev) in the loop at 2.5Hz

Guardrails for Pi that steer instead of interrupt: enforces your project rules on every write, holds only hard-to-undo actions (3 per 1,000 calls, measured on real sessions), catches unverified "done" claims and stuck loops, and trims tool output. Built on pi-typesafe.

Typesafe.ai System One Model Jev navigating a Neo4j graph by using a classifier over neighbouring relationships

TypeSafe Jev as a decision layer for the Pi coding agent: a measured tool-call gate plus jev_ask for typed, calibrated answers

A calibrated context sieve for Claude Code: every tool result is judged by a System One model before it enters context.

A small, type-safe client for asking AI questions about your data, powered by TypeSafe Jev.

Browser automation where an LLM plans and Jev (Typesafe System One) decides. Library, CLI and MCP server.

Codebase search powered by Jev from @typesafe-ai

Typed semantic decisions for Unix pipelines and CI, powered by TypeSafe AI Jev.

JEV-inspired parallel decisions for CUDA LLMs. One context, many decisions. vLLM API, game-agent examples, and reproducible benchmarks.

TypeSafe decisions for Pi: batched evaluation tool, terminal playground, and typed API for extension authors

Typed JSON inference with DiffusionGemma, with Every and Jev benchmark results

This is a LLM Gateway that mimics typesafe ai structured output. Like an imposter Jev.

Local bilingual probability decisions from context, questions, and candidate answers. Independent research preview inspired by TypeSafe Jev.

TypeSafe Jev controls original StarCraft shareware through keyboard and mouse with recorded action probabilities.

Agent-ergonomic CLI for TypeSafe's Jev: fast calibrated judgments (pick, rate, check, rank, triage, guard) from the shell

Unofficial study: Jev-style parallel typed decisions on stock 1.5B-8B models on an Apple Silicon laptop. Benchmarks, research notes, and a Hugging Face Space demo.

MCP server for TypeSafe Jev: typed classify, score, check, match and screen for any agent, with confidence on every answer

Typed, confidence-aware agent skill routing with TypeSafe Jev.

Community TypeSafe AI playground: 110 use cases, games, dilemmas and model challenges, with editable prompts, A/B comparisons and a mobile-friendly UI.

TypeSafe structured-output provider for RubyLLM 2

BrighTO LLM Router: free open-source, ultra-fast self-hosted Rust LLM gateway for OpenAI/Anthropic APIs, SystemOne/JEV/DJEV decisions, Ollaya/Laya, load balancing, fallback routing, team keys and token budgets.

TypeSafe (Jev) skill routing for Hermes Agent: names the one skill worth loading, before the model call. Opt-in, stdlib only, ~$0.001 per routed turn.

Async LangGraph workflow that gets a typed Jev Choice (invoice or general) and routes each inbound email to the matching handler.

Community .NET SDK for the TypeSafe AI System One API — typed noul, choice, and score questions with structured, confidence-scored answers. Not affiliated with TypeSafe AI.

Can a decision model beat dedicated rerankers? TypeSafe Jev vs Cohere Rerank 4 vs ZeroEntropy zerank-2 vs a chat-model baseline: 14 datasets, every raw API response, bootstrap ranges on every gap.

Hybrid coding harness: System 2 writes, System 1 (Jev) runs reflexes.

Ruby client for typesafe.ai

macOS computer use driven by Jev (TypeSafe System One) as the decision maker

Benchmarks and a playground for TypeSafe's Jev (System One) model: chess, and who-is-the-player-talking-to for speech-to-text game NPCs

A word-level language model whose output layer is Jev: n-gram drafter, Noul chunk verification, bits-per-token eval

Jev (TypeSafe) vs Claude Haiku 4.5 on 2 000 phishing emails: accuracy, calibration, latency, cost. Reproducible benchmark.

Discriminative Monte Carlo Tree Search using System One and Harnesses

Go client for TypeSafe's System One API and its model Jev: typed judgments and calibrated probabilities instead of generated text

Experimental multi-horizon BTC signal generator using TypeSafe Jev probabilities and Binance market data.

DeepSeek Harness (dsh) 插件:论文伴读工作台 —— PDF 转录 / 检索 / 流式问答 + 内置阅读器页面。

Eight minimal working examples of TypeSafe's Jev (a System One model) applied to mechanical and electrical engineering: CAD/CAE/CAM routing, FEM result triage, DFM screening, BOM alignment, hallucination-proof extraction. Zero dependencies.

Jev-style calibrated decision model (Choice/Score/Noul) on Qwen3.5-0.8B

Ask Jev typed questions from the shell: noul, choice, and score answers as numbers, not prose

Independent Jev 1.13.0 behavior study: report, controlled prompt experiments, raw results, and offline verification.

Drives a real browser with Jev making every decision and Vercel's agent-browser performing every action, with a benchmark.