Jev 發布文章
迪奧戈·阿梅達介紹了 TypeSafe 的結構化決策模型 Jev。此資源概述了模型的核心方法、實際應用範例以及作者所報告的效能指標。
迪奧戈·阿梅達介紹了 TypeSafe 的結構化決策模型 Jev。此資源概述了模型的核心方法、實際應用範例以及作者所報告的效能指標。
TypeSafe 正式啟動其研究實驗室,並向開發者社群介紹了 Jev。此公告包含由 Diogo Almeida 製作的發布影片,並為該專案的使命和未來方向提供了基礎背景。
TypeSafe 現已取消 Jev 的候補名單,向公眾開放平台存取權限。開發者可以使用官方控制台,將類型化決策功能整合到自己的軟體應用程式中並進行測試。
TypeSafe 強調 Jev 的類型輸出方法:應用程式提供狀態和問題,然後根據機率、選擇或分數進行操作。連結的公告也涵蓋了威尼斯 API 集成。
Start with the Launch Post. Explore four official signals.
AI-assisted summaries and translations. Check original sources for context and performance claims.
該專案展示了 Jev 遊玩踩地雷遊戲的過程。它作為一個實驗,旨在演示該模型如何在結構化的網格環境中處理即時、回合制的決策過程。
該命令列工具允許使用者直接從終端機向 Jev 提問。它展示了一種結構化的互動模型,強制要求以 null、選項或數字分數等特定格式返回答案,而非自然語言敘述。
High-speed recursive AI Elo tournament engine powered by Jev and Swiss matchmaking.

Menta es el software de gestión clínica impulsado por IA. Una plataforma todo en uno para la gestión administrativa y clínica de profesionales y clínicas
Explore sponsorCost-optimized OpenRouter model router using TypeSafe's Jev, with a live full-catalog scorer instead of a hardcoded model list.
Jev (TypeSafe System One) backed auto mode for the Pi coding agent: semantically auto-approves bash, write, and edit tool calls and fails closed when a decision cannot be made.
該項目將 Jev 集成到 Noul 和 Score 框架中,以支持 MCP 應用程序。它展示了開發人員如何在代理工作流中實現類型安全結構,從而在構建模塊化 AI 系統時提高可靠性。
該實驗性項目展示了一個比特幣多週期信號生成器。它結合了 TypeSafe Jev 機率與幣安市場數據,旨在探索技術分析框架內潛在的價格趨勢指標。
Free, no-signup Noul demo. Ask a question, get yes, no, or maybe, with web search when needed.

Falconer is an AI-powered company brain that keeps your engineering documentation accurate, searchable, and up to date by syncing with GitHub, Slack, Linear, and the rest of your stack.
Explore sponsor該項目利用 Gemma 3 270M 架構實現了一個 Jev 風格的系統一決策模型。它展示了一種無需進行文本生成,僅透過單次前向傳遞即可實現校準且快速決策的方法。
End-to-end Jev-style structured-decision stack for auditable data construction, Qwen3.5-0.8B training, fixed Mind2Web and OOD evaluation, preliminary RLCD, local serving, and interactive replay.
該專案提供了 system-one-adapter 的 Rust 實作,旨在支援基於 LLM 的評估。它為希望在 Rust 環境中整合 system_one 評估方法的開發者提供了技術參考。
該工具允許透過簡單的語言描述來選擇要暫存的 Git 變更。它展示了一種透過自然語言處理來自動化版本控制互動的工作流程。
此項開發中的演示展示了 Jev 模型在 Minecraft 環境中的導航能力。創作者演示了該智慧體執行基礎生存任務的過程,例如在夜間主動避開殭屍等敵對生物。

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorJev-Trades 是一個利用 TypeSafe AI 的 Jev 系統一模型構建的交易機器人。該項目展示了如何將處於早期階段的 Jev 模型邏輯整合到自動化市場交易工作流程中。
此 GitHub 工具透過要求在合併提取請求前獲得 Jev 的批准來自動化開發工作流。它展示了一種利用 Jev 驗證機制來執行代碼審查門控的方法,以確保儲存庫符合標準。
該項目展示了一個用於《魔獸世界》的引導式代理。開發者聲稱該系統旨在隨著代理運行時間的延長,優化並降低遊戲內的開銷。
A decision cache for TypeSafe Jev-class models — memoize decisions so repeats are free, deterministic, and shareable. One 2 MB binary.
該工具展示了在 omp 環境中進行 Jev 評分上下文縮減的方法。它透過 TypeSafe 或 OpenRouter 平台管理資料流,旨在優化 AI 代理的上下文使用效率。

