Jev发布帖
Diogo Almeida介绍了TypeSafe的结构化决策模型Jev。该资源概述了模型的核心方法、实际应用示例以及作者所报告的性能指标。
Diogo Almeida介绍了TypeSafe的结构化决策模型Jev。该资源概述了模型的核心方法、实际应用示例以及作者所报告的性能指标。
TypeSafe正式启动其研究实验室,并向开发者社区介绍了Jev。此公告包含由Diogo Almeida制作的发布影片,并为该项目的使命和未来方向提供了基础背景。
TypeSafe 现已取消 Jev 的候补名单,向公众开放平台访问权限。开发者可以使用官方控制台,将类型化决策功能集成到自己的软件应用程序中并进行测试。
TypeSafe强调Jev的类型化输出方法:应用程序提供状态和问题,然后根据概率、选择或评分进行操作。相关公告还介绍了Venice API集成。
Start with the Launch Post. Explore four official signals.
AI-assisted summaries and translations. Check original sources for context and performance claims.
该存储库提供了一个用于评估 RAG 管道中 Jev 重排序性能的框架。用户可以测量质量、延迟和运营成本,以帮助评估不同重排序配置的效率。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorJev (TypeSafe System One) × ASReview SYNERGY abstract screening demo — Choice/Noul vs gold labels.
JEV picks which stream idea becomes the live MVP. TypeSafe System One decision board.
MCP server that puts TypeSafe Jev on the coding loop in Cursor, Codex, and any MCP client.
JEVLAB ARTUse Jev (TypeSafe's System One model) as a calibrated reranker: one call, up to 30 documents, a probability per document. Apache-2.0.
该工具实现了用于验证任务完成情况的 Claude Code 停止钩子。它通过分析转录内容寻找证据并咨询 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 的 jev 框架构建的软件项目。它提供了一个集中列表,旨在帮助开发者发现使用该技术实现的实际案例和社区驱动的应用程序。
这份 TypeSafe AI 官方参考指南演示了如何实现逐行语义搜索功能。它为开发人员提供了在结构化数据集中执行精确文本检索所需的必要模式。
The invalidation layer for AI memory. Every fact gets a lease; new evidence ends it. Built on TypeSafe Jev.
A browser-native Doom agent experiment with structured spatial state, composable AI controls, live decision telemetry, and a Chocolate Doom WebAssembly runtime.
Jev generates piano music by selecting notes and chords based on input sequences.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsor该演示展示了 Jev 同时运行多个 Subway Surfers 游戏实例的能力。创作者声称该系统能以低成本实现 50 个并发会话的高速游戏体验,但这些性能指标尚未经过独立验证。
该 Python 命令行工具演示了使用 TypeSafe Jev 和 OpenRouter 进行语义行搜索的实验性方法。它提供了一个轻量级界面,无需复杂的运行时依赖即可查询数据。
该资源展示了 Jev 如何为安全工作流程中的结构化决策提供框架。它强调了在将这些系统化流程应用于复杂的安全工程任务时,提高运营速度的潜力。
Canny 旨在防止 AI 编程代理在没有证据的情况下声称任务已完成。它通过确定性钩子和仅追加账本机制来验证工作成果,且不依赖任何运行时环境。
该项目展示了如何利用 Jev 来预测猜拳游戏中人类的动作模式。创作者声称该系统通过识别行为趋势,能够在竞技对局中预判玩家的选择。

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorA community post confirming Jev's capability to generate text, responding to a claim that it cannot.
JEVLAB ART该实验性协议使用 Jev 适配器通过类型化选择来评估证据。它展示了应用程序代码如何在结构化的决策框架内验证权限并执行模拟的演示操作。
该工具展示了 Jev 如何对电子表格数据应用语义化格式。它提供了自动化的结构建议,并概述了与外部平台集成的潜在路径,以优化数据组织工作流程。
本视频指南演示了如何利用 Jev 架构来构建各种软件应用程序。它为开发者提供了关于 Jev 生态系统内开发工作流程和可用功能的实用概述。

A small open decision model: state + typed questions -> calibrated probabilities. A Jev / System One re-creation on Qwen3.5.
JEVLAB ARTchowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsor该项目探讨了 System One 模型是否能有效引导音乐生成。它展示了一个工作流程,其中 Jev 通过枚举选择计划,并渲染乐谱、音频和 MIDI 文件。
JEVLAB ART该研究项目将 Jev 与 DuckDB 集成,以实现返回真实类型响应的 SQL 查询。它展示了一种通过类型化数据处理来提高数据库交互可靠性的技术方法。
JEVLAB ARTHead-to-head test at validating local event listings, with cost and latency.
A tool that uses Jev to convert pointing and speech into drawing actions on a canvas.
本指南演示了如何集成 Vercel AI SDK 以进行评估。作者探讨了开发人员在现有应用程序工作流程中评估 AI 模型性能的实际实施步骤。
这款用于编码代理的实验性插件利用 Jev 在开发过程中提供质量反馈。它展示了一种在代理工作流中提高代码标准的本地优先方法。
该 Rust 库提供了一个用于与 TypeSafe System One API 交互的非官方异步客户端。它演示了在与平台后端服务集成时,如何实现类型安全的通信模式。
jevalyn 是 TypeSafe Jev System One API 的 Rails 原生封装库。该工具旨在帮助开发者将类型安全且经过校准的决策逻辑直接集成到 Ruby on Rails 应用程序的控制流中。
A system tested on 1,500 emails for classification effectiveness. Demonstrates potential for automated email management.
该项目为 Neon AI Gateway 提供了一个 Neon Function 代理。它演示了如何实现类型安全的 Jev 路由,以便在结构化且可靠的开发环境中管理 AI 服务请求。

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 与其他评估模型进行基准测试。它专注于具有明确状态、定义合法操作和可量化结果的游戏场景,以评估其相对性能。
该项目展示了一个使用 PyBoy 自动游玩《宝可梦 红》的智能体。系统负责处理游戏逻辑和算术运算,Jev 智能体负责选择分支路径,并通过 Brier 分数根据 RAM 状态评估战斗结果。
J++ 是一种实验性编程语言,旨在帮助开发人员构建基于 Jev 的查询。该项目作为一个专用工具,通过自定义语法与 Jev 架构进行交互。
5–10x faster browser operations: Jev clicks, Codex thinks and verifies. Built at EZCollegeApp.
JEVLAB ART该项目展示了如何使用 Jev 在 Clay 平台内进行潜在客户评分的工作流程。它为开发人员提供了一种结构化的方法,可以根据定义的标准自动对潜在联系人进行排名。

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsor该项目展示了一个集成 OCR 和 Jev 的图像分类工作流程。创建者报告称,使用此自动化管道在 40 秒内处理了 900 张图像。
A command-line interface for Jev that provides answers and exit codes based on input questions.
JEVLAB ARTTypeSafe Jev for OTP: reply to Jev from a GenServer and pattern match on its answer.
A research project on GitHub uses Jev with Qwen3 models on an NVIDIA DGX Spark system.
该演示展示了 Jev 在视频游戏环境中自主控制多个角色的能力。创作者展示了该系统在竞技游戏场景中执行快速实时决策的能力。
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 sponsorjevmlx 为 Apple Silicon 上的 MLX 模型提供并行约束决策支持。该工具可在单次前向传递中生成类型化且符合架构的 JSON 输出,从而简化从本地机器学习模型中提取结构化数据的过程。
该实验展示了 Jev 在国际象棋比赛中选择合法走法的过程。创作者将其表现与现有的推理模型进行对比,以评估其在游戏规则内的决策能力。
JEVLAB ART该资源展示了 Jev 如何评估外联消息以检测导致演示预约的意图信号。它旨在帮助用户识别与成功预约相关的模式,从而优化其营销活动的整体表现。
该项目展示了一种在 Apple Silicon 上查询本地 LLM 的方法,旨在获取校准后的概率而非文本。它致力于直接提供结构化输出,从而绕过文本生成和后续的解析步骤。
A community post describing adaptive in-app support using Jev to provide real-time assistance based on user struggles.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsorAutomates email categorization of 63,045 emails in under 3 minutes at low cost.
LegalForecast-MTD benchmark alpha and official evaluation workflows.
A tool for automated risk review of pull requests using Jev.
Local bilingual probability decisions from context, questions, and candidate answers. Independent research preview inspired by TypeSafe Jev.
pg-jev 是一个 PostgreSQL 扩展,允许用户使用自然语言查询数据库表。它集成了 Jev 技术,使用户能够通过简单的语言指令与关系型数据进行交互。

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该演示展示了 Jev AI 高速游玩俄罗斯方块的过程。创作者称该系统在两分钟内完成了 357 个方块并消除了 134 行,展示了模型在实时游戏环境中的快速决策能力。
该工具通过对拉取请求执行十四项自动化检查来提升代码质量。它旨在开发工作流中识别硬编码密钥或 SQL 模式问题等潜在的安全隐患。
该资源记录了私有微调分类器与标准模型之间的匹配精度比较。它为评估分类输出与自定义基准相比的准确性提供了决策方面的见解。
该项目展示了一个基于 Jev 的文本生成系统。它在自回归循环中利用分类器逐个字符地生成文本,展示了一种细粒度的语言建模方法。
该工具将 LLM 规划与 Jev 相结合,用于浏览器自动化。它提供库、CLI 和 MCP 服务器,展示了类型安全系统如何通过结构化的决策过程来管理 Web 交互。
JEVLAB ARTA TypeSafe/Jev agent that plays Super Mario Bros. from structured emulator state.
A MakerMods robot arm is demonstrated within the MuJoCo simulation environment, showing interaction through JSON state inputs and action selections.
该项目展示了一个拥有100个AI NPC的小镇模拟。它演示了Jev如何选择代理的行为,并由环境共同编写故事的机制。
A Chrome extension enabling agents to browse and interact with websites, utilizing Jev for decision-making.
此演示展示了 Jev 如何处理来自 37 个品牌的 724 条广告。它说明了该代理程序如何识别并分类广告的创意元素和格式,从而辅助进行快速的市场分析。
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 sponsorpi-jev 是一套利用 Jev 增强 Pi 交互的扩展工具。它演示了选择性上下文压缩和模型路由技术,旨在帮助管理信息流并优化代理环境中的处理效率。
该项目展示了一款合作平台射击游戏,其中 TypeSafe Jev 代理作为队友参与游戏。它演示了在快节奏游戏环境中集成自主 AI 代理的实验性尝试,旨在促进玩家与 AI 之间的协作游戏动态。
该项目展示了一个使用 Go 语言实现的 Jev 浏览器代理,并连接到真实的 Chrome 浏览器。它通过将 Go 运行时与浏览器自动化功能相结合,为执行基于 Web 的任务提供了框架。
Jev generates 100 images from sources like NASA and The Met based on a single prompt.
Unofficial go SDK for typesafe AI, with typed answers, retries, and context support.

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsor该存储库提供了一个用于与 TypeSafe System One API 进行交互的非官方 Go 客户端库。它为希望将 Jev 模型集成到其 Go 语言应用程序中的开发人员提供了一个基础工具。
Magic Jev Ball 是一款旨在简化 GitHub 拉取请求工作流程的工具。它利用 Jev 分析 CI 状态、差异大小和现有审查,旨在实现 200 毫秒内的自动化审批决策。
此命令行界面支持与 Jev 评估模型进行交互。它演示了提交类型化查询并接收结构化 JSON 响应的工作流程,旨在为使用 TypeSafe AI 系统的开发人员简化自动化评估流程。
TypeSafe'in Jev karar modeli gerçek bir online 2048 sitesinde oynuyor — hamle başına tek API çağrısı, tek anahtar.
Jackalope 是一款用于代理式编码的桌面 GUI,可在本地代理之间协调任务。它利用 Jev 为每个任务选择最佳代理,并提供基础代码审查功能和项目上下文支持。

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 集成到 Noul 和 Score 框架中,以支持 MCP 应用程序。它展示了开发人员如何在代理工作流中实现类型安全结构,从而在构建模块化 AI 系统时提高可靠性。