首页 / 全部项目

全部项目

搜索并筛选列表中的每一个项目。本地搜索找出候选,Jev 对前 30 个重新排序。

/ 搜索
由 Jev 重排276 个中的 276 个

由 Jev 重排

本地搜索找出候选,再用一次 Jev 调用,按每条简介回答你问题的程度重排前 30 条。

关于

typesafe-sdk-js

TypeScript 与 JavaScript 客户端,答案类型由你的问题推断得出。

★ 170TypeScript库或 SDK
SDK 与客户端库输出校验

typesafe-sdk-python

Python 客户端,同步与异步。

★ 135Python库或 SDK
SDK 与客户端库

system-one-adapter-python

以 LLM API 为后端的同款 `TypeSafeClient` 接口,可在相同问题上把 Jev 和聊天模型做对比。

★ 184Python库或 SDK
基准与评测SDK 与客户端库

skills

用于设计问题、构建工作流并做评估的智能体技能。

★ 873钩子或插件
输出校验分类与抽取

Agent skill

如何在 Claude Code、Cursor 等工具中安装官方技能。

钩子或插件

Vercel AI SDK provider

`@ai-sdk/typesafe-ai` 通过 `experimental_evaluate` 暴露 Jev。

库或 SDK
输出校验基准与评测

eve

Vercel 的智能体框架;Jev 在其 evaluate 步骤中充当带类型的评判。

★ 5,278TypeScript库或 SDK
输出校验试玩与演示

ai-cli

终端里的 Vercel AI SDK,其 evaluate 路径跑在 Jev 上。

★ 807TypeScript命令行工具
输出校验基准与评测

fast-jev-compaction

用 Jev 的判定替代上下文压缩的摘要:一次请求为每个工具调用及其结果打分,丢弃过时项,保留的一律原样留存。

★ 4,570TypeScript钩子或插件
上下文压缩SDK 与客户端库

jev-router

把每个任务路由到能胜任的最便宜的 Claude 模型。

★ 231JavaScript命令行工具
模型路由命令行工具

winnow

在每个工具结果进入上下文前先做评判,让窗口填得更慢,而不是事后清理。

★ 28Python钩子或插件
上下文压缩工具调用把关

yoshi

面向 Claude Code 和 Codex 的上下文裁剪代理,节省量是实测而非宣称。

★ 18TypeScript代理或服务
上下文压缩试玩与演示

skillranker

Rust CLI 与钩子,利用实时会话上下文为下一步排序已安装的技能,并支持弃权。

★ 78Rust命令行工具
试玩与演示命令行工具

jcm-router

本地代理,逐条消息选择模型与思考强度,不触碰已缓存的主对话。

★ 2TypeScript代理或服务
模型路由试玩与演示

jev-skillful

按提示词在技能、MCP 服务器、智能体和命令之间路由,并测量注入是否真的有帮助。

★ 1TypeScript钩子或插件
上下文压缩基准与评测

limpet

一个 Stop 钩子,依据自然语言规则评判,阻止智能体过早停止。

★ 1Python钩子或插件
工具调用把关

jevwire

MCP 服务器、可嵌入的决策模型,外加一个只升级不放松的插件,能让载体更严格但绝不更宽松。

★ 10TypeScriptMCP 服务器
工具调用把关MCP 与智能体集成

jev-code

命令行工具包,编码智能体把重判断的活交给它,每个请求对应一条带类型的 Jev 工作流。

★ 83TypeScript命令行工具
代码评审输出校验

vexjoy-agent

智能体工具包,其 `/d` 命令用一次 Jev 调用选定专家智能体、技能和流水线,另有可选的 Jev 自动压缩插件。

★ 421Python钩子或插件
工具调用把关模型路由

save-token-jev

上下文压缩时询问 Jev 哪些工具调用仍然重要,其余原样保留,并带有 Claude Code、Codex、OpenCode 和原始 API 记录的适配器。

★ 56TypeScript钩子或插件
上下文压缩SDK 与客户端库

jev-pruner

在命令执行后、模型看到前用 Jev 裁剪冗长的 Bash 输出;短输出、报错和结构化格式原样放行。

★ 119TypeScript钩子或插件
上下文压缩

jev-rules

针对每个提示词为你的常驻规则打分,每个会话只投送一次真正适用的那些。

★ 39JavaScript钩子或插件
上下文压缩试玩与演示

jev-belay

Stop 钩子,拦截未经验证的“完成”:读取记录寻找证据,仅当文件有改动且此后没有通过的检查时,才花一次四问的 Jev 调用;所有错误路径均失败放行。

★ 12JavaScript钩子或插件
输出校验工具调用把关

jev-use

把 Claude Code、Codex 和 pi 中无需文本输出的步骤交给 Jev 处理,并为所有它不该决定的事项提供类型化的升级契约。

★ 9JavaScript钩子或插件
上下文压缩工具调用把关

jev-codex-router

为每个 Codex 回合选择模型、思考深度和速度模式。

★ 76Python钩子或插件已归档
模型路由试玩与演示

pi-jev by y0usaf

一个经过实测的工具调用门禁,外加一个在 Pi 内给出带类型答案的 `jev_ask` 工具。

★ 101TypeScript钩子或插件
工具调用把关输出校验

pi-warden

引导而非打断的护栏:不可逆调用、偏离任务的调用、卡住的循环、未经验证的完成声明,每次约 250 毫秒。

★ 99TypeScript钩子或插件
工具调用把关输出校验

pi-jev-auto-mode

在语义层面自动批准 bash、write 和 edit 调用,无法判定时失败拦截。

★ 17TypeScript钩子或插件
工具调用把关输出校验

pi-jev by TheoOliveira

把语义化工具路由和带类型决策作为 Pi 工具提供。

★ 18TypeScript钩子或插件
输出校验试玩与演示

pi-jev-router

通过 Vercel AI Gateway 为 Pi 做自动模型路由。

★ 7JavaScript钩子或插件
试玩与演示模型路由

pi-fast-jev-compaction

把原样保留的上下文压缩思路移植到 Pi。

★ 5TypeScript钩子或插件
上下文压缩试玩与演示

bicameral

面向 Pi 的混合载体:由 LLM 写代码,Jev 反射对每次调用做放行、确认、阻断、警告或引导的门禁。

★ 4TypeScript钩子或插件
工具调用把关输出校验

