这个 Skill 能做什么，适合哪些场景？
该技能用于驱动 contracts engine 的本地 stdio MCP 服务器，验证代码变更是否在运行时按预期工作。它覆盖类型检查、JSON-RPC 工具调用、数据库与模式变更、并发行为及文档读取流程。验证通常依赖 Node.js、Bun、SQLite、Shell 和本地文件系统。它适合维护 Anthropic healthcare 插件中 contracts 技能及其 documents 服务器的开发者。
运行 bun run check 对服务器源代码执行类型检查；通过 Node.js CLI 或 stdio JSON-RPC 调用服务器工具；在临时数据目录中验证语料准备、写入、引用查找和覆盖率流程；检查 SQLite 模式版本、视图和触发器行为；对并发变更使用至少 16 个服务器和多轮竞速测试；验证工具输入模式符合 JSON Schema draft 2020-12；使用 sweep.mjs --limit 2 检查提取流程，并核对并行 worker 的时间窗口。
- 维护合同文档 MCP 服务器的开发者，需要在提交改动后执行端到端回归验证。
- 修改工具输入模式的工程师，需要发现会导致 agent 提前终止的无效 JSON Schema。
- 变更 SQLite 模式或触发器的维护者，需要确认现有数据库的版本和兼容行为。
- 排查并发写入或 worker 调度问题的工程师，需要在冷启动和热数据库上进行竞速测试。
- 更新验证流程或文档的贡献者，需要核对工具名称、文件路径和协议步骤的一致性。
如何安装这个 Skill？
- 先从该 SKILL.md 所在目录解析并确认 ../../servers/documents 的实际目标；否则文档中的命令可能无法运行。
- 执行前应明确用户确认数据删除、并发压力测试及医疗文档数据的隔离范围，并准备可恢复的临时目录。
- 不要把 README 的仓库级信息或官方发布者身份当作该技能已通过运行验证的证据。
- Shell / 命令行
- 本地文件系统
- MCP Server
Node.jsBunSQLite
安装整个 healthcare 插件集合：先运行 /plugin marketplace add anthropics/healthcare，再运行 /plugin install healthcare@healthcare。本技能位于 plugins/healthcare/skills/contracts/.claude/skills/verify/SKILL.md；来源未说明单独安装该技能的步骤。
tmp="$(mktemp -d)"
git clone --depth 1 https://github.com/anthropics/healthcare.git "$tmp"
mkdir -p ~/.claude/skills
cp -R "$tmp/plugins/healthcare/skills/contracts/.claude/skills/verify" ~/.claude/skills/
rm -rf "$tmp"根据源仓库地址和 Skill 路径自动生成，只复制这个 Skill 的文件夹。如果上文有作者提供的安装方式，请优先按作者说明操作；想只在当前项目中使用，把 ~/.claude/skills 换成项目里的 .claude/skills。
如何使用这个 Skill？
在已安装 healthcare 插件的 Claude Code 环境中，请求验证 contracts-engine 的改动。可按技能说明运行 cd ../../servers/documents && bun run check，或使用 node ../../servers/documents/src/index.mjs <tool> '<json-args>' 执行单次工具调用；不带工具参数时使用 stdio MCP 模式。对协议测试，应按顺序发送 initialize、notifications/initialized、tools/list 或 tools/call 的 JSON-RPC 行，并将测试数据指向临时 CLAUDE_HEALTHCARE_DATA 父目录。具体触发语法未在来源中完整说明。
这个 Skill 有哪些优点和局限？
- 覆盖类型检查、协议调用、数据完整性、模式变化和并发行为。
- 强调使用临时数据库，降低误操作生产数据的风险。
- 包含对 JSON Schema draft 2020-12 和真实 agent 启动行为的针对性检查。
- 服务器源代码即发布产物，无需构建步骤。
- 范围仅限 contracts-engine 的运行时验证，不是合同分析或合同问答技能本身。
- 依赖 healthcare 仓库的相对目录结构、Node.js、Bun 和本地 SQLite 数据。
- 并发验证成本较高，要求至少 16 个服务器和每种数据库状态至少 60 次试验。
- 来源未提供独立测试套件的完整覆盖范围，也未说明非 Claude Code 环境的直接触发方式。
这个 Skill 与同类方案有什么区别？
与相关 Skills 并排比较；分数均按同一 FSRS 标准得出。
| Skill | FS 评分 | Star 数 | 最近更新 | License |
|---|---|---|---|---|
| 合同引擎验证器 本页 ✓ Anthropic · 官方 | 44 · 不推荐 | ★ 425 | 1 个月前 | — |
| GitHub Copilot 应用开发技能 ✓ Microsoft · 官方 | 49 · 谨慎使用 | ★ 2.7k | 3 个月前 | MIT |
| Claude 插件 MCP 集成指南 ✓ Anthropic · 官方 | 51 · 谨慎使用 | ★ 38k | 11 天前 | Apache-2.0 |
| Claude Code MCP 集成 ✓ Anthropic · 官方 | 49 · 谨慎使用 | ★ 151k | 11 天前 | — |
| e2e Playground 验证技能 | 59 · 推荐 | ★ 10k | 11 天前 | Apache-2.0 |
FollowSkills 如何评估这个 Skill？
技能明确要求使用临时数据目录、避免操作 live database，并建议只读检查；权限和数据流范围较清楚。但未要求用户确认，包含删除数据库和启动大量并发进程的建议，缺少回滚方案、敏感医疗数据处理说明及依赖安全说明，因此扣分。
内容覆盖类型检查、CLI、MCP 冒烟、并发和异常 schema 等关键路径，且说明部分失败表现。但静态材料无法证明可运行；技能路径下的相对路径 ../../servers/documents 可能无法解析到仓库级 servers 目录，且没有完整失败诊断或可复现测试证据，因此受静态上限约束并扣分。
目标场景是 contracts-engine 变更的端到端验证，触发场景较明确，且区分普通、schema、并发和 sweep 变更。但没有明确输入、输出格式、非适用范围或用户角色，也没有中文使用说明；依赖 Bun、Node、Claude CLI 和本地路径，环境适配证据有限，因此扣分。
文档结构清晰，按类型检查、数据、CLI、schema、并发、MCP 和 sweep 分层说明，并包含若干操作示例。缺少技能级版本、变更记录、维护责任、更新路径、许可证明细、FAQ 和系统化限制说明；README 的许可证信息也不是明确的标准许可证，因此扣分。
技能提供了较具体的验证流程，包括核心工具链、数据库隔离、schema 检查和并发验证，理论上可帮助完成主要验证任务。但路径疑问、缺少预期输出样例和自动化结果判定，且静态审阅无法确认实际完成度；因此仅给中等偏上的静态分数并扣分。
技能列出可检查的命令、测试文件、SQL 查询和预期现象，具备一定审计性。材料未提供实际 CI 结果、测试输出、独立复现记录或多源交叉证据，且本次未执行任何命令，因此分数受静态上限约束并扣分。
点击维度查看打分理由
证据充分度：低 — 主要依赖静态检查、作者材料或有限演示；适合发现线索，不适合做高风险决策。
查看完整评分方法 →