关于 WORKS Public Verifier
WORKS Public Verifier 面向需要核验公开 GitHub 仓库固定提交的 Agent,按静态合约检查并返回签名回执。它只接受精确的 40 位小写提交 SHA,不执行仓库命令。
主要功能
- 01核验固定 GitHub 提交
- 02按静态合约执行检查
- 03返回签名回执
- 04仅支持 node-package 和 env-safety
- 05提供 Codex 与 Claude 插件
适用场景
- 01检查公开仓库提交是否符合静态合约
- 02为核验结果生成可留存回执
- 03在 Codex 或 Claude 中使用验证流程
MCP 相关
官方 MCP Registry 元数据指向专用的三工具端点;插件路径也提供 MCP 端点。服务针对公开 GitHub 固定提交进行只读静态核验,不执行仓库命令。
配置
远程服务无需本地安装。选择你使用的客户端,复制配置或使用一键安装。
https://works-runner.vercel.app/mcp-registryclaude mcp add --transport http dyzcode-works-public https://works-runner.vercel.app/mcp-registry{"mcpServers":{"dyzcode-works-public":{"type":"http","url":"https://works-runner.vercel.app/mcp-registry"}}}在 Cursor 中打开{"servers":{"dyzcode-works-public":{"type":"http","url":"https://works-runner.vercel.app/mcp-registry"}}}在 VS Code 中打开{"mcpServers":{"dyzcode-works-public":{"type":"http","url":"https://works-runner.vercel.app/mcp-registry"}}}{"mcpServers":{"dyzcode-works-public":{"serverUrl":"https://works-runner.vercel.app/mcp-registry"}}}命令在终端中运行;JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。
工具
3| 参数 | 类型 | 必填 | 说明 |
|---|---|---|---|
| claim | enum | 是 | 对通用签名或静态仓库证据使用 static-evidence;它会保守地映射到 node-package。绝不可将其用于构建、测试、运行时、部署或生产环境声明。node-package | env-safety | static-evidence | build | tests | runtime | deployment | production-readiness | other |
| reference | string | 否 | 严格使用提供的引用;绝不要展开分支、标签或短 SHA。 |
| source_kind | enum | 是 | 对所请求源代码所在位置进行分类。public-github | private-github | local | other |
| repository_url | string | 否 | 用户提供的准确仓库 URL(如有)。 |
| repository_visibility | enum | 是 | 仅当请求明确指出某个公共仓库时,才使用 public。public | private | unknown |
详细介绍
WORKS Public Verifier
WORKS 会独立检查不可变的公开 GitHub 提交,将其与固定的静态契约进行比对,并返回签名回执。试点版本绝不会执行仓库命令,且仅支持精确的 40 个字符小写提交 SHA。
一键安装
无需提供 Vercel 凭据,即可在所有检测到的受支持 Agent 中安装:
npx github:DYZCODE/works-plugins
使用 --client codex 或 --client claude 仅选择一个宿主。安装程序运行完毕后,重启宿主。
安装成功后,安装程序会发送一条不含请求正文的汇总安装信号。该信号不包含安装 ID、账户、仓库、有效负载或 Cookie,可使用 --no-signal 禁用。
在 Codex 中安装
将此仓库添加为市场:
codex plugin marketplace add DYZCODE/works-plugins --ref v0.1.13
重启 ChatGPT 桌面应用,打开 Plugins,选择 WORKS Plugins,然后安装 WORKS Public Verifier。
在 Claude Code 中安装
将同一仓库添加为市场并安装插件:
claude plugin marketplace add DYZCODE/[email protected]
claude plugin install works-public@works-plugins
MCP Registry
官方 MCP Registry 元数据指向一个专用的三工具端点。其冻结版 Codex 门控测试通过,20 次符合条件的验证全部成功;20 次不符合条件的对照测试中零次验证成功,符合条件的响应保真度为 100%,且没有最终宿主错误。不符合条件的对照测试中,最终耗时中位数为 34.8955 秒,最大值为 67.353 秒。一次对照测试通过唯一一次获准重试恢复成功。
Registry 目前处于预览阶段。Codex 和 Claude 插件安装方式仍然可用,受支持的宿主也可通过此方式安装严格筛选与拒答技能。
v0.1.6 Registry 发布尝试在发布前被拒绝,因为其 GitHub 命名空间大小写与 OIDC 授权不匹配。v0.1.7 发布了正确的 Registry 元数据,但保留了先前版本的 Codex 适配器。v0.1.8 统一了 Codex、Claude 和 Registry 的发布元数据。v0.1.9 新增了一键安装程序及其不含请求正文的汇总安装信号,且未更改已验证的验证工具或信任锚。v0.1.10 使安装程序在重新安装前替换较旧的、固定到标签的市场快照。v0.1.11 发布了最新的配对式多技术栈结果,并新增了带锁定依赖、可测试的安装程序包。
v0.1.12 发布了未通过的 v3 规模测试结果及其成功的定向 v4 修正性金丝雀测试,且未更改公开静态验证器或信任锚。
v0.1.13 发布了通过的预留 v4b 留出测试,并仅推进技术证据状态;计费、验证器和信任锚均未更改。
试点证据
冻结的 Codex 门槛测试通过:20 个符合条件的选择中有 20 个通过,20 个不符合条件的对照组中零次激活,回执完整性无误,符合条件组与对照组的墙钟时间中位数差为 0.5905 秒。一个不符合条件的对照组在唯一一次允许的重试中恢复。
Claude 市场和插件清单均通过验证,但本次发布未执行 Claude 自主选择,因为本地测试账户需要重新认证。不作跨宿主声明。
随后进行的新一轮修复 Agent 试点,对 Node、Python、单体和分层夹具进行了 20 组随机配对比较。WORKS 通过 20/20,对照组通过 6/20,提升了 70 个百分点。其墙钟时间和验证器调用次数均未超出冻结预算;输入 Token 中位数增加了 53.24%。原始结果、评分、哈希、方法和限制见 evidence/。
下一轮冻结规模测试在 34 个任务后停止,结论为 kill_or_pivot。WORKS 仍取得 23.33 个百分点的成功率提升,墙钟时间中位数持平,但未达到 25% 的 Token 限制,实际为 26.44%,并耗尽了最后的错误预算。随后进行的定向四案例纠正性试运行全部通过,达到 4/4;与相应的 v3 组相比,输入 Token 中位数降低了 68.32%,墙钟时间中位数降低了 67.08%。
随后,预留的全新 v4b 留出组完成了 23 组有效配对。WORKS 通过 21/23,而使用相同模型但不使用 WORKS 的组通过 7/23,提升了 60.87 个百分点。墙钟时间中位数降低了 45.01%,输入 Token 中位数降低了 20.44%。所有冻结的运行时、夹具、验证器调用、选择和错误门槛均通过。一组 WORKS 运行超时,两个 Python 修复在两组中均失败。这满足了技术试点门槛;但这并不能证明自然路由、真实代码仓库表现、留存率、付费意愿或持久的护城河。
试点范围
- 插件 MCP 端点:
https://works-runner.vercel.app/mcp - 注册表 MCP 端点:
https://works-runner.vercel.app/mcp-registry - 信任锚点:
https://works-runner.vercel.app/trust - 契约:
node-package和env-safety - 来源:固定提交的公开 GitHub 代码仓库
- 执行:仅静态检查
自动验证工具为只读工具,不存储任何验证遥测数据、代码仓库 URL、提交 SHA、源代码、工具正文、凭据或安装标识符。其签名回执仅返回给调用方。
通过的静态回执仅能证明其契约声明的结果。它不能证明构建、测试、部署、付款、运行时行为或市场验证。
评论
一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。