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.
该 Node.js 库利用 TypeSafe AI Jev 来检测亵渎和有毒语言。它旨在识别包括火星文和字符间距在内的混淆文本,并支持印地语、孟加拉语和泰卢固语等多种印度语言。
该实验展示了通过 WebAssembly 作为 MCP 服务器运行的 StarCraft Brood War。它演示了一个人工智能代理尝试进行游戏的过程,但创建者指出该代理最终被异虫快攻击败。
该存储库提供了一个用于处理决策模型的 Ruby 客户端库,专门针对 Typesafe Jev。它为开发人员提供了一种将结构化决策逻辑直接集成到 Ruby 应用程序中的实用工具。
该项目提供了一个交互式 TypeScript 命令行工具,利用 Jev 进行类型化路由和决策。它展示了如何使用经过验证的形式树来构建和执行基于代码的代理工作流。

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsorJevNoiseGate filters unwanted notifications and SMS on Android. Rather than matching keywords, an LLM decides what's noise — and only what it explicitly flags is blocked. Verification codes are matched on-device and never uploaded; anything uncertain passes through.
An optimized inference engine to turn LLMs into Jev-like machines: optimized for quick, lightweight, and accurate decision-making, classification, and scoring.
Small game that tests how Jev handles unknown input.
这款基于浏览器的工具通过提供模板驱动的界面,简化了 TypeSafe Jev 的请求创建过程。用户无需 JSON 知识或安装软件,即可在本地填写必要字段,从而优化了请求生成的工作流程。
A browser-native Doom agent experiment with structured spatial state, composable AI controls, live decision telemetry, and a Chocolate Doom WebAssembly runtime.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsorA console project where Jev dynamically selects the design system at runtime for tools and apps.
Browser Use Olympics by Almond: one prompt, five events, one clock. Plus fast loop, a ~200-line browser computer-use agent (Chrome DevTools + TypeSafe Jev).
Minimal agent loop where Jev directs control flow and a LangChain chat model writes argument values and the final response.
该资源记录了私有微调分类器与标准模型之间的匹配精度比较。它为评估分类输出与自定义基准相比的准确性提供了决策方面的见解。
Unofficial TypeSafe Jev showcase — System One decisions, not chat.

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 GitHub project implements a web search tool where Jev selects sources for plain-language queries.
TypeSafe Jev playground — custom Choice/Score/Noul builder with live distributions.
jev-align 提供了一个用于验证 LLM 响应和代理计划对齐情况的框架。该资源演示了如何利用 Jev 根据定义的安全性或操作约束来校准和验证模型输出。
Parallel web search for terminals and agents, with local Chromium and Jev-guided exploration.
Local Telegram channel JSON analyzer for intent, quality, sentiment, and speaker tone.

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此 Codex 插件实现了会话压缩期间的 Jev 指导上下文恢复。它将现有逻辑适配到 Codex 生命周期钩子中,旨在系统执行自动内存或会话管理任务时,保持开发状态的一致性。
该项目演示了一种预测 Jev 技能下一次闭合决策的方法。它利用 TypeSafe Jev 在无需运行目标技能的情况下,通过静态分析实现预测功能。
该项目展示了如何应用 Typesafe AI Jev 模型来自动化 Chrome 恐龙游戏。它为在浏览器游戏环境中集成 AI 代理提供了一个实用的实验案例。
本 TypeSafe 参考指南探讨了 AI 模型中 nouls 的自洽性。它提供了关于在自动化工作流中处理这些特定数据类型时,如何保持逻辑连贯性和结构完整性的技术文档。
该存储库提供了一个可复现的基准测试,对比了 Jev 和 Claude Haiku 4.5 在 2,000 封钓鱼邮件上的表现。它通过评估准确性、校准、延迟和成本等指标,来衡量模型在检测恶意通信方面的效能。
该资源介绍了 Vercel AI SDK 的 typesafe-ai 提供程序。它演示了如何使用 experimental_evaluate 函数,并将 jev-latest 作为评估模型,以便在开发环境中对 AI 输出进行测试和验证。
TypeSafe structured-output provider for RubyLLM 2.
此 Pi 编码代理扩展实现了针对工具交互的 TypeSafe Jev 验证。它提供包括提示注入检测、敏感信息清理和任务固定在内的自动化安全检查,旨在提高代理工作流的可靠性。
该项目利用日本邮政 KEN_ALL 数据集评估 Jev 在地址模糊匹配方面的性能。它展示了通过 AI SDK 集成的 Jev 在处理地址标准化和验证任务时的实际应用效果。
该工具展示了在 omp 环境中进行 Jev 评分上下文缩减的方法。它通过 TypeSafe 或 OpenRouter 平台管理数据流,旨在优化 AI 代理的上下文使用效率。

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsor该项目展示了如何集成 Jev 来管理赛车游戏界面中的驾驶决策。它强调了一种在模拟游戏环境中使用自主逻辑进行实时控制输入的实验性方法。
该工具展示了使用 Jev 实现的五子棋程序。它通过局部战术分析将 225 种可能的走法缩减至约 40 个候选方案,随后系统会在分层选项中选择最优落子点。
该存储库包含从支持路由到 3D 驾驶模拟的交互式实验。它展示了如何处理结构化传感器数据,以生成转向、制动和超车等类型安全的驾驶决策。
此 GitHub 工具通过要求在合并拉取请求前获得 Jev 的批准来自动化开发工作流。它展示了一种利用 Jev 验证机制来执行代码审查门控的方法,以确保仓库符合标准。
这份 TypeSafe 官方文档定义了代理技能的概念。它解释了如何构建模块化功能,以使自主代理能够在 TypeSafe AI 框架内有效地执行特定任务。

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 和零同步架构来提取并同步大型存储库。它旨在通过自动化数据处理,帮助开发人员简化问题分类流程。
该开发者项目展示了一种用于 Jev 的过滤机制,可在模型处理前对工具结果进行筛选。旨在通过优化数据输入来提高代理系统的运行效率。
该工具充当拉取请求的“魔法8号球”,提供二十种经典短语之一。开发者声称该代理能在约200毫秒内根据拉取请求的实际信号选择回答。
该项目展示了一个用于《魔兽世界》的引导式代理。开发者声称该系统旨在随着代理运行时间的延长,优化并降低游戏内的开销。
该工作台将 MuJoCo 机器人仿真与 MiniCPM5-2B 和 Jev 模型 API 相结合。它展示了一个用于在物理环境中测试具身决策智能体的框架,有助于研究模型如何与模拟的物理硬件进行交互。

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorIf you're experimenting with jev it will be easier from here.
本文探讨了 Jev 的概念性用途,这是一种旨在不生成文本的情况下运行的语言模型。文章分析了非生成式架构如何在人工智能工作流程中发挥作用,以及其对专业数据处理任务的潜在影响。
Boring Tools Kit 的这项研究探讨了 SEO 审计的定价。它展示了如何利用 Jev 分诊系统,通过校准概率对技术修复和内容缺口进行优先级排序,从而提升搜索表现。
该项目展示了一个在 ViZDoom 环境中运行的 Jev 智能体。它利用双决策通道,分别以 5 Hz 的频率进行导航和以 12 Hz 的频率进行战斗,并在测试运行中取得了 18 次击杀。
该工具为 Pi 代理提供了一个管理层,以确保它们完成分配的任务。它监控活动进程,并自动重启在工作完成前提前终止的代理。

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsor该项目为使用 TypeSafe 的 Jev System One 模型的 LLM 网关提供了防护机制和模型路由器。它演示了如何利用标准 Python 库来实现针对准确性、校准和延迟的独立评估指标。
该项目展示了一种混合编码架构,其中深思熟虑的系统 2 处理复杂逻辑,而基于 Jev 的系统 1 管理快速的反射式执行。它探讨了软件开发中高级推理与即时自动化响应之间的平衡。
该存储库评估了 TypeSafe System One 的原语,包括 Choice、Score 和 Noul。它展示了在特定决策任务中,类型化预言机结构如何比标准大语言模型调用提供更可靠的输出。
Jackalope 是一款用于代理式编码的桌面 GUI,可在本地代理之间协调任务。它利用 Jev 为每个任务选择最佳代理,并提供基础代码审查功能和项目上下文支持。
Not every coding task needs your best model. Experimental Jev-powered model routing for Claude Code — V3 prototype runs today, V4 routes at the task boundary.
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 sponsorLegalForecast-MTD benchmark alpha and official evaluation workflows.
此演示展示了 Jev 与 OpenCode 浏览器 CLI 的集成。它说明了自动化代理如何执行网页导航任务,并突显了通过这种技术实现来简化基于浏览器的工作流程的潜力。
该存储库提供了一个包含 110 多个 AI 用例、游戏和逻辑挑战的社区驱动型实验场。它具备移动端友好的界面,允许用户编辑提示词并对不同模型的输出结果进行 A/B 对比测试。
Unofficial go SDK for typesafe AI, with typed answers, retries, and context support.
此官方 TypeSafe AI 资源提供了 Noul 的基础参考。它作为理解 TypeSafe 生态系统中该特定原语的核心概念和实现细节的主要指南。
该项目展示了使用 Jev 模型进行网页浏览器自动化的实现。它为代理与网页界面交互提供了一个框架,演示了如何应用 Jev 在浏览器环境中进行导航并执行任务。
Jev (TypeSafe System One) backed auto mode for the Pi coding agent: semantically auto-approves bash, write, and edit tool calls and fails closed when a decision cannot be made.
Open auto mode for AI agents — a calibrated tool-call firewall powered by TypeSafe Jev. Ships as a Claude Code hook.
Prompt-injection and dangerous-action guard for coding agents (Claude Code, Codex, pi, ACP), powered by Jev.
Reusable GitHub Action: agent fix loop gated by checks, an AI reviewer, and TypeSafe Jev.

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsorCharts: TypeSafe Jev evaluated on Thai standardized exams vs 110 other models.
Short practical intro with a Python ticket-triage example.
此官方资源提供了 TypeSafe AI 的参考演示合集。它作为一个中心索引,旨在帮助用户探索该平台核心功能和架构模式的实际实现方式以及经过验证的示例。
此 Chrome 扩展程序将 Jev 集成到 X.com 中,允许用户在浏览时分析帖子。该工具展示了 Jev 在社交媒体平台上进行实时内容评估的实际应用案例。
Autonomous Jev pull-request review with typed decisions, calibrated approval gates, and trusted-owner escalation.

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 Jev 通过类型化、概率性和可审计的流程来管理决策。它通过兼容 OpenAI 的 API 集成各种大语言模型,以处理游戏环境中的高级规划。
3D chess powered by TypeSafe AI (Jev). AI vs AI by default, or play either side. Multiple difficulty levels.
该工具利用 Jev 来评估创业构想。用户提交商业创意后,系统会根据分析结果提供反馈,建议是放弃、修改还是发布该项目。
pi-jev 是一套利用 Jev 增强 Pi 交互的扩展工具。它演示了选择性上下文压缩和模型路由技术,旨在帮助管理信息流并优化代理环境中的处理效率。

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsor此 Chrome 扩展程序利用 TypeSafe Jev 来识别并拦截原生广告、赞助内容和视频广告。该项目通过对浏览器信息流应用语义分析,展示了一种注重隐私的内容过滤方法。
该存储库提供了一个用于评估 Jev 模型安全性的框架。它展示了针对提示词注入和漏洞代码检测的测试方法,并利用 jev-go 库对 System One 模型进行盲测基准评估。
该实验展示了使用冻结的 Qwen3-4B 模型实现的 Jev 风格类型化决策接口。它演示了如何直接读取选项字母的 logits,而不是依赖传统的 JSON 生成来进行决策。
该资源介绍了 TypeSafe Jev 系统,这是一种新型的决策专用模型。它为开发者提供了关于 API、评估框架、适配器实现以及技能集成的技术综述,帮助用户更好地理解和应用这些专用架构。