合同引擎验证器
通过 MCP 标准输入端到端验证合同引擎改动。
技能明确要求使用临时数据目录、避免操作 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 结果、测试输出、独立复现记录或多源交叉证据，且本次未执行任何命令，因此分数受静态上限约束并扣分。
- 先从该 SKILL.md 所在目录解析并确认 ../../servers/documents 的实际目标；否则文档中的命令可能无法运行。
- 执行前应明确用户确认数据删除、并发压力测试及医疗文档数据的隔离范围，并准备可恢复的临时目录。
- 不要把 README 的仓库级信息或官方发布者身份当作该技能已通过运行验证的证据。
它能做什么 & 适用场景
该技能用于驱动 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 调度问题的工程师，需要在冷启动和热数据库上进行竞速测试。
- 更新验证流程或文档的贡献者，需要核对工具名称、文件路径和协议步骤的一致性。
优缺点一览
- 覆盖类型检查、协议调用、数据完整性、模式变化和并发行为。
- 强调使用临时数据库，降低误操作生产数据的风险。
- 包含对 JSON Schema draft 2020-12 和真实 agent 启动行为的针对性检查。
- 服务器源代码即发布产物，无需构建步骤。
- 范围仅限 contracts-engine 的运行时验证，不是合同分析或合同问答技能本身。
- 依赖 healthcare 仓库的相对目录结构、Node.js、Bun 和本地 SQLite 数据。
- 并发验证成本较高，要求至少 16 个服务器和每种数据库状态至少 60 次试验。
- 来源未提供独立测试套件的完整覆盖范围，也未说明非 Claude Code 环境的直接触发方式。
如何安装
安装整个 healthcare 插件集合：先运行 /plugin marketplace add anthropics/healthcare，再运行 /plugin install healthcare@healthcare。本技能位于 plugins/healthcare/skills/contracts/.claude/skills/verify/SKILL.md；来源未说明单独安装该技能的步骤。
如何使用
在已安装 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 父目录。具体触发语法未在来源中完整说明。