mcpField
W
WORKS Public Verifier

WORKS Public Verifier

远程服务
github.com/DYZCODE开发工具013 周前更新
代码仓库

关于 WORKS Public Verifier

WORKS Public Verifier 面向需要核验公开 GitHub 仓库固定提交的 Agent,按静态合约检查并返回签名回执。它只接受精确的 40 位小写提交 SHA,不执行仓库命令。

主要功能

  1. 01核验固定 GitHub 提交
  2. 02按静态合约执行检查
  3. 03返回签名回执
  4. 04仅支持 node-package 和 env-safety
  5. 05提供 Codex 与 Claude 插件

适用场景

  1. 01检查公开仓库提交是否符合静态合约
  2. 02为核验结果生成可留存回执
  3. 03在 Codex 或 Claude 中使用验证流程

MCP 相关

官方 MCP Registry 元数据指向专用的三工具端点;插件路径也提供 MCP 端点。服务针对公开 GitHub 固定提交进行只读静态核验,不执行仓库命令。

配置

远程服务无需本地安装。选择你使用的客户端,复制配置或使用一键安装。

服务地址https://works-runner.vercel.app/mcp-registry
一键复制安装命令
Claude CodeTerminal
Cursor.cursor/mcp.json
VS Code.vscode/mcp.json
Claude Desktopclaude_desktop_config.json
Windsurf~/.codeium/windsurf/mcp_config.json

命令在终端中运行;JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。

工具

3
参数类型必填说明
claimenum是对通用签名或静态仓库证据使用 static-evidence;它会保守地映射到 node-package。绝不可将其用于构建、测试、运行时、部署或生产环境声明。node-package | env-safety | static-evidence | build | tests | runtime | deployment | production-readiness | other
referencestring否严格使用提供的引用;绝不要展开分支、标签或短 SHA。
source_kindenum是对所请求源代码所在位置进行分类。public-github | private-github | local | other
repository_urlstring否用户提供的准确仓库 URL(如有)。
repository_visibilityenum是仅当请求明确指出某个公共仓库时,才使用 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、源代码、工具正文、凭据或安装标识符。其签名回执仅返回给调用方。

通过的静态回执仅能证明其契约声明的结果。它不能证明构建、测试、部署、付款、运行时行为或市场验证。

评论

支持 Markdown

第一次接触 MCP?

从协议是什么,到在客户端里装上第一个服务,这几条回答覆盖了大多数入门问题。

一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。