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 Document Classification enables the rapid and cost-effective classification of text-based documents using AI, leveraging TypeSafe's "System One" model.
JevOnly 是一個 Jev 實作,旨在執行打字任務並推動任務完成。該專案展示了如何應用 Jev 在結構化環境中自動執行互動式輸入流程。
Jev-AV 是一款安全工具,透過提取可執行檔、腳本和文件的熵值、雜湊等結構特徵進行分析。它利用 Jev 來即時評估這些檔案是否存在惡意行為。
terrarium 是一個沙盒環境,其中 TypeSafe System One 模型可以操作小型生物的控制裝置。該項目演示了如何利用代碼驅動的邏輯來模擬虛擬世界並與之進行交互。
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該工具展示了一種在分類法中管理 Jev 選擇的遞歸方法。它允許用戶在保持與 TypeSafe Jev 既定選擇限制兼容的同時,瀏覽超過 255 個選項。
該項目為 Jev 提供了 MoonBit 客戶端,並演示了兩個 Jev 實例之間的五子棋對局。其中包含用於追蹤自動化遊戲會話性能的計時日誌。
mimicry 是一款旨在將 AI 生成的草稿重寫為使用者個人風格的工具。它利用受限的 TypeSafe 反饋迴圈,在文字潤飾過程中保持一致性與可控性。
本指南演示了如何整合 Vercel AI SDK 以進行評估。作者探討了開發人員在現有應用程式工作流程中評估 AI 模型效能的實際實施步驟。
該擴展將 TypeSafe Jev 判斷公開為五個 pi 工具。它允許 AI 模型進行精確的語義判斷,同時確保開發人員能夠完全控制閾值、權重和系統操作。
該社區帖子列出了在中國生態系統中開發的開源 Jev 復刻版。它強調了每個項目的技術規格,為開發人員探索 Jev 框架的區域性實現和架構變體提供了參考資料。
rh-guard 為編碼代理提供了一種獎勵駭客行為檢測機制。它利用結構化拒絕和 TypeSafe Jev System One 側邊欄來監控 Claude Code 和 Cursor 中的鉤子,旨在識別自動化開發任務中可能出現的獎勵駭客行為。
tiershift 是一款路由工具,可根據用戶定義的 YAML 策略將 LLM 請求定向到最具成本效益的模型。它利用 TypeSafe Jev 來管理路由決策,並支援 TypeScript 和 Python 整合。
該工具使用 Jev 為 Codex 實現了基於回合的模型和推理路由。它展示了一個能夠為每次交互回合動態選擇合適模型、思考深度和速度模式的系統。
該項目展示了由 Jev 驅動的 MacOS 自動化實現。它作為一個實驗性設置,演示了如何利用 TypeSafe System One 作為決策引擎來導航並與桌面環境進行交互。

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該資源展示了一個用於 MCP 的技能路由器,使 Jev 能夠直接選擇相關技能。它旨在透過以針對性的技能識別取代冗長的代理搜尋過程,從而提高效率。
該項目展示了一個在 ViZDoom 環境中運行的 Jev 智能體。它利用雙決策通道,分別以 5 Hz 的頻率進行導航和以 12 Hz 的頻率進行戰鬥,並在測試運行中取得了 18 次擊殺。
該資源提供了用於 TypeSafe AI API 的非官方 Elixir SDK。它演示了開發人員如何透過專用的客戶端庫將 TypeSafe AI 服務整合到 Elixir 應用程式中,從而實現結構化的通訊。
這款基於瀏覽器的工具透過提供模板驅動的介面,簡化了 TypeSafe Jev 的請求建立過程。使用者無需 JSON 知識或安裝軟體,即可在本地填寫必要欄位,從而優化了請求生成的工作流程。
該實驗室項目展示了使用 TypeSafe Jev 反射決策的多無人機自主性。它探討了如何將這些反射動作與可選的系統 2 策略指導相結合,以管理複雜的空中導航任務。
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 JavaScript SDK 的參考指南。它概述了開發人員在基於 JavaScript 的應用程式中實現 TypeSafe 功能所需的必要方法和整合模式。
該儲存庫包含從支援路由到 3D 駕駛模擬的互動式實驗。它展示了如何處理結構化感測器數據,以生成轉向、制動和超車等類型安全的駕駛決策。
該儲存庫提供了一份專為 TypeSafe AI 的 System One 模型 Jev 建構的工具精選列表。它作為一個中心目錄,幫助開發人員在 AI 整合專案中實現類型化的決策工作流程。
該工具使 Claude Code 能夠選擇會話所需的已安裝技能。它利用 Jev 進行決策,並與 skills.sh 集成以促進對可用功能的發現。
Know before you click. A Chrome extension that reads articles and YouTube videos ahead of you and says read, skim, save, or skip — with a confidence, tuned to your goals. Open source, MV3, powered by 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該儲存庫提供了一個用於與 typesafe.ai 平台互動的 Ruby 客戶端程式庫。它為開發人員提供了一個程式設計介面,以便將 Jev 相關服務直接整合到其基於 Ruby 的應用程式中。
該儲存庫是用於試驗 TypeSafe 的 System One 模型 Jev 的沙盒。它為開發人員提供了一個實用的環境,透過各種實驗性實現和程式碼範例來探索該模型的功能。
A tool for automated risk review of pull requests using Jev.
該儲存庫展示了一個基於 Qwen3.5-0.8B 架構的 Jev 風格校準決策模型。它探討了在緊湊型語言模型環境中實現選擇、評分和 Noul 決策框架的方法。
此 Chrome 擴充功能利用 Jev 分析 X 貼文的語氣和情感。使用者可以在發布前對草稿內容進行「氛圍檢查」,以確保訊息符合預期的溝通風格。

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsor此社群開發的 Java 用戶端為 TypeSafe System One API 提供了非官方介面。該資源演示了開發人員如何透過結構化的用戶端程式庫將 TypeSafe 服務整合到 Java 應用程式中。
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.
Skill for Hermes, and other agents, to ask typesafe's jev.
J++ 是一種實驗性程式語言,旨在幫助開發人員建構基於 Jev 的查詢。該專案作為一個專用工具,透過自訂語法與 Jev 架構進行互動。
Grep, but the pattern is a description. Filters lines by meaning with TypeSafe's Jev decision model: ~200 ms and a thousandth of a cent per line.

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該儲存庫提供了對 Jev 1.13.0 的獨立分析。它記錄了受控提示詞實驗和原始數據,旨在幫助用戶透過離線測試來驗證模型的行為和效能特徵。
A self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.
otto 是一個適用於 macOS 和 Windows 的開源電腦操作代理。它利用 TypeSafe Jev、本地 OCR 和選擇性規劃功能,直接在桌面環境中執行任務。
A console project where Jev dynamically selects the design system at runtime for tools and apps.
Fork of OpenPoke where the yes/no decisions go to Jev instead of Claude Sonnet, with a same-inputs A/B against the replaced LLM decision and a 43,776-request adversarial run on the injection gate.
Hand the browser work off: an MCP server where a decision model drives the page for your agent, so a flow costs one tool call instead of a turn per click. Ref-based element tables, code-checked assertions, zero-model macro replay. Speaks CDP to your Chrome.
Probability-aware evaluation for typed decision models: calibration, selective risk, latency, and reproducible benchmarks.
該專案提供了一個開源路由器,透過整合 Jev 和 LiteLLM 來動態選擇合適的語言模型。它演示了在 AI 代理工作流程中實現類型安全模型路由的方法。
該項目提供了一個整合 Chrome DevTools 與 TypeSafe Jev 的瀏覽器電腦使用環境。它作為 Browser Use Olympics 基準測試的測試平台,用於評估智能體在自動化網頁導航任務中的表現。
JevLint 是一款由 Jev 驅動的可配置語義代碼檢查工具。該項目演示了文件級的 NOUL 判斷功能,並包含一個魔術字符串插件,旨在通過語義分析提供一種維護代碼質量的結構化方法。
該儲存庫提供了一個用於與 TypeSafe AI 集成的 Swift SDK。它作為一種開發工具,旨在簡化 Swift 應用程式在 TypeSafe 生態系統內的通訊和資料處理流程。
該項目展示了針對 Pi 編碼代理的語義工具路由和類型化系統一決策。它利用 TypeSafe Jev 來構建代理工作流,並提高自動化編碼任務的可靠性。
該項目展示了一個利用 TypeSafe Jev 進行決策的代理瀏覽器執行環境。它演示了 Jev 模型如何與 Aside 執行環境整合,以在 Web 環境中管理選擇、評分和 noul 操作。
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsorAutonomous Jev pull-request review with typed decisions, calibrated approval gates, and trusted-owner escalation.
Idiomatic Go SDK for the TypeSafe AI API.
Agent tool/MCP call gate — allow / ask_human / deny via TypeSafe Jev.
PlayJev 展示了一個能夠遊玩十款瀏覽器遊戲的 0.8B 參數模型。該系統透過單次前向傳遞計算合法移動的機率,且無需生成文字,展示了遊戲智能體的一種專門化實現方式。
Parallel web search for terminals and agents, with local Chromium and Jev-guided exploration.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsor這份 TypeSafe AI 官方參考資料解釋了結構恢復技術。它演示了如何將非結構化的模型輸出可靠地解析並格式化為一致的、機器可讀的資料結構,以便於下游應用程式整合。
A flexible and configurable CLI model router using TypeSafe Jev.
該工具利用 Jev 模型過濾收到的簡訊,以識別潛在的詐騙資訊。它展示了 TypeSafe AI 技術在透過自動化內容分析增強行動通訊安全方面的實際應用。
該概念驗證項目透過《權力的遊戲》主題探索了 Jev TypeSafe AI 的整合。它演示了如何在敘事驅動的應用程式環境中利用結構化資料模型。
這款賽博龐克主題遊戲利用 TypeSafe Jev 模擬了緊張的邊境檢查遭遇。玩家需要透過對話選擇來欺騙守衛,並檢查數位收據以推進劇情發展。

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsor該實驗展示了使用凍結的 Qwen3-4B 模型實現的 Jev 風格類型化決策介面。它演示了如何直接讀取選項字母的 logits,而不是依賴傳統的 JSON 生成來進行決策。
Practical, tested recipes for TypeSafe's Jev decision model on OpenRouter: support triage, database indexing, file organizing, tagging, taxonomies, dedupe, PII detection, extraction, search re-ranking and a browser agent.
該資源概述了 System One 模型的核心原語。它提供了供應商工作流程評估和定價結構的概覽,旨在為探索這些特定 AI 模型架構的用戶提供入門指南。
該社區貼文探討了 Jev 作為 AI 代理的高速、低成本決策控制層的潛力。文章提出,透過整合 Jev,可以為複雜的任務執行提供輕量級的控制機制,從而簡化代理的工作流程。
這份 TypeSafe AI 官方參考指南演示了如何實現逐行語義搜尋功能。它為開發人員提供了在結構化數據集中執行精確文本檢索所需的必要模式。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsor該工具展示了在 omp 環境中進行 Jev 評分上下文縮減的方法。它透過 TypeSafe 或 OpenRouter 平台管理資料流,旨在優化 AI 代理的上下文使用效率。
該項目展示了一個擁有100個AI NPC的小鎮模擬。它演示了Jev如何選擇代理的行為,並由環境共同編寫故事的機制。
該工具支援根據定義的 YAML 編碼標準自動審計 git diff。它利用 Jev 模型,透過命令列介面或 AI 代理工作流提供一致性檢查功能。
該工具將 Zod 與 Jev 整合,用於對請求體進行語義驗證。它允許開發者將基於含義的檢查轉換為校準後的機率,從而在應用程式代碼中實現基於閾值的邏輯處理。
該開發中的工具透過應用簡單的英語 Jev 規則來自動化拉取請求審查。它旨在透過基於定義的專案標準提供自動化回饋,從而簡化程式碼品質檢查流程。

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsor本 TypeSafe AI 參考文件介紹了層次化分類系統的實現方法。它演示了如何構建數據分類體系,以提高模型在將複雜資訊歸類為嵌套的多級標籤時的準確性。
Scala 3 / ZIO client for the System One API: typed end-to-end, several questions per round-trip via NamedTuple.
該項目展示了一個由十二名成員組成的趣味 TypeSafe AI 委員會。它演示了一個交互式的決策過程,用戶可以查看動畫投票序列並檢查每個裁決背後的決策依據。
本指南示範了如何將 Jev 與 LiteLLM 整合以簡化模型呼叫。它解釋了透過現有代理路由請求的配置過程,旨在跨不同 AI 服務保持一致的互動模式。
Talk to your Mac. Local whisper.cpp + one Jev (TypeSafe) call per command + macOS automation.