pi-quiet-ask

把 Jev 作为 Pi 编码智能体安静的决策层。

★ 8TypeScript钩子或插件
工具调用把关输出校验

pi-typesafe-jev

Pi 扩展,把 Jev 的判断暴露为五个 Pi 工具。

★ 0TypeScript钩子或插件
输出校验工具调用把关

pi-typesafe

批量评估工具、终端演练场,以及给 Pi 扩展作者的带类型 API。

★ 19TypeScript钩子或插件
试玩与演示输出校验

pi-heed

把每次有副作用的工具调用对照你在会话前面说过的话做检查,这样“只做复核”在上下文压缩后依然成立。

★ 3TypeScript钩子或插件
工具调用把关上下文压缩

pi-jev-sentinel

用 Jev 检查 Pi 的工具调用、工具输出和回复中的风险操作与提示注入,带用户审批、上下文复检、密钥擦除和可选的任务锁定。

★ 7TypeScript钩子或插件
工具调用把关输出校验

pi-mcp-adapter

对 MCP 工具结果做可选的带类型评估和语义搜索,受按服务器配置的数据外发白名单约束。

★ 1,499TypeScript钩子或插件
上下文压缩工具调用把关

typesafe-skill-router

在模型调用前指出唯一值得加载的那个技能;仅用标准库,每回合约千分之一美元。

★ 8Python钩子或插件
上下文压缩试玩与演示

jev-agent-skill-router

带置信度感知的技能路由,包含弃权路径。

★ 8Python库或 SDK
工具调用把关模型路由

hermes-jev

带类型的决策、排序、验证,以及一个可选启用的工具门禁。

★ 8Python钩子或插件
工具调用把关上下文压缩

ask-jev-skill

让 Hermes 及同类智能体直接向 Jev 提问。

★ 34Python钩子或插件
输出校验工具调用把关

hermes-jev-plugin

四个 Hermes 工具,用于原子检查、路由和量表打分;已收录于 Hermes 插件目录。

★ 3Python钩子或插件
输出校验工具调用把关

hermes-jev-approvals

在被标记的 shell 命令运行前予以批准、拒绝或升级;提速数据为厂商自报。

★ 8Python钩子或插件
工具调用把关

a0-typesafe-ai

给 Agent Zero 的带类型工具和概率卡片。

★ 5Python钩子或插件
输出校验试玩与演示

skillbox

自托管、带版本的技能库,通过 MCP 提供服务,由 Jev 推荐该加载哪个技能。

★ 206TypeScriptMCP 服务器
MCP 与智能体集成试玩与演示

jev-mcp by jkudish

第一个面向 Jev 的 MCP 服务器,至今仍是被链接最多的那个。

★ 133TypeScriptMCP 服务器
MCP 与智能体集成分类与抽取

typesafe-mcp

Go 语言的 MCP 连接器。

★ 124GoMCP 服务器
MCP 与智能体集成工具调用把关

jev-mcp by blakestone-x

分类、打分、检查、匹配和筛查,每个答案都带置信度。

★ 13PythonMCP 服务器
MCP 与智能体集成输出校验

Jevbridge

ACP 与 MCP 适配器,把 Jev 与任意 LLM 配对用于计算机操作和带类型决策。

★ 25TypeScriptMCP 服务器
MCP 与智能体集成工具调用把关

jev-eval-mcp

评估优先的 MCP 服务器:先做出一个问题的原型,再映射到大量条目上,然后用带标注的样例和阈值扫描来衡量各个变体。

★ 1TypeScriptMCP 服务器
基准与评测输出校验

azdaja

面向 Claude Code、Codex、Gemini 和 OpenCode 的递归语言模型层,把完整源文本留在本地评估器中;Jev 是可选的叶子节点,用于重排、验证、分类和语义连接,批次有预算并带检查点。

★ 6Python命令行工具
输出校验分类与抽取

building-with-jev-skill

用于编写和改进调用 Jev 的程序的技能。

★ 120钩子或插件
输出校验SDK 与客户端库

jev-system-architect

找出系统中的模糊判断,把它变成细小的 Choice、Score 和 Noul 原语。

★ 2钩子或插件
分类与抽取输出校验

jev-judgment

把编码智能体的封闭式判断发给 Jev,而不是聊天模型。

★ 3Python钩子或插件
输出校验工具调用把关

skills by fabricioctelles

智能体技能目录,可用 Jev 为主观评估标准打分。

★ 88Python钩子或插件
输出校验基准与评测

Augustus

用于判定带类型的判断究竟该放在哪里、哪些留在代码里的技能;它是官方技能的搭档,不是替代品。

★ 5Python钩子或插件
输出校验模型路由

jev-ultrafast

一次请求同时从索引化的 DOM 表中选出操作和目标元素;小模型只负责写带类型的文本。苏黎世到伦敦的订票用时 7.1 秒。

★ 10,270Python库或 SDK
试玩与演示浏览器与电脑操作

typesafe-computer-use

对屏幕做 OCR,分类下一步动作,点击;在 macOS 上每步约 $0.0002。

★ 564Python命令行工具
浏览器与电脑操作工具调用把关

mobile-jev

同样的循环跑在真实 Android 手机上;演示中 21 秒完成九个 Uber 操作。

★ 254JavaScript命令行工具
试玩与演示移动端自动化

jev-browser by jkudish

第一个社区版 Jev 浏览器智能体,附演示 GIF。

★ 166TypeScript库或 SDK
试玩与演示MCP 与智能体集成

jev-voice-browser

按说出的每个词在约 300 毫秒内判定意图和目标,往往在句子说完之前就完成。

★ 135JavaScript命令行工具
语音与实时试玩与演示

jev-browser by Ying-Kai-Liao

由 LLM 规划,Jev 决策;含库、CLI 和 MCP 服务器。

★ 31JavaScriptMCP 服务器
MCP 与智能体集成工具调用把关

jev-browser by tontoko

一个落地的 Jev 加 Playwright 内核,支撑带类型的 SDK、常驻 CLI 和 MCP 服务器。

★ 2JavaScript库或 SDK
MCP 与智能体集成SDK 与客户端库

jev-mobile

通过 USB 连接的 Android 子智能体,运行观察、归一、决策、变更、验证的流程,由 Jev 做决策。

★ 2PythonMCP 服务器
移动端自动化工具调用把关

