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.
Ask a yes/no question of every function in a codebase. Ranked answers in seconds, for cents. Grep whose pattern is a question, powered by TypeSafe Jev.
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsorHemant Kumar on his 151M ModernBERT reproduction: 0.83% adaptive calibration error, 3.0% of predictions flip when the option list is reversed, 35.6ms on CPU, with the failed use cases reported alongside the wins.
A developer tool for decision runtime with zero-token caching and a calibrator, collected for the tools shelf.
该项目将 Stockfish 引擎分析与基于 Jev 的判断逻辑相结合,为国际象棋棋手提供实时战略指导。它展示了一种将传统国际象棋引擎与现代人工智能判断系统相结合的方法。
Throw in a pile of company files and get them classified and organized by department, type, sensitivity, date, counterparty and PII, with an index for AI agents. Powered by TypeSafe's Jev on OpenRouter (17¢ per 1,000 files). Zero-dependency Node CLI + Claude skill + Codex agent.
该项目展示了一个使用 Jev 的自主无人机导航系统。它演示了在模拟城市环境中,无人机如何在避开障碍物的同时,从 A 点自动飞行至 B 点的能力。

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 sponsorJev4Mellea 提供了一个功能性适配器,旨在将 Jev 与 Mellea 框架进行集成。该工具促进了两个系统之间的互操作性,使开发人员能够在统一的技术环境中连接各自的工作流程和数据结构。
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.
该工具将 Zod 与 Jev 集成,用于对请求体进行语义验证。它允许开发者将基于含义的检查转换为校准后的概率,从而在应用程序代码中实现基于阈值的逻辑处理。
Cost-optimized OpenRouter model router using TypeSafe's Jev, with a live full-catalog scorer instead of a hardcoded model list.
该工具为 TypeSafe Jev 环境中已安装的技能提供推荐。它包含 Python 命令行界面、Codex 技能集成以及双语文档,旨在帮助用户高效地管理其技能组合。
UXRay 是一款屏幕覆盖工具,旨在检测并突出显示操纵性界面模式。该项目展示了如何通过自动化视觉分析帮助用户识别网页设计中的暗黑模式,从而提高数字透明度。
该项目提供了一个集成 Chrome DevTools 和 TypeSafe Jev 的浏览器计算机使用环境。它作为 Browser Use Olympics 基准测试的测试平台,用于评估智能体在自动化网页导航任务中的表现。
该资源提供了源自 PadFlow 土地开发数据的类型化决策基准。它包含匿名化模式以及一个运行器,旨在测试 TypeSafe Jev 等置信度校准模型在结构化决策任务中的性能表现。
该项目探索了代理内存系统,利用 Jev 来确定并检索相关信息。它展示了一种管理上下文数据的机制,但其检索过程的实际效果取决于开发者提供的具体实现细节。
这份官方参考文档详细介绍了 TypeSafe AI 的高级结构原语。它提供了关于组织复杂数据架构的技术指导,旨在确保 AI 驱动开发工作流程中的一致性和可靠性。

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsor该工具允许通过简单的语言描述来选择要暂存的 Git 更改。它展示了一种通过自然语言处理来自动化版本控制交互的工作流程。
Pydantic AI capabilities made stronger with Jev: small runnable demos, one file each.
这份官方参考文档介绍了 TypeSafe AI 框架中的 Choice 原语。它概述了开发人员在将决策逻辑集成到 AI 驱动的应用程序时所需的结构化实现方式和推荐使用模式。
这份官方 TypeSafe AI 资源提供了机器学习概念的基础概述。它作为入门指南,帮助初学者理解 TypeSafe 生态系统中的核心原则和术语,是探索人工智能领域的理想起点。
该项目展示了一个小型模型,通过单次传递概率分配从动态文本选项中进行选择。它包含了针对 Doom、国际象棋和 Wikispeedia 的实验性实现,旨在展示该模型在不同环境下的决策能力。

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsorMeasures how well TypeSafe's RLCD-Jev model spots real secret credentials in file snippets.
Comment-moderation playground: paste a comment, Jev decides what to do with it.
Flue agent routing with TypeSafe Jev through Cloudflare AI Gateway.
该项目提供了一系列交互式图形模块,包括路由、俄罗斯方块、群体模拟和挑战关卡。它展示了基于 Jev 的应用程序开发和游戏逻辑实现的实际应用。
该工具将 Chrome DevTools 与 MCP 集成,以实现自动化浏览器导航。它演示了一个工作流程,其中代理识别目标位置并执行特定的 DevTools 命令来完成任务。

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsor这个用于 System One API 的 Scala 3 客户端提供了一个与效果无关的接口,兼容多种 sttp 后端。它允许开发者使用自己偏好的效果系统集成 Jev 服务,同时确保问题值的类型安全。
Grep by meaning, across languages. TypeSafe Jev scores every line against a meaning; combine meanings with AND/OR/NOT. 意味で探す grep。日本語で英語を、英語で日本語を検索できる.
A GitHub project showcases Jev's performance in a chess benchmark, achieving perfect gameplay with minimal cost.
该命令行工具利用 Jev 来识别用户界面、文案和代理指令中可能存在的 AI 生成低质量内容。它通过语义检查功能,帮助开发者在项目部署前把控内容质量。
Code quality and test coverage for coding agents: Jev scores each source file so the agent knows what to fix first.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsor该合集展示了由 Jev 决策驱动的互动棋盘游戏。它演示了如何将自动化决策逻辑整合到传统的桌面游戏机制中,为玩家提供了一种新型的游戏体验。
该存储库为 Jev 编程语言提供了基础框架。它为有兴趣探索该语言项目的语法和核心实现细节的开发人员提供了技术资源。
Does a TypeSafe Jev rerank beat embedding search? Graded relevance eval (9,831 pairs, 164 zh/en queries) over the Agent Skills Hub catalog, with the judge-circularity bias measured.
Let Jev (TypeSafeAI) solve 2048.
JEV picks which stream idea becomes the live MVP. TypeSafe System One decision board.

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该工具通过根据 Clean Code 原则评估代码来自动分析拉取请求。它利用 Jev 进行评估,并由 Luna 进行审查,在 Next.js 框架内提供有关代码质量的结构化反馈。
该软件包提供了一个 TypeSafeClassifier,用于将 Jev 逻辑集成到 LangChain 工作流中。它展示了一种通过利用类型安全模式来管理 AI 应用程序中决策过程的结构化方法,从而提高了系统的可靠性。
该项目提供了一个开源路由器,通过集成 Jev 和 LiteLLM 来动态选择合适的语言模型。它演示了在 AI 代理工作流程中实现类型安全模型路由的方法。
该存储库提供了一份专为 TypeSafe AI 的 System One 模型 Jev 构建的工具精选列表。它作为一个中心目录,帮助开发人员在 AI 集成项目中实现类型化的决策工作流程。
该插件将 TypeSafe Jev System One 决策工具集成到 Hermes Agent 框架中。它提供了用于检查、路由、评分和评估代理决策的特定功能,旨在提高系统内部的逻辑准确性和运行可靠性。
该存储库提供了 Jev 和 TypeSafe AI 集成的公开演示。它为希望在 Jev 生态系统中实现预检验证工作流程的开发人员提供了实用的参考示例。
该社区驱动的平台提供了超过110个AI用例、游戏和逻辑挑战。它拥有移动端友好的界面,允许用户编辑提示词并进行A/B测试,以评估不同模型的输出表现。
该项目为 omp 编码代理提供了对抗性审查工具和 typesafe_ask 实用程序。它展示了将 TypeSafe AI 原则集成到自动化编码工作流中的方法,旨在提高开发任务期间的可靠性和安全性。
The maze as JSON; Jev picks the turn at each junction in real time.
Typesafe AI SDK in Elixir using Req.
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsorFast, cheap judgment for AI coding agents: semantic search, focused reads and list picking in ~2s. CLI + MCP server on TypeSafe Jev. Benchmarked on SWE-bench.
Lists six specific tasks where Jev is used for fact-checking, ranking, text finding, citation checking, note grouping, and agent failure analysis.
该 Python 命令行工具演示了使用 TypeSafe Jev 和 OpenRouter 进行语义行搜索的实验性方法。它提供了一个轻量级界面,无需复杂的运行时依赖即可查询数据。
这是一个基于浏览器的实验场,用于与 TypeSafe AI 的决策模型 Jev 进行交互。它利用 Vercel AI Gateway,使用户能够在网页环境中直接测试和体验该模型的决策能力。
该项目展示了一个用于研究、编码和写作等专业代理的任务路由系统。它利用 TypeSafe Jev 来管理代理工作流,并实现跨不同功能领域的任务分配。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorA self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.
该桌面应用程序集成了 Jev,可提供实时的结构化写作判断。它展示了如何应用 Jev 框架来创建类似 Grammarly 的反馈工具,从而改进文本创作和编辑的工作流程。
本官方参考指南概述了使用 TypeSafe 开发应用程序的基本概念。它为开发人员提供了将 TypeSafe 系统有效集成到现有软件工作流程中所需的框架和架构模式。
Local bilingual probability decisions from context, questions, and candidate answers. Independent research preview inspired by TypeSafe Jev.
INSTRUCT_JEV - TypeSafe AI Jev / System One instruction corpus (choice/noul/score), compiled by DeckerGUI. 119 rows. Mirrored on HuggingFace.

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该项目展示了一个由 Jev 驱动的语义浏览器界面。它提供了一个框架,允许用户通过基于 Jev 的代理交互来浏览网页内容,重点在于以意图为导向的浏览体验。
该项目演示了使用 Jev 进行精细的机器人控制。它提供了基于物理的预览和可配置的 LIBERO 任务,旨在帮助用户在机器人操作和模拟环境中进行实验。
jevball 是一款 3D 足球模拟游戏,其中每位球员都作为独立的 Jev 决策代理运行。该项目展示了体育环境中的多智能体协作,允许用户观察自主游戏过程或手动控制特定球员。
该存储库提供了一个用于评估 RAG 管道中 Jev 重排序性能的框架。用户可以测量质量、延迟和运营成本,以帮助评估不同重排序配置的效率。
该项目将 Jev 集成到 DeepSeek Harness 框架中。它展示了开发人员如何利用 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 sponsorDiffJury — TypeSafe Jev PR risk router + code review coach.
Free, no-signup Noul demo. Ask a question, get yes, no, or maybe, with web search when needed.
Leonardo Bissoli 提供的这份资源探讨了 Jev 在结构化决策过程中的应用。通过视频演示和参考资料,作者展示了如何利用 Jev 来组织和执行复杂的逻辑工作流,并将其应用于实际场景中。
该项目提供了一个用于 LLM 代理的 Jev 驱动浏览器 MCP。它展示了一种无需 LLM 令牌即可进行决策的浏览器交互方法,开发者声称其决策时间约为 300 毫秒。
该项目展示了如何使用 TypeSafe Jev 控制原始 StarCraft 共享软件版本。它通过基于记录的动作概率来模拟键盘和鼠标输入,从而实现与游戏环境的交互。

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该立场文件介绍了延迟清晰化(Deferred Crispification)原则和BSF-S1架构。它主张将隐马尔可夫和模糊原语集成到Jev和System-One决策模型中,以增强TypeSafe AI框架的功能。
CartShield 利用 TypeSafe Jev 协助中小型企业处理结账欺诈问题。该工具为评估交易风险和自动化电子商务环境中的处置流程提供了一种结构化的方法。
这份 TypeSafe AI 官方参考文档解释了函数调用的机制。它演示了如何将外部工具和结构化数据处理集成到 LLM 工作流中,以改进任务执行并实现与外部系统的动态交互。
该工具利用 Jev 根据自定义规则集评估 Markdown 文件。它能够识别内容质量违规并输出评分,从而使自动化代理能够根据提供的反馈执行必要的修正操作。
Utilizing Jev, the RLCD-type model provided by TypeSafe AI, to independently and cheaply judge agentic coding sessions.
该存储库提供了一个用于与 TypeSafe AI 集成的 Swift SDK。它作为一种开发工具,旨在简化 Swift 应用程序在 TypeSafe 生态系统内的通信和数据处理流程。