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.
A tool for tracking decisions made by Jev, using Arize's instrumentation for detailed analysis.
harnessjudge 提供了一個使用 TypeSafe Jev 評估代理工作流的框架。它演示了如何根據定義的運行邏輯,將代理步驟系統地分類為成功、重試、升級或停止執行。
該儲存庫提供了用於與 TypeSafe AI 服務互動的非官方 Go SDK。它演示了開發人員如何透過結構化的客戶端介面將 TypeSafe AI 功能整合到基於 Go 的應用程式中。
semdecide 為 Unix 管道和 CI 環境提供了一個類型化的語義決策框架。該工具利用 TypeSafe AI Jev 將結構化邏輯集成到自動化工作流中,旨在提高處理任務的可靠性。
A guide for installing Jev skills, highlighting its potential to replace traditional LLM usage.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsor該項目為 Letta 代理提供了一種使用 TypeSafe System One 框架進行基於標準的評估的技能。它演示瞭如何在代理工作流中集成基於 Jev 的邏輯,以實現結構化的決策過程。
該開發者專案利用 Jev 對銷售通話錄音進行分析和評分。它展示了在專業溝通工作流程中進行自動化績效評估的實際應用。
該儲存庫為 Jev 程式語言提供了基礎框架。它為有興趣探索該語言專案的語法和核心實作細節的開發人員提供了技術資源。
A developer project for the agents shelf, using MCP tool for Codex instead of listing all options.
Official TypeSafe reference: Knowledge graph entity alignment.

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsor這段短影片簡要概述了Jev的類型化決策循環。它演示了該系統如何透過其特定的架構框架來處理決策的基本機制。
Effect-based safety gate for AI coding agents' shell commands (OpenCode, Antigravity): fast structural rules, then TypeSafe's Jev or a chat model judges what a command does. Certified with Jev at zero dangerous commands allowed.
該命令列工具利用 Jev 來識別使用者介面、文案和代理指令中可能存在的 AI 生成低品質內容。它透過語意檢查功能,協助開發者在專案部署前把控內容品質。
Automated database migration safety reviewer powered by TypeSafe AI (Jev System One model).
該 Python 命令列工具演示了使用 TypeSafe Jev 和 OpenRouter 進行語義行搜尋的實驗性方法。它提供了一個輕量級介面,無需複雜的執行時期依賴即可查詢資料。
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsor該 MuJoCo 試點項目透過比較 Jev、Claude Haiku 和反應式規則,評估了機器人抓取與放置的性能。它提供了一個可復現的環境,用於觀察不同的決策方法如何在模擬物理場景中處理基本的操縱任務。
TypeSafe 現已取消 Jev 的候補名單,向公眾開放平台存取權限。開發者可以使用官方控制台,將類型化決策功能整合到自己的軟體應用程式中並進行測試。
該項目將 Jev 集成到 Noul 和 Score 框架中,以支持 MCP 應用程序。它展示了開發人員如何在代理工作流中實現類型安全結構,從而在構建模塊化 AI 系統時提高可靠性。
1,800-point thread debating whether typed decisions replace LLM calls for classification, routing, and scoring.
該工具使 Claude Code 能夠選擇會話所需的已安裝技能。它利用 Jev 進行決策,並與 skills.sh 集成以促進對可用功能的發現。
Cyber-Breach: The Jev Protocol - A tactical cyberpunk arena combat game powered by TypeSafe AI Jev System One decision model.
該 SDK 旨在幫助 PHP 開發者將 Jev 整合到應用程式中。它支援發送文字和類型化問題,並獲取帶有置信度分數的結構化答案,同時相容 PSR-18 客戶端及多個 Laravel 版本。
decido 是一個用於機率決策的 Python 函式庫。它支援與 Jev 或自訂提供程式整合,並利用 Playwright 進行網頁抓取,從而協助使用者建構自動化的決策工作流。
該工具為 AI 編碼代理提供即時防火牆。它透過確定性規則和基於 Jev 的驗證來攔截工具呼叫,並決定是否允許、阻止或請求手動批准代理的操作。
該資源概述了 System One 模型的核心原語。它提供了供應商工作流程評估和定價結構的概覽,旨在為探索這些特定 AI 模型架構的用戶提供入門指南。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsor該儲存庫提供了一個用於處理決策模型的 Ruby 客戶端庫,專門針對 Typesafe Jev。它為開發人員提供了一種將結構化決策邏輯直接集成到 Ruby 應用程式中的實用工具。
該命令列工具與 TypeSafe AI 的 Jev 模型整合,可對文字進行結構化分析。它支援是非、多項選擇和基於準則的查詢,並回傳校準後的機率,適用於 Shell 腳本、CI 管線和 AI 代理工作流程。
該項目展示了一個由 TypeSafe AI 控制的自主 Minecraft 玩家。它演示了即時決策能力,包括建造加拿大國旗,並提供了一個側邊儀表板來監控代理的行為。
Jev for Chrome: drives the tab you are looking at with TypeSafe Jev, a sub-second decision model. Community port of browser-use/jev-ultrafast, not affiliated with TypeSafe.
該項目提供了一系列交互式圖形模組,包括路由、俄羅斯方塊、群體模擬和挑戰關卡。它展示了基於 Jev 的應用程式開發和遊戲邏輯實現的實際應用。

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該儲存庫提供了一個非官方的 Go SDK,旨在簡化與 TypeSafe AI 的 Jev API 的整合。它為開發者在 Go 應用程式中實現基於 Jev 的功能提供了工具支援。
limpet 提供了一個停止鉤子,旨在防止編碼代理過早終止任務。它利用由 Jev 判斷的自然語言規則來維持流程的連續性。
Jev plays browser table tennis in real time: structured telemetry, typed decisions, ordinary Chrome inputs, and auditable evidence.
Jev Gamecast 是一款面向體育愛好者的 React 應用程式。它展示了一種以回放為核心的架構,允許使用者透過 Jev 類型化問題查詢即時體育數據,從而獲取比賽的詳細洞察和歷史資訊。
mimicry 是一款旨在將 AI 生成的草稿重寫為使用者個人風格的工具。它利用受限的 TypeSafe 反饋迴圈,在文字潤飾過程中保持一致性與可控性。

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorTypeSafe Jev for OTP: reply to Jev from a GenServer and pattern match on its answer.
該瀏覽器工具允許使用者透過組合 Noul、Choice 和 Score 輸入來建構 System One API 請求。它支援本地模擬模式與即時 API 呼叫,並能產生 Python SDK 程式碼。
該 Python 原型展示了一個透過解析結構化 RAM 數據來遊玩 NES 超級瑪利歐兄弟的智慧體。它利用 Jev 處理遊戲狀態資訊,並據此決定角色的移動和跳躍動作。
An idiomatic Zig client for the TypeSafe AI API.
UXRay 是一款螢幕覆蓋工具,旨在檢測並突出顯示操縱性介面模式。該項目展示了如何透過自動化視覺分析幫助用戶識別網頁設計中的暗黑模式,從而提高數位透明度。

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorThe invalidation layer for AI memory. Every fact gets a lease; new evidence ends it. Built on TypeSafe Jev.
該 Go 用戶端程式庫為 TypeSafe AI 的 System One API 提供了介面。它包含可選的 Langfuse 插樁功能,旨在協助開發人員追蹤和監控其基於 Jev 的應用程式互動。
該儲存庫是一個關於 System One 模型和 Jev 技術的精選目錄,涵蓋了研究論文、開源復現及獨立評估內容。它為開發者和研究人員提供了當前技術領域的結構化概覽。
該儲存庫為 Hermes 等 AI 代理提供了安全驗證機制。它演示了如何實現自動化檢查,要求在代理執行操作或更改系統狀態之前獲得人工批准或驗證。
該項目演示了使用 Jev 進行精細的機器人控制。它提供了基於物理的預覽和可配置的 LIBERO 任務,旨在幫助用戶在機器人操作和模擬環境中進行實驗。

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 sponsor這份官方參考文件詳細介紹了 TypeSafe AI 的進階結構原語。它提供了關於組織複雜資料架構的技術指導,旨在確保 AI 驅動開發工作流程中的一致性與可靠性。
pg-jev 是一個 PostgreSQL 擴充功能,允許使用者使用自然語言查詢資料庫表。它整合了 Jev 技術,讓使用者能透過簡單的語言指令與關聯式資料進行互動。
Cheshi 是一個 macOS 工作區,整合了基於 Jev 的對話記憶功能與 OpenAI Codex。它支援管理 AI 代理,透過 CodeGraph 探索程式碼,並將 Git、Ghostty 終端機和 Apple Notes 的工作流程整合在單一應用程式中。
該儲存庫為 Agent Zero 提供了 Jev 判斷、類型化工具和機率卡。它展示了一個透過結構化類型安全互動和機率決策過程來提高代理可靠性的框架。
Validated enhancement pack for MiniMax Code CLI on arm64 DGX Spark + local GLM-5.3-EXL3: TUI scrollbar + context-meter patches, compaction repair for local vLLM, Jev Ultrafast + Playwright MCP browser integration, real usage ledger.
Janus 展示了一個用於決策任務的校準和基於置信度的路由系統。該項目在 Banking77 數據集上實現了 80.2% 的準確率,作者聲稱其成本效率為每 500 次決策 0.103 美元。
該項目展示了一個利用類型化 Jev 決策的聊天機器人實現。它探索了將分層推測解碼技術應用於系統一機率分佈的方法,以管理對話邏輯和決策過程。
該工具透過根據 Clean Code 原則評估程式碼來自動分析提取請求。它利用 Jev 進行評估,並由 Luna 進行審查,在 Next.js 框架內提供有關程式碼品質的結構化回饋。
該項目提供了一個用於 Notion 的原生 macOS 選單列應用程式。該工具使用 Swift 和 SwiftUI 建構,旨在提供一個輕量級介面,以便直接從系統選單列存取 Notion 工作區。
該儲存庫提供了一個旨在加速 pi 環境中 JEV 壓縮過程的擴展。它展示了一種用於優化數據管理任務的具體實現方法,但用戶應在自己的生產工作流程中獨立驗證其性能提升情況。
SemIf 探索了使用開源模型實現語義條件邏輯的方法。該項目展示了如何在 NVIDIA 3090 GPU 等消費級硬體上本地運行這些操作。
該項目展示了一個由 Jev 驅動的語義瀏覽器界面。它提供了一個框架,允許用戶通過基於 Jev 的代理交互來瀏覽網頁內容,重點在於以意圖為導向的瀏覽體驗。
PiJev: a terminal coding agent with Jev in the loop — Jev ranks the repository's files before the first call, picks skills and triages failures; your coding model writes the code. Built on Pi.
Guardrails for LLM apps in one API call. Prompt injection, jailbreaks, leaks, unsafe content. Built on TypeSafe Jev. MIT.

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsor該社群貼文提供了關於 Jev 的概括性介紹。它作為理解該平台的概念性起點,並未深入探討具體的技術實現細節或效能指標。
von 是一個開源的 System One 決策模型,旨在作為 TypeSafe Jev 的本地非自回歸替代方案。開發者聲稱該模型在決策任務中可實現低於 15 毫秒的推理速度。
此 Chrome 擴充功能整合了 Jev 模型以協助 Gmail 管理。它展示了透過為收到的郵件分配類別、優先級以及垃圾郵件或回覆機率來自動處理郵件分類的功能。
Sort by meaning: order lines along a plain-English dimension, from pairwise comparisons judged by TypeSafe's Jev model.
該項目展示了一個小型模型,透過單次傳遞機率分配從動態文字選項中進行選擇。它包含了針對 Doom、西洋棋和 Wikispeedia 的實驗性實作,旨在展示該模型在不同環境下的決策能力。
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該資源提供了用於 TypeSafe AI API 的非官方 Elixir SDK。它演示了開發人員如何透過專用的客戶端庫將 TypeSafe AI 服務整合到 Elixir 應用程式中,從而實現結構化的通訊。
An awesome collection of Jev use cases, workflows, and agent skills.

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 sponsorTypeSafe Jev playground — custom Choice/Score/Noul builder with live distributions.
該項目探索了使用本地大型語言模型運行 Jev 工作流的可行性。它為用戶提供了一個框架,以便在自己的硬件上對 Jev 架構進行私有化、離線化的實驗與實現。
Demos to test the effectiveness of TypeSafe's "Jev" System One Model.
這份 TypeSafe AI 官方指南演示了從預解析輸入中提取結構化數據的技術。它為開發人員提供了標準化方法,以提高在 TypeSafe 工作流中處理複雜信息時的可靠性。
This is a LLM Gateway that mimics typesafe ai structured output. Like an imposter Jev.
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsor此 Pi 編碼代理擴充功能實現了針對工具互動的 TypeSafe Jev 驗證。它提供包括提示注入偵測、敏感資訊清理和任務固定在內的自動化安全檢查,旨在提高代理工作流的可靠性。