jev-ego

浏览器智能体,每一步花一次 Jev 请求来选定动作。

★ 8TypeScript命令行工具
试玩与演示浏览器与电脑操作

jev-browser-use

Codex 技能与插件,Jev 负责导航、点击和滚动,Codex 保留输入和验证;据称浏览器步骤快 5 到 10 倍。

★ 223JavaScript钩子或插件
试玩与演示浏览器与电脑操作

Jev-cu

Codex 的计算机操作,Jev 从屏幕文本中选出元素、动作、完成状态和风险,不发送截图;中文说明。

★ 402JavaScript钩子或插件
工具调用把关浏览器与电脑操作

JevScout

求职技能,通过 CDP 驱动 Chrome,并让 Jev 为每个链接和职位打分。

★ 24Python命令行工具
浏览器与电脑操作试玩与演示

SemIf

在单张 3090 上用开源模型实现语义 if;星标最多的独立复刻实现,前身为 openjev。

★ 2,146Python网页应用
工具调用把关分类与抽取

jevlike

开源的选项打分器,读取候选项的 logits 而不是生成 JSON。

★ 1,030Python库或 SDK
工具调用把关试玩与演示

NanoJev

0.6B 的复刻实现,支持并行决策、动态候选项和端到端训练流水线。

★ 1,195Python库或 SDK
基准与评测试玩与演示

openjev-sglang

基于 SGLang 的 Jev 兼容 API 端点,仅做 prefill。

★ 207Python代理或服务
SDK 与客户端库试玩与演示

jev-visual

面向教学的视觉推理变体,跑在 Apple Silicon 上:共享上下文,直接为候选项打分。

★ 162Python命令行工具
命令行工具SDK 与客户端库

reflex

基于 Qwen3.5 的小型开源决策模型:状态加带类型的问题,输出校准后的概率。

★ 81Python网页应用
开源模型复刻试玩与演示

decider

从 Qwen3.5-2B 微调而来的单遍带类型决策。

★ 106Python库或 SDK
开源模型复刻试玩与演示

jevmlx

在 Apple Silicon 上为任意 MLX 模型提供并行受约束决策,只需一次前向传播。

★ 41Python库或 SDK
分类与抽取试玩与演示

mini-jev

在冻结的 Qwen3-4B 上做的预注册实验:读取选项字母的 logits,跳过 JSON。

★ 26Python数据集或基准
基准与评测分类与抽取

system-one-open

在 Gemma 4 E2B 和 Gemma 3 270M 上用一次前向传播得到带类型的校准决策。

★ 14Python代理或服务
分类与抽取试玩与演示

Verdict-open-jev

基于 ModernBERT 的非自回归决策引擎,带校准的不确定度和浏览器内的 WebGPU 演练场。

★ 32Python库或 SDK
基准与评测分类与抽取

jevfire

通过 vLLM API 为 CUDA 上的 LLM 提供并行决策,附游戏智能体示例和基准测试。

★ 8JavaScript库或 SDK
试玩与演示游戏与仿真

jevbetter

更强的单遍打分器,与 jevlike 的起步设计做了正面基准对比。

★ 12Python库或 SDK
模型路由基准与评测

open-alternative-jev

在 Hugging Face 和 vLLM 上,用任意开源权重模型一次前向传播得到带类型的校准决策。

★ 18Python库或 SDK
开源模型复刻基准与评测

openjev by zhihz

从上下文、问题和候选答案出发的双语本地决策。

★ 18Python命令行工具
输出校验基准与评测

jev-on-a-laptop

在笔记本上用现成的 1.5B 到 8B 模型做 Jev 式决策的研究,附 Hugging Face 演示。

★ 22Python命令行工具
基准与评测试玩与演示

typesafe-ai-benchmark

模仿 TypeSafe 响应结构的 LLM 网关,在等密钥期间可作替身使用。

★ 33TypeScript代理或服务
基准与评测输出校验

openvons

开源决策层,对有限选项集给出概率,并分为执行、确认和拒绝。独立复刻实现,不是 TypeSafe 的权重。

★ 10Python库或 SDK
工具调用把关语音与实时

von

非自回归开源决策模型,本地报告低于 15 ms,可作为 Jev 的直接替代。

★ 62Python库或 SDK
分类与抽取开源模型复刻

litjev

把任意现成 LLM 变成 Jev 式的决策层。

★ 26Python库或 SDK
SDK 与客户端库试玩与演示

open-jev

用 DiffusionGemma 做带类型的 JSON 推理,并与 Jev 做了基准对比。

★ 19Python库或 SDK
基准与评测输出校验

kev

Qwen2.5-0.5B 上的 LoRA 适配器与读出头,一次 prefill 回答多个带类型问题;在 MacBook 上两小时内训完,留出集 ECE 0.065,说 TypeSafe 的传输格式。

★ 711Python库或 SDK
试玩与演示开源模型复刻

simple-jev

从任意 Hugging Face 模型读取下一 token 的 logits,用于选择题、评分量表和支持性问题;公开演示 API 无需密钥。

★ 338Python代理或服务
试玩与演示分类与抽取

OpenJev by razorback16