Sound notifications for any AI agent — hooks for Claude Code, Cursor, Codex & more, plus an MCP server so the agent can choose its own sounds.
Explore sponsor此 Codex 外掛程式實現了會話壓縮期間的 Jev 指導上下文恢復。它將現有邏輯適配到 Codex 生命週期鉤子中,旨在系統執行自動記憶體或會話管理任務時,保持開發狀態的一致性。
該項目提供了一個用於持續軟體品質審查的本地優先 MCP 外掛程式。它利用 Jev 使 AI 編碼代理能夠執行自動化程式碼分析,從而在本地環境中維護程式碼庫的品質標準。
此 Chrome 擴充功能利用 Jev 分析網頁是屬於銷售性質還是第一手經驗報告。它在 Google 搜尋結果中標記已有的判定或基於摘要的估計,並將低置信度的結果留作未定,幫助使用者識別內容類型。
這份TypeSafe官方指南解釋了意圖路由的架構模式。它演示了如何對用戶輸入進行分類,以便將請求引導至特定的處理邏輯,從而確保更準確、可靠地處理複雜的對話任務。
foreman 是一個用於管理編碼代理的代理監督工具。它利用基於 Jev 的決策流程,幫助代理在開發工作流中保持專注,並確保它們能夠持續完成分配的任務。
JevBench 為評估 Jev 類類型化決策模型提供了一個標準化框架。該資源展示了旨在評估 Jev 生態系統中決策系統的效率、可靠性和開放性的基準測試方法。
該項目評估了 Jev 作為 SHADE-Arena 環境中監控和操作門控工具的能力,旨在檢測代理破壞行為。它透過與 Gemini 2.5 Flash 和 Pro 模型進行對比,分析了其在即時安全監督方面的表現。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorJev trades 15-minute and 1-hour BTC, ETH, and SOL markets on Kalshi.
SIEGE 是一個用於防禦多個代理的類型化動作門系統。該項目展示了一種從入侵嘗試中學習的防禦循環架構,並使用 W&B Weave 進行評估。
該專案展示了如何將 LlamaIndex 重排序與路由功能與 TypeSafe Jev 相結合。它探索了利用型別化的分數和選項來管理決策過程,旨在提供一種比傳統 LLM-as-judge 評估方法更具成本效益的替代方案。
該儲存庫為 DeepSeek Harness 框架提供了一套插件。它展示了如何整合 Jev System One 決策模型,以便在現有的 harness 環境中實現自動化推理和決策流程。
roverlab 是一個 3D 行星漫遊車模擬環境。它為開發者提供了一個沙盒,用於在虛擬的外星地形中利用 TypeSafe AI 框架進行自主決策演算法的實驗與測試。
PHP & Laravel SDK for TypeSafe AI's JEV Model series.
該實驗展示了使用凍結的 Qwen3-4B 模型實現的 Jev 風格類型化決策介面。它演示了如何直接讀取選項字母的 logits,而不是依賴傳統的 JSON 生成來進行決策。
這份 TypeSafe AI 官方參考文件解釋了函數呼叫的機制。它演示了如何將外部工具和結構化資料處理整合到 LLM 工作流中,以改進任務執行並實現與外部系統的動態互動。
該項目展示了一個使用 Jev 的自動化電子郵件管理系統。它提供了一種基於配置的方法來對收到的郵件進行分類、標記、移動和加旗,展示了如何應用 TypeSafe AI 模型來簡化個人收件箱的整理工作流程。
Does Jev predict stock returns from news? It reads the news well; there is no tradeable alpha. Three arms separate reading from recall.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsor該項目為 Jev 提供了 MoonBit 客戶端,並演示了兩個 Jev 實例之間的五子棋對局。其中包含用於追蹤自動化遊戲會話性能的計時日誌。
Independent walkthrough separating TypeSafe's published claims from public evidence.
該社區文章探討了 Jev 作為一種快速通用分類器和決策者的表現。作者對複雜場景下的準確性提出了質疑,並指出其在低延遲要求的有限解決方案空間中可能具備潛在優勢。
該項目展示了一個人工智慧驅動的文明模擬,其中 TypeSafe Jev 通過類型化、概率性和可審計的流程來管理決策。它通過兼容 OpenAI 的 API 集成各種大語言模型,以處理遊戲環境中的高級規劃。
該社區帖子列出了在中國生態系統中開發的開源 Jev 復刻版。它強調了每個項目的技術規格,為開發人員探索 Jev 框架的區域性實現和架構變體提供了參考資料。

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsorcommentcop 是一款基於 Jev 的原始碼註解評估工具。它提供了一種自動化機制來審查文件品質,幫助開發者在專案中保持更清晰、更有效的程式碼註解。
該項目提供了一個互動式 TypeScript 命令列工具,利用 Jev 進行類型化路由和決策。它展示了如何使用經過驗證的形式樹來建構和執行基於程式碼的代理工作流程。
此 Jev 實作透過根據類別、緊急程度和路由要求對傳入請求進行分類,從而實現支援工單管理的自動化。它演示了如何透過區分自動化和人工解決路徑來簡化客戶服務工作流程。
該概念驗證展示了如何利用 TypeSafe Jev 實現 Hermes Agent 命令審批的自動化。開發者聲稱,在 153 個真實命令場景的測試中,該方法相比傳統方式顯著提升了效率。
該項目展示了如何應用 Typesafe AI Jev 模型來自動化 Chrome 恐龍遊戲。它為在瀏覽器遊戲環境中集成 AI 代理提供了一個實用的實驗案例。
Lemonpod gives founders one morning brief that combines GitHub, calendar, tasks, inbox, and other work signals into a text summary and audio update. Start the day knowing what needs attention without checking multiple apps.
Explore sponsor該儲存庫提供了一種針對開放語言模型的批量單 token 選擇推理方法。它展示了與 TypeSafe 的兼容性,為處理生成式 AI 工作流中 token 層級的決策過程提供了一種結構化的方法。
該項目提供了一系列交互式圖形模組,包括路由、俄羅斯方塊、群體模擬和挑戰關卡。它展示了基於 Jev 的應用程式開發和遊戲邏輯實現的實際應用。
此 Rust SDK 提供了與 TypeSafe System One 進行交互的介面。它旨在為需要在 Jev 生態系統中實現嚴格類型安全性的開發者優先處理低延遲操作。
該儲存庫為 Jev Ultrafast 研究瀏覽器提供了可復現的評估工具。它包含套件執行器、經過品質控制的測試案例以及報告產生器,旨在協助評估研究型智能體的效能。
TypeSafe Jev plays original Civilization II in a browser, with live action probabilities. Experimental full-game harness.
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsorJev-AV 是一款安全工具,透過提取可執行檔、腳本和文件的熵值、雜湊等結構特徵進行分析。它利用 Jev 來即時評估這些檔案是否存在惡意行為。
該工具利用 TypeSafe Jev 優化 Claude Code 的技能清單。它透過評估技能相關性來隱藏不必要的技能,從而顯著減少權杖使用量並降低單次會話的成本。
If you're experimenting with jev it will be easier from here.
該項目展示了一個在 ViZDoom 環境中運行的 Jev 智能體。它利用雙決策通道,分別以 5 Hz 的頻率進行導航和以 12 Hz 的頻率進行戰鬥,並在測試運行中取得了 18 次擊殺。
Jev Social 展示了一種自動化研究工具,可在社交媒體平台上執行受限的瀏覽器操作。它從 Instagram、TikTok 和 LinkedIn 捕獲證據,並根據檢索到的數據生成帶有引用的報告。

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorPre-commit hook: one Jev call judges whether your commit message matches the staged diff, plus debug leftovers, unmentioned work, and a credential check.
Async LangGraph workflow that gets a typed Jev Choice (invoice or general) and routes each inbound email to the matching handler.
該儲存庫提供了基於 Jev 的工具、整合和實驗項目的精選列表。它作為開發人員探索 TypeSafe AI 的 System One 模型以進行類型化決策的中心目錄。
Jev-compatible System 开源Jev.
jev-me 是一個交互式工具,由 Jev 對你的想法進行審問和分析。該項目作為一個頭腦風暴助手,旨在通過批判性提問和邏輯評估來測試概念的穩健性。
該儲存庫是一個關於 System One 模型和 Jev 技術的精選目錄,涵蓋了研究論文、開源復現及獨立評估內容。它為開發者和研究人員提供了當前技術領域的結構化概覽。
Video comparison against a structured-output LLM baseline.
Short practical intro with a Python ticket-triage example.
Cyber-Breach: The Jev Protocol - A tactical cyberpunk arena combat game powered by TypeSafe AI Jev System One decision model.
該儲存庫提供了一個可復現的基準測試,對比了 Jev 和 Claude Haiku 4.5 在 2,000 封釣魚郵件上的表現。它透過評估準確性、校準、延遲和成本等指標,來衡量模型在檢測惡意通訊方面的效能。

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsor此資源提供了源自 PadFlow 土地開發數據的類型化決策基準。它包含匿名化模式以及一個執行器,旨在測試 TypeSafe Jev 等置信度校準模型在結構化決策任務中的性能表現。
該項目將 Jev 集成到 DeepSeek Harness 框架中。它展示了開發人員如何利用 Jev 在現有的評估管道中執行自動化判斷任務,從而簡化模型評估工作流程。
zerosweep 是一個基於 TypeSafe AI 的自主系統一分流引擎和基準測試工具。該項目展示了用於自動化決策過程的 RLCD 認知安全門整合。
Typed decisions from a System One model. An uncertain answer is a different type from a confident one — and the compiler makes you handle it.
此 Rust SDK 為與 TypeSafe AI System One API 互動提供了非同步和阻塞介面。它旨在幫助開發人員將 TypeSafe AI 功能直接整合到其基於 Rust 的應用程式中。

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsor該工具為 Hermes Agent 提供 TypeSafe 技能路由功能,在模型調用前識別出所需的技能。它僅使用標準庫,旨在優化代理性能並降低不必要的處理成本。
A tool for tracking decisions made by Jev, using Arize's instrumentation for detailed analysis.