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.
本 TypeSafe AI 指南演示了验证大语言模型生成引用准确性的系统方法。它提供了关键工作流程,以确保在辅助研究任务中引用的来源真实可靠并得到正确归属。
该存储库提供了使用 Unix 风格原语构建的自动化爬虫,用于系统分析。它展示了一种模块化的漏洞挖掘方法,通过利用轻量级且可组合的工具,在目标环境中执行数据收集和漏洞发现任务。
该实验展示了应用 Jev 处理个人写作档案的过程。作者称该工具在不到一秒的时间内完成了对其全部作品的综合审查。
A TypeSafe/Jev agent that plays Super Mario Bros. from structured emulator state.
该工具展示了一种检测语音对话轮次结束的方法。它利用语音输入后的 Jev 分数来判断用户何时停止说话,从而在交互式虚拟形象系统中实现更自然的对话流程。
该存储库提供了一个受监督的 Mint 客户端,旨在与 TypeSafe AI System One API 进行交互。它为希望将 TypeSafe AI 功能集成到基于 Mint 的项目中的开发人员提供了一个实用的实现参考。
该存储库提供了一系列基于证据的 Jev 用例和架构模式。它为使用 TypeSafe AI 的 System One 模型进行开发的开发者提供了结构化指南,重点介绍了经过验证的实施策略。
此演示展示了 Jev 如何在网页中选择候选链接以实现特定目标。它说明了代理在浏览器环境中进行链接交互时的决策过程。
agent-chaperone 为 AI 代理提供了一个安全层,用于在执行前后筛选工具调用及其结果。该 MCP 代理和钩子适配器允许在代理或外部工具处理交互之前对其进行检查。
CLI and agent skill for TypeSafe System One (Jev): typed Choice, Score, and Noul judgments.
该项目展示了一个由十二名成员组成的趣味 TypeSafe 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 sponsorA flexible and configurable CLI model router using TypeSafe Jev.
该项目演示了如何将 TypeSafe Jev 与 Grok Bot 集成,作为一种经济高效的决策层。它提供了技能模板和使用限制功能,以优化机器人的交互过程。
Run a JSON Schema through TypeSafe's Jev API, and get JSON back.
该 Python 软件包利用 typesafe.ai 根据特定启发式规则评估代码注释。它展示了一种通过对开发者编写的注释应用结构化分析,从而自动评估代码库中文档质量的方法。
该项目展示了一个拥有100个AI NPC的小镇模拟。它演示了Jev如何选择代理的行为,并由环境共同编写故事的机制。

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsorTypeSafe 现已取消 Jev 的候补名单,向公众开放平台访问权限。开发者可以使用官方控制台,将类型化决策功能集成到自己的软件应用程序中并进行测试。
Bounded exploratory browser testing with Jev, deterministic assertions, and replayable evidence.
Jev-Trades 是一个利用 TypeSafe AI 的 Jev 系统一模型构建的交易机器人。该项目展示了如何将处于早期阶段的 Jev 模型逻辑集成到自动化市场交易工作流程中。
jev-shield 是一个由 Jev 驱动的语义 MCP 防火墙。开发者声称该工具通过验证工具调用、结果和描述来增强代理工作流的安全性,并宣称具备高召回率和低延迟的性能表现。
该概念验证展示了如何利用 TypeSafe Jev 实现 Hermes Agent 命令审批的自动化。开发者声称,在 153 个真实命令场景的测试中,该方法相比传统方式显著提升了效率。

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 sponsorA decision cache for TypeSafe Jev-class models — memoize decisions so repeats are free, deterministic, and shareable. One 2 MB binary.
Guardrails for LLM apps in one API call. Prompt injection, jailbreaks, leaks, unsafe content. Built on TypeSafe Jev. MIT.
该存储库为 Jev 模型提供了沙盒测试环境。它作为一个实验性平台,旨在帮助开发人员在结构化且类型安全的框架内,探索模型行为及交互方式,适用于各类 AI 工作流实验。
该项目实现了一个两阶段匹配系统,旨在将用户目标与 MCP 目录进行连接。它展示了如何利用 TypeSafe Jev 来简化基于代理的工具发现和选择流程。
Live verdict page: feeds Jev the day’s Florida Man, odd-news, politics and world headlines and asks all three primitives whether AI should kill us all, refreshed every ten minutes.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsor该项目实现了三个用于从 Jev 查询特定信息的 Claude Code 钩子。它展示了一种通过自定义自动化钩子将外部信息检索直接集成到开发工作流程中的实用方法。
该项目展示了一款实时飞行模拟游戏,利用 Jev 的决策能力来控制飞机。它演示了如何将自主逻辑集成到交互式游戏环境中,以处理导航和飞行控制任务。
Build versioned judgment functions on TypeSafe's Jev once, then call the same published version from your backend over HTTP and from coding agents over MCP. The vendor key stays on your machine.
A test project based on Jev AI, the goal is to build a search function for a blog/article website that has 100s of articles to search from, So the user can actually use the search as chat to question anything and find related answers/articles.
该工具集成了 Jev,通过简洁的命令输入来控制 Ableton Live。它展示了一种利用 Jev 的决策逻辑来自动化数字音频工作站任务并执行用户定义的音乐控制序列的工作流程。
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsor该存储库是一个精选目录,收录了使用 TypeSafe 的 jev 框架构建的软件项目。它提供了一个集中列表,旨在帮助开发者发现使用该技术实现的实际案例和社区驱动的应用程序。
TypeSafe Jev demonstration for new analyzation — experimenting with Jev for fast analysis of news and tickers.
此 TypeSafe AI 参考资料介绍了推测性扇出模式。它演示了如何通过发起多个并发请求并选择第一个成功的结果,来提高 AI 工作流的响应速度并降低延迟。
OpenJev 是由 SiliconLabAI 发起的开源项目,旨在开发用于研究目的的 Jev 类决策模型。该资源为探索自主决策系统的架构设计提供了参考基础。
otto 是一个适用于 macOS 和 Windows 的开源计算机操作代理。它利用 TypeSafe Jev、本地 OCR 和选择性规划功能,直接在桌面环境中执行任务。
该存储库展示了一个基于 Qwen3.5-0.8B 架构的 Jev 风格校准决策模型。它探讨了在紧凑型语言模型环境中实现选择、评分和 Noul 决策框架的方法。
Video comparison against a structured-output LLM baseline.
Single-agent Pi coding coprocessor with Jev semantic gates, baseline-to-current diff review, and append-only observability telemetry.
DGUI-HyperMem 是一个部署在 Cloudflare Workers 上的自托管混合内存 MCP 服务器。它利用 JEV 推理层和 HuggingFace 训练飞轮进行内存管理,展示了一种将持久化数据结构与自动化推理工作流相结合的实验性方法。
Never confidently wrong: a TLA+-verified consensus kernel around TypeSafe's Jev, run through 1,680 chaos-tested pharmacy decisions with zero wrong verdicts. Film, code, and every captured call.

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorSort by meaning: order lines along a plain-English dimension, from pairwise comparisons judged by TypeSafe's Jev model.
Unofficial Laravel integration for TypeSafe Jev AI with typed responses, async requests, scoped dependency injection, and testing fakes.
该实验性协议使用 Jev 适配器通过类型化选择来评估证据。它展示了应用程序代码如何在结构化的决策框架内验证权限并执行模拟的演示操作。
此单文件实现为与 TypeSafe Jev 集成的 Mastra 代理提供了输入审核功能。它展示了一种简化代理交互过滤的方法,旨在确保更安全、更可控的 AI 通信流程。
Neovim popup for jev-lens verdicts: do I need to look, which files, and strip the debris.

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 sponsorCommunity Rails integration on the typesafe-sdk gem: configuration, persisted usage and cost telemetry, and opt-in confidence policies.
A code search tool for agents to find behavior patterns instead of text strings.
jcr 是一个开发者工具,旨在将模糊的代理请求转换为确定性命令。该项目通过提供结构化的执行路径,旨在提高代理驱动任务的系统可靠性。
此项开发中的演示展示了 Jev 模型在 Minecraft 环境中的导航能力。创作者演示了该智能体执行基础生存任务的过程,例如在夜间主动避开僵尸等敌对生物。
spendbrake 提供了一种管理 AI 代理支出的机制。它演示了如何通过 TypeSafe Jev 实现预算控制,允许用户选择继续、降级模型或停止代理操作。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorCheck whether each cited paper supports the sentence citing it. Claude proves the quote, TypeSafe's Jev scores it, a human decides.
JevPromptCoach 是一款 Claude Code 插件,用于评估您对编码代理所写提示词的质量。它利用 TypeSafe 的 Jev 模型追踪您的提示习惯,旨在提供改进建议,且不会引入额外的延迟。
Val Town demo where 16 typed judgments update live as you type.
A community post explaining Jev as an AI for decision-making, faster and cheaper than frontier LLMs.
limpet 提供了一个停止钩子,旨在防止编码代理过早终止任务。它利用由 Jev 判断的自然语言规则来维持流程的连续性。

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorJev-AV 是一款安全工具,通过提取可执行文件、脚本和文档的熵值、哈希等结构特征进行分析。它利用 Jev 来实时评估这些文件是否存在恶意行为。
该工具通过集成 OpenAI Realtime、原生辅助功能和 Jev,为 macOS 提供全双工语音控制。它展示了一种通过实时语音处理实现免提系统交互的方法。
Curated catalog of System One / Decision Models — contributions for modelsystem.one.
An experimental Snake environment where the game engine owns deterministic rules and TypeSafe AI's Jev makes the movement decision from structured state on every tick.
该项目展示了一个具有成本意识的 LLM 路由器,旨在选择能够处理查询的最经济模型。它利用 Jev 进行快速分类,旨在通过避免不必要的 LLM 调用来降低运营成本。
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 sponsorTypeScript CLI that finds code, docs, logs, and text by natural-language conditions using Jev Noul judgments, with probability thresholds, source lines, and cached results.
该终端界面集成了 OpenAI 和 TypeSafe Jev 以提供答案。它展示了一个生成透明决策报告的工作流程,使用户能够审查系统所提供每个输出背后的推理过程。
该工具将 WordPress 与 Jev System One 模型连接起来。它支持在 WordPress 环境中生成结构化的决策输出,包括选择、评分和空值,从而实现自动化的内容逻辑处理。
blink 是一个利用 Jev 技术实现代码库搜索的工具。它展示了开发人员如何将语义搜索功能集成到本地开发工作流中,从而提升代码导航的效率。
Curated Jev resources and runnable examples for typed AI decisions.
该项目演示了如何将 TypeSafe Jev 集成为 pi 编码代理的决策层。它探讨了如何将结构化的静默推理应用于 pi 代理框架中,以实现软件开发任务的自动化。
s1-rs 为 Rust 提供了一个类型化的系统一(System One)层,专注于选择、评分和 Noul 机制。该库展示了一种架构方法,通过结构化的类型安全抽象,将直观的决策模式集成到 Rust 应用程序中。
这份 TypeSafe AI 官方指南演示了从预解析输入中提取结构化数据的技术。它为开发人员提供了标准化方法,以提高在 TypeSafe 工作流中处理复杂信息时的可靠性。
Browser game: try to beat Jev at spotting a spam message.
该项目展示了使用 TypeSafe AI System One 进行的国际象棋引擎集成。它提供了走法评估、游戏分类以及用于交互式对局的个性化对手功能。
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsor此 MCP 服务器将 TypeSafe Jev 功能集成到代理工作流中。它为数据分类、评分和筛选提供了结构化方法,旨在为系统生成的每个自动化响应提供可验证的置信度水平。