通过 vLLM 在 DiffusionGemma 26B 上运行的 Jev 兼容决策服务器,支持图像,由 [Codiv](https://codiv.ai) 免费托管。

★ 155Python代理或服务
开源模型复刻SDK 与客户端库

openjev by daseinlabs

在 Gemma 3 4B 上用 MLX 做一次 prefill,并在一次填充过的传播中为所有选项打分;演示中从终端玩 Doom。

★ 63Python代理或服务
试玩与演示基准与评测

jeff by logan-markewich

基于 400M 的 GLiFormer 自托管的 System One API,基准测试直言它在哪些地方落后于 Jev。

★ 140Python代理或服务
SDK 与客户端库开源模型复刻

JevForge

端到端技术栈:可审计的数据构建、Qwen3.5-0.8B 训练、固定的 Mind2Web 与 OOD 评测、本地部署,以及初步的 RLCD 基线。

★ 1Python库或 SDK
基准与评测试玩与演示

PlayJev

在微调过的 Qwen3.5-0.8B 上仅凭画面玩十款浏览器游戏,每步一次前向传播,开放权重并附浏览器演示。

★ 8JavaScript网页应用
试玩与演示基准与评测

jev-review by devagrawal09

分阶段的代码评审工作流,带本地看板。

★ 380TypeScript命令行工具
代码评审输出校验

jev-review by NiazMorshed2007

本地优先的 MCP 插件,供编码智能体做持续质量评审。

★ 177TypeScriptMCP 服务器
MCP 与智能体集成输出校验

foreman

监管一整座智能体软件工厂,由 Jev 做放行与否的判定。

★ 415Python库或 SDK
输出校验试玩与演示

supercov

给编码智能体的代码质量与覆盖率信号。

★ 67Rust命令行工具
输出校验代码评审

diffjury

PR 风险路由器与评审教练。

★ 4TypeScript网页应用
代码评审试玩与演示

clean-code-review

按 Clean Code 规则评判 PR 中的每个文件,再交由 LLM 复核。

★ 6TypeScript网页应用
代码评审试玩与演示

JevLint

可配置的语义 lint,采用文件级的 Noul 判断。

★ 10TypeScript命令行工具
输出校验代码评审

commit-miner

对提交 diff 和提交信息做分类:缺陷修复、带 CWE 的安全修复、变更类型。

★ 26Rust命令行工具
代码评审试玩与演示

jev-review-action

用 Jev 做提交内容评审和 PR 分类的 GitHub Action,链路中没有文本生成模型。

★ 1JavaScript钩子或插件
代码评审试玩与演示

jev-triage

拉取大型仓库,用带类型的 Jev 问题为其 issue 做分诊。

★ 1TypeScript网页应用
输出校验试玩与演示

perch

语义 lint:规则用自然语言写,每个文件交由 Jev 评判,可本地或在 CI 中运行。

★ 162JavaScript命令行工具
代码评审试玩与演示

jeff by Alurith

只读的 Go CLI,按编码规则检查文件,例如隐藏的副作用和薄弱的错误处理。

★ 31Go命令行工具
代码评审试玩与演示

jev-pref

把你 AGENTS.md 里的偏好变成一个 linter,在代码变更时运行并把结果回报给智能体。

★ 4JavaScript命令行工具
代码评审输出校验

jev-commit

提交前钩子:一次 Jev 调用判断提交信息是否与暂存的 diff 相符,另查调试残留、未提及的改动和凭据带;一律只告警,唯有发现密钥时才阻断。

★ 5Python钩子或插件
输出校验试玩与演示

tiershift

把每次 LLM 调用转到能胜任的最便宜模型,策略写在 YAML 里,决策约 180 毫秒。

★ 2TypeScript代理或服务
模型路由试玩与演示

jev-router by prismhq

构建在 LiteLLM 之上的 LLM 路由器。

★ 3Python代理或服务
模型路由SDK 与客户端库

agent-router

为一个任务选定 Cursor、Claude Code、Codex 或 OpenCode,连同模型和思考强度,然后启动它。

★ 50TypeScript命令行工具
模型路由命令行工具

Janus

在你自己的数据上测量 Jev 何时胜过其他模型,再据此路由。

★ 2Python命令行工具
基准与评测模型路由

hono-jev-router

在 Hono 中按语义路由 HTTP 请求。

★ 40TypeScript库或 SDK
试玩与演示

JevRouter

把模型、子智能体、技能、MCP 工具和 CLI 统一为一个候选集;Jev 挑选,路由器负责权限和风险的执行;据报在 Toolathlon 上前五次工具调用命中率 44%,DeepSeek 为 24%。

★ 98TypeScript代理或服务
工具调用把关模型路由

jev-gateway

面向 Codex 和 Claude Code 的本地网关,把“下一步用哪个工具”的决策交给 Jev,其余都交给你平常的模型。

★ 61TypeScript代理或服务
工具调用把关试玩与演示

jev-search

网页搜索的来源选择、查询理解和相关性排序。

★ 264TypeScript网页应用
搜索重排试玩与演示

blink

代码库搜索,由 Jev 为候选项打分。

★ 25TypeScript命令行工具
试玩与演示命令行工具

reranker

把 Jev 当作校准过的重排器:一次调用,最多 30 篇文档,每篇给出一个概率。

★ 6Python库或 SDK
搜索重排基准与评测

llama-index-jev

LlamaIndex 的重排器与路由器,比 LLM 评判更便宜。

★ 3Python库或 SDK
搜索重排模型路由

jev-tree

在分类体系上做递归选择,突破 255 个选项的上限。

★ 2TypeScript库或 SDK
SDK 与客户端库

jev-folio-recursive-classifier

用递归的 Jev Choice、束搜索、按置信度停在叶节点以及上下文长度基准测试,把 OCR 后的法律协议按 FOLIO 文档类型本体分类。

★ 0Python命令行工具
分类与抽取基准与评测

neo4jev

通过对相邻关系做分类来遍历 Neo4j 图。

★ 43Jupyter Notebook其他
试玩与演示

jev-sift

MCP 工具,批量为文件、URL 或片段的相关性打分,让智能体只打开真正要紧的那些。

★ 46JavaScript钩子或插件
MCP 与智能体集成上下文压缩

jev-scout

Rust CLI 与 MCP 服务器,针对自然语言请求找出真实且有人维护的仓库和 crate,由 Jev 为候选项打分。

★ 1Rust命令行工具
命令行工具MCP 与智能体集成

pg-jev

PostgreSQL 扩展,用自然语言回答关于你的表的问题。

★ 231Shell钩子或插件
数据管道与 SQL试玩与演示

vgi-typesafe

DuckDB worker,把 choice、noul 和 score 暴露为 SQL 中可做 lateral join 的表函数。

★ 2Python钩子或插件
数据管道与 SQL分类与抽取

jevsql

在 SQLite 之上带自然语言谓词的 SQL:按语义过滤、排序和分类行,支持批量并有成本保护。

★ 3JavaScript库或 SDK
输出校验搜索重排

sqlite-jev

通过可加载的 C 扩展和 Python 封装,给 SQLite 加上 Jev 的 Noul、Choice 和 Score 判断,提供标量函数和批量虚表查询。

★ 1C钩子或插件
分类与抽取数据管道与 SQL

jevlogs

在为 LLM 分析付费之前先给 OpenTelemetry 日志的信号量打分。

★ 8TypeScript库或 SDK
SDK 与客户端库模型路由

jev-curate

以每秒 1500 行以上的速度筛选 Parquet 和 JSONL 训练数据。

★ 4Rust命令行工具
输出校验命令行工具

HA-Jev

Home Assistant 集成:问一个关于你家的问题,得到一个概率、选择或分数作为实体。

★ 28Python钩子或插件
试玩与演示语音与实时

jev-for-engineers

来自机械和电气工程的八个小例子:CAD 布线、FEM 分诊、DFM 筛查、BOM 对齐。

★ 2Python其他
试玩与演示分类与抽取

jlink

按一条用自然英语写的匹配规则在两个数据集之间关联记录,可从 Python、shell、Stata 或 R 调用,在 NBER 专利受让人对 Compustat 的任务上报告 F1 0.73,调优过的字符串匹配为 0.69。

★ 1Python库或 SDK
命令行工具输出校验

pg_typesafe

用 Jev 做类别分类的预览版 PostgreSQL 扩展。

★ 79C钩子或插件
数据管道与 SQL试玩与演示

jev-mode

基于带类型判断模型的工单分诊和文件打标;据报 token 减少 78%,准确率 96.1%,基线为 93.7%。

★ 2Python命令行工具
分类与抽取上下文压缩

jev-reviewer

通过语音、文本或问题文件向临床试验报告索取系统综述所需的数据;每个答案都是带出处文件和位置的原文引用。

★ 19JavaScript浏览器扩展
分类与抽取输出校验

tax-doc-classifier

每页一个请求,在 261 种 IRS 表单和七类页面中做选择;在其语料上报告 100% 准确率,每页 $0.001,比它取代的 LLM 流水线便宜 34 倍。

★ 283TypeScript库或 SDK
试玩与演示SDK 与客户端库

jevql

面向 PostgreSQL 的语义 SQL,由 Jev 回答其中的谓词。

★ 7Go命令行工具
试玩与演示数据管道与 SQL

duckdb-jev

DuckDB 扩展,向每一行提一个问题并返回真正的 SQL 类型。

★ 13C++钩子或插件
数据管道与 SQL分类与抽取

invalidate

给每条存下的智能体记忆一个租约,并询问 Jev 新证据是否让它失效;[在线演示](https://invalidate-playground.vercel.app)。

★ 13Python网页应用
试玩与演示输出校验

jev-shield

语义化的 MCP 防火墙,筛查每一次工具调用、结果和描述;据报拦截召回率 94%,每次检查约 $0.00002。

★ 2JavaScript代理或服务
工具调用把关MCP 与智能体集成

jev-guard

面向 Claude Code、Codex、Cursor、Gemini CLI、Pi 和 OpenCode 的自动模式:为每次工具调用打风险分并归为拒绝、询问或放行,同时标记结果中的提示注入。

★ 12JavaScript钩子或插件
工具调用把关内容审核与安全

Jev-Moderation-Bot

带可编辑规则的聊天内容审核。

★ 37Python代理或服务
内容审核与安全分类与抽取

citation-verifier

被引论文是否支持引用它的那句话?由 Claude 找出原文,Jev 打分,人来定夺。

★ 2JavaScript网页应用
输出校验基准与评测

human-compiler

贴入文本,得到诊断信息,像给散文用的编译器。

★ 0TypeScript网页应用
试玩与演示内容审核与安全

snifftest

针对 AI 写作痕迹的散文 linter:可计数的规则加一个判断模型。

★ 23TypeScript钩子或插件
输出校验

riff

给写作用的 Ruff 风格规则编号。

★ 5Python命令行工具

jev-secret-detection

测量 Jev 在文件片段中识别真实凭据的效果,形似配置的难例单独计分。

★ 0Python数据集或基准
基准与评测输出校验

jev-audio-beeper

低延迟音频消音的概念验证:由 Jev 的带类型决策驱动 ffmpeg。

★ 1TypeScript命令行工具
试玩与演示内容审核与安全

is-malicious

在你运行代码库之前扫描其中隐藏的或窃取数据的行为;报告干净并不等于证明安全,它也这么说。

★ 16TypeScript命令行工具
命令行工具代码评审

tripwire

AI SDK 中间件与代理,在用户看到之前对每个 LLM 响应跑七项 Jev 检查;目前还没有准确率数字,它也这么说。

★ 2TypeScript代理或服务
输出校验内容审核与安全

unclutter

浏览器扩展,用可复用的模板规则移除页面杂物。

★ 138TypeScript浏览器扩展
试玩与演示

typesafe-adblock

Chrome 扩展,逐个 DOM 节点询问“这个元素是广告吗?”;是个玩具,它也这么说。

★ 58JavaScript浏览器扩展
试玩与演示

vibecheck

在你按下发布之前给你的 X 帖子做个氛围检查。

★ 42JavaScript浏览器扩展
试玩与演示输出校验

xtags

给你 X 时间线上的每条帖子标注它想让你做什么。

★ 8JavaScript浏览器扩展
试玩与演示分类与抽取

jevibe-check

为 Bluesky 的帖子和草稿实时标注语气。

★ 2JavaScript浏览器扩展
试玩与演示内容审核与安全

jevmeter

给任意视频加上实时仪表:每句话按五个问题打分,渲染成 16:9 的成片,一整场辩论约两美分。

★ 72Python命令行工具
试玩与演示

killmyidea

描述你的创业点子;Jev 告诉你该毙掉、该改,还是该发。

★ 25TypeScript网页应用
试玩与演示

notra

把工作变成内容,由 Jev 决定什么值得发。

★ 192TypeScript网页应用
输出校验

slidepilot

基于 Cloudflare Agents 的 Slidev 语音驱动自动翻页。

★ 4TypeScript钩子或插件
语音与实时试玩与演示

should-ai-kill-us-all

每十分钟拿真实头条向 Jev 问一次这个问题。

★ 2JavaScript网页应用
试玩与演示

Privacy Facts

把隐私政策变成营养成分表式的标签,配以自然语言答案、Jev 的置信度分数和建议的出处条款。

★ 1JavaScript网页应用
试玩与演示分类与抽取

jev-voice-control

菜单栏 Swift 应用,把语音命令转成 Jev 的带类型决策和 macOS 动作。

★ 1Swift其他
浏览器与电脑操作试玩与演示

jev-got

《权力的游戏》角色扮演,由故事模型写每一幕,Jev 回答五个带类型问题,驱动标题、配乐、画面和下一个提示词。

★ 1TypeScript网页应用
试玩与演示输出校验

typesafe-jev

Jev 实验合集,从本地简历筛选工作台开始,每个都有各自的实测结果。

★ 2TypeScript命令行工具
试玩与演示输出校验

super-jev

把证据、Jev 判断、允许的动作和已验证的结果串起来的小型载体。

★ 5Python命令行工具
试玩与演示输出校验

safer-with-jev

面向 Neon AI Gateway 的 Neon Function 代理,前置 Jev 路由。

★ 4TypeScript代理或服务
内容审核与安全输出校验

Sponsor Skip

Chrome 扩展,从字幕或实时音频中找出口播广告并跳过;所有时间戳都由代码掌控,字幕模式下每小时不到一美分。

★ 74JavaScript浏览器扩展
试玩与演示语音与实时

jev-seo

面向 SEO 和 GEO 检查的 Rust CLI 与 MCP 服务器,基于 DuckDuckGo 结果,由 Jev 打分。

★ 13Rust命令行工具
命令行工具MCP 与智能体集成

jev.nvim

Neovim 插件:用自然语言向缓冲区提问,Treesitter 把它切成函数,Jev 为每个函数打分,答案按概率排序落入 quickfix。

★ 2Lua钩子或插件
试玩与演示代码评审

jev-skip

浏览器扩展,读取字幕轨道并在片头结束前把每段的赞助概率画在进度条上,不依赖众包数据库;在 23 个视频上报告捕获了 SponsorBlock 赞助秒数的 77%,每个视频 $0.0008。

★ 3TypeScript浏览器扩展

openpoke-meets-jev

OpenPoke 分支,把邮件筛选、工具调用护栏和搜索重排序移到 Jev 上,附带与被替换的 Sonnet 调用的 A/B 对比,以及对注入门控的对抗测试。

★ 1Python钩子或插件
工具调用把关搜索重排

typesafe-mario

从结构化的模拟器状态出发玩《超级马里奥兄弟》;Jev 直接选择 NES 手柄输入。

★ 291Python命令行工具
试玩与演示基准与评测

jev-drone

MuJoCo 中仅用摄像头的无人机,Jev 以 2.5 Hz 在回路中。

★ 82Python其他
游戏与仿真试玩与演示

tsai-sc

通过键盘和鼠标玩初代《星际争霸》共享版,动作概率全程记录。

★ 18Python命令行工具
基准与评测输出校验

tsai-civ2

浏览器中的《文明 II》,完整对局的载体,动作概率实时显示。

★ 1Python网页应用
试玩与演示基准与评测

heist-one

潜行游戏,Jev 负责守卫的判断,确定性代码掌控世界。

★ 6TypeScript网页应用
试玩与演示学习资料

typesafe-snake

每一帧一次 Choice;合法走法和事实由代码生成。

★ 18TypeScript网页应用
试玩与演示基准与评测

jev-doom-agent

浏览器原生的 Doom 智能体,带结构化空间状态和实时决策遥测。

★ 4TypeScript网页应用
基准与评测试玩与演示

OneVOneJev

用 Three.js 做的 1v1 快速狙击竞技场。

★ 5TypeScript网页应用
试玩与演示游戏与仿真

JevPlaysPokemon

通过 Showdown 和一份真实的 FireRed ROM 玩第三世代宝可梦。

★ 3HTML网页应用
试玩与演示基准与评测

jev-askable-arm

在仿真的 Franka 机械臂上零样本执行英文目标;Jev 把写死的原语串起来。

★ 6Python库或 SDK
试玩与演示游戏与仿真

quackd

面向 LLM 驾驶机器人的命令行,覆盖七种本体,带可选的 Jev 步进器,只在若干调用之间做选择,从不直接写关节角。

★ 217Python命令行工具
工具调用把关试玩与演示

snake-jev

由并行的 Jev 评估操控的贪吃蛇,每帧一次 API 调用。

★ 0Python命令行工具
试玩与演示

JevPilot

Three.js 驾驶模拟器,Jev 每秒最多四次从采样路径中选出转向和速度;[上手开](https://jevpilot.standardagents.ai)。

★ 103JavaScript网页应用
试玩与演示游戏与仿真

live-jev

浏览器里的俯视视角汽车,每 200 ms 发出四个带类型的问题,覆盖逻辑由代码按置信度门禁执行。

★ 10JavaScript网页应用
试玩与演示游戏与仿真

jev-plays-pokemon-red

在 PyBoy 上玩《宝可梦红》:路线和算术由代码掌控,Jev 只在分支处做选择,每个战斗回合都记录一条倒下预测,并用 Brier 分数对照 RAM 的实际值。

★ 3Python命令行工具
试玩与演示输出校验

jev-trader

在 Monad 的每个区块做一次交易决策,标的为 Kuru MON-USDC,每次约 300 ms。

★ 1,408TypeScript网页应用
试玩与演示金融与交易

trade-jev

在 NQ 订单簿数据上回测把 Jev 当作买入、卖出或持有的交易者。

★ 2Python数据集或基准
基准与评测输出校验

Jev-Trades

带回测的加密货币交易机器人。

★ 16Python网页应用
试玩与演示金融与交易

jev-trade

运行在 Hyperliquid 上的实盘 Jev 交易者。

★ 31TypeScript网页应用
试玩与演示金融与交易

jev-benchmarks

面向带类型决策模型的概率感知评估:校准、选择性风险、延迟,可复现。

★ 12Python数据集或基准
基准与评测输出校验

jevcal

别再猜阈值了:对照一个 LLM 教师做校准、定阈值和漂移检查。

★ 8Python命令行工具
基准与评测输出校验

jev-harness

置信度门禁、影子模式、配方和评估;在同一个行过滤任务上报告 Claude CLI 用时 48.9 秒,Jev 用时 1.3 秒。

★ 5TypeScript库或 SDK
输出校验基准与评测

jev-rerank-bench

在 14 个数据集上把 Jev 与 Cohere Rerank、ZeroEntropy 和一个聊天基线作对比,附原始响应。

★ 2Python数据集或基准
基准与评测输出校验

jev-search-rerank-eval

Jev 重排能胜过向量检索吗?9,831 对评分样本,并测量了评判循环性带来的偏差。

★ 4Python数据集或基准
基准与评测搜索重排

jev-sec-bench

针对提示注入和漏洞代码检测的盲测基准。

★ 2Go数据集或基准
基准与评测输出校验

jev-phishing-bench

在 2,000 封钓鱼邮件上把 Jev 与 Claude Haiku 作对比:准确率、校准、延迟、成本。

★ 2Python数据集或基准
基准与评测输出校验

jev-spam-eval

用 Noul 问题做零样本垃圾邮件过滤,对照 TF-IDF 基线。

★ 0Jupyter Notebook数据集或基准
基准与评测试玩与演示

jev-agent-failure-benchmark

在 Who and When 智能体失败归因基准上把 Jev 与一个强力 LLM 作对比。

★ 1Python数据集或基准
基准与评测输出校验

jev-korean-benchmark

韩语理解与医学文本,附运行时间与成本证据。

★ 5Python数据集或基准
基准与评测输出校验

jev-behavior-study

在 jev-1.13.0 上做的受控提示词实验,含原始结果和离线验证。

★ 3Python数据集或基准
试玩与演示基准与评测

jev-report

独立的中文研究报告:52 页,50 项可复现测试,143 行可追溯数据。

★ 0Python数据集或基准
基准与评测输出校验

jev-benchmark

两项基准测试,国际象棋和猛兽辨识,一项在 Jev 的能力区内、一项在区外,都附结果。

★ 2Python数据集或基准
基准与评测试玩与演示

jev-dspy-lab

针对 DSPy 中 Jev 决策的可复现校准与选择性风险基准测试。

★ 0Python数据集或基准
基准与评测输出校验

jev-eval-agent

带 100 个模拟工具的个人助理智能体,测量受 Jev 门禁的智能体需要多少步。

★ 95HTML数据集或基准
基准与评测工具调用把关

jev-synergy-screening

用 Choice 和 Noul 问题做摘要筛查,对照 ASReview SYNERGY 的金标准标注计分。

★ 1Python数据集或基准
基准与评测输出校验

jev-orderby-bench

衡量按 Jev 概率做 ORDER BY 是否站得住脚:成对逆序、Score 与人工评级的序数一致性、校准,以及预注册门禁下的措辞不变性;在 20 Newsgroups 主题上通过,在 Amazon ESCI 商品相关性上六项条件中有四项不通过,并表明通过 DuckDB 扩展做 40 行批量状态会不通过排序门禁,而每请求一行则通过。

★ 0Python数据集或基准
基准与评测输出校验

cultivar

Pinecone 的技能测试 CLI,带 Jev 评分后端,据报比 LLM 评分器便宜约 30 倍。

★ 40Python命令行工具
基准与评测输出校验

jev-eval by 4esv

在三项带标注的任务上把 Jev 与 GPT-5.6 Terra 作对比:简单任务打平,77 路路由低 6.7 分,速度快 5 倍,成本低 41 到 50 倍。

★ 1Python数据集或基准
基准与评测输出校验

jev-benchmark by themsquared

工具调用风险分类,附多次运行的方差;每一个错误答案都伴随着含糊的置信度。

★ 0Python数据集或基准
基准与评测输出校验

jev-research-eval

基于钉住的 jev-ultrafast 提交的可复现载体,含基线套件和压力套件。

★ 2HTML数据集或基准
基准与评测输出校验

jev-playground by hegargarcia

在状态明确、合法动作明确、结果可衡量的游戏中把 Jev 与其他模型作对比。

★ 0TypeScript数据集或基准
基准与评测输出校验

typesafe-playground by TypeSafeAI

110 个用例、游戏和模型挑战,提示词可编辑并支持 A/B 对比;这是社区组织而非厂商,前身在 BunsDev 名下。

★ 14TypeScript网页应用
试玩与演示分类与抽取

typesafe-playground by kavehmz

从客服路由到带可见传感器输入的 3D 驾驶模拟。

★ 10JavaScript网页应用
试玩与演示输出校验

jev-experiments

Nader Dabit 的 Jev 小实验杂货铺。

★ 321TypeScript网页应用
试玩与演示学习资料

TypeSafe Typewriter

十六项带类型判断随你打字实时更新,跑在 Val Town 上。

网页应用

Yes / No

问一个问题,得到是、否或也许,必要时会联网搜索;无需注册。

网页应用
语音与实时

Jev Pac-Man

迷宫表示为 JSON;Jev 在每个路口选择转向。

网页应用
试玩与演示

Jev Tetris

根据空洞数、堆叠高度和凹凸度选定旋转和落点列。

网页应用
游戏与仿真基准与评测

Hollow Creek

村庄 NPC 每一帧都在评判你,而不是和你聊天。

其他
游戏与仿真

Crowdcheck

在发布之前拿 10,000 个合成人格测试你的帖子。

网页应用
输出校验内容审核与安全

Magic-8-Jev

问一个问题,用一次 choice 从二十个答复中选出回答,并显示从点击到答案的延迟;[在线演示](https://willprout.github.io/magic-8-ball/)。

★ 1TypeScript网页应用
试玩与演示

jev-playground by wustep

一个 System One 模型能否仅凭带类型的分类、打分和挑选决策来引导一段音乐创作。

★ 0TypeScript网页应用
试玩与演示基准与评测

typesafe-jev-workflow

LangGraph 演示,把一封模拟邮件发给 Jev,并按它返回的带类型 Choice 做路由。

★ 6Python命令行工具
试玩与演示输出校验

jev-little-airways

拿来展示的 Jev 能力研究。

★ 4HTML网页应用
试玩与演示学习资料

jev-demos

为测试 Jev 擅长什么而做的演示。

★ 0Dart数据集或基准
试玩与演示基准与评测

Jev Classifier

托管演示,按类型、质量、情绪和语气给帖子归档。

网页应用
试玩与演示分类与抽取

Jev Guard demo

托管的评论审核演练场。

网页应用
试玩与演示内容审核与安全

Companion

托管的机器人界面,每回合回答九个带类型问题来决定执行、追问还是摊手,不生成任何文本。

网页应用
试玩与演示游戏与仿真

Jev System One

终端界面,由 OpenAI 作答,Jev 单独为相关性、可靠性和质量打分。

★ 2Python命令行工具
输出校验试玩与演示

jev-web-analyzer

把 SaaS 落地页转成 Markdown,向 Jev 提十个有界的 Choice 问题,判断首次访客能理解什么,并以创始人视角的拆解呈现。

★ 1TypeScript网页应用
试玩与演示

jev-axi

给智能体和人用的 shell 动词:pick、rate、check、rank、triage、guard。

★ 17TypeScript命令行工具
工具调用把关输出校验

semdecide

给 Unix 管道和 CI 用的带类型语义决策。

★ 6Python命令行工具
分类与抽取命令行工具

every

向代码库里的每个函数问一个是非题;把模式换成问题的 grep。

★ 3Python命令行工具
试玩与演示代码评审

typesafe-cli

从 shell 里以数字形式取得 noul、choice 和 score 答案。

★ 4TypeScript命令行工具
基准与评测试玩与演示

jev-shell-history

Fish 风格的 zsh 历史补全建议,由 Jev 排序。

★ 68TypeScript钩子或插件
试玩与演示

jgrep

打印符合一段自然英语描述的行,可在花费上限下从 `tail -f` 流式处理,在 SMS 垃圾短信上报告 F1 0.91,关键词 grep 为 0.72。

★ 12Python命令行工具
试玩与演示内容审核与安全

jev-cli by jtsang4

输入带类型的问题,输出结构化的 JSON 答案。

★ 1TypeScript命令行工具
输出校验基准与评测

jev-cli by tumf

零依赖的 Python CLI,封装 Choice、Score 和 Noul。

★ 6Python命令行工具
MCP 与智能体集成命令行工具

jevctl

npm CLI,密钥存在操作系统钥匙串里;从 shell 获取带类型的判断。

★ 11TypeScript命令行工具
输出校验试玩与演示

jev-go

Go 客户端,返回带类型的判断和概率。

★ 3Go库或 SDK
SDK 与客户端库试玩与演示

typesafe-go

符合 Go 习惯的 TypeSafe API SDK。

★ 1Go库或 SDK
SDK 与客户端库模型路由

typesafe-ai

Rust 客户端,提供异步和阻塞两种后端以及可观测的重试。

★ 10Rust库或 SDK
SDK 与客户端库分类与抽取

typesafe-ai-rs

独立的异步与阻塞 Rust SDK。

★ 3Rust库或 SDK
SDK 与客户端库输出校验

jev

为 OTP 打造的 Elixir 客户端:从 GenServer 回应 Jev 并对答案做模式匹配。

★ 17Elixir库或 SDK
SDK 与客户端库试玩与演示

typesafe-sdk

Ruby 客户端。

★ 4Ruby库或 SDK
SDK 与客户端库输出校验

ruby_llm-typesafe

把 TypeSafe 作为 RubyLLM 2 的结构化输出提供方。

★ 16Ruby库或 SDK
SDK 与客户端库输出校验

laravel-typesafe-jev

Laravel 集成,带类型响应、异步请求和测试替身。

★ 2PHP库或 SDK
SDK 与客户端库基准与评测

typesafe-sdk-java

Java 客户端。

★ 2Java库或 SDK
SDK 与客户端库试玩与演示

typesafe-sdk-swift

Swift 客户端。

★ 4Swift库或 SDK
SDK 与客户端库移动端自动化

TypeSafeAI.Net

.NET SDK。

★ 2C#库或 SDK
SDK 与客户端库输出校验

zio-typesafe-ai

基于 ZIO 的 Scala 客户端。

★ 3Scala库或 SDK
SDK 与客户端库试玩与演示

jev-dsl

Haskell DSL,带类型的数据包和推断出的答案类型。

★ 6Haskell库或 SDK
输出校验基准与评测

advocaat

小巧的 TypeScript 客户端,用来对你自己的数据提问。

★ 85TypeScript库或 SDK
SDK 与客户端库分类与抽取

jod

Jev 之上的 Zod 风格 schema:先在本地校验状态,再投影出带类型的答案。

★ 3TypeScript库或 SDK
SDK 与客户端库分类与抽取

n8n-nodes-typesafe-ai

n8n 社区节点,支持是非题、选择题和打分题。

★ 0TypeScript钩子或插件
工具调用把关试玩与演示

jevclient

异步 Python 客户端,输出概率和选择,没有散文需要解析。

★ 2Python库或 SDK
SDK 与客户端库试玩与演示

s1-rs

把 Rust 的 enum 和 struct 变成 Choice、Score 和 Noul 问题,答案在编译期受检并按置信度设门禁。

★ 0Rust库或 SDK
输出校验工具调用把关

typesafe-rs

延迟优先的 Rust 客户端,已发布到 crates.io。

★ 0Rust库或 SDK
SDK 与客户端库基准与评测

kunobi-jev

面向 System One API 的 Rust 客户端。

★ 0Rust库或 SDK
SDK 与客户端库试玩与演示

jev-go by Stumble

Jev 的 Go 客户端。

★ 3Go库或 SDK
SDK 与客户端库模型路由

typesafe-ai-rails

构建在社区 Ruby gem 之上的 Rails 集成。

★ 2Ruby库或 SDK
输出校验分类与抽取

typesafe_sdk by nshkrdotcom

TypeScript AI SDK 的 Elixir 移植版,带一个 TypeSafe 提供方。

★ 3Elixir库或 SDK
分类与抽取SDK 与客户端库

ruby_decision_model

面向决策模型的 Ruby 客户端,把 OpenRouter 和 TypeSafe 提供方收在同一个接口后面,仅用标准库。

★ 46Ruby库或 SDK
SDK 与客户端库试玩与演示

zod-jev

带语义规则的 Zod 4 schema:结构校验留在 Zod,语义校验一次请求发给 Jev,再以 Zod issue 的形式返回。

★ 7TypeScript库或 SDK
内容审核与安全SDK 与客户端库

typesafeai-dotnet-sdk

社区版 .NET SDK,支持带类型的 Noul、Choice 和 Score 问题。

★ 5C#库或 SDK
分类与抽取SDK 与客户端库

swift-typesafe

Swift 6.4 SDK,沿用 Python SDK 的 API,支持 Apple 平台和 Linux。

★ 9Swift库或 SDK
SDK 与客户端库分类与抽取

typesafe-sdk-php

PHP 客户端,支持同步调用、Guzzle promise 和 PSR-3 日志。

★ 1PHP库或 SDK
分类与抽取SDK 与客户端库