用途：验证代码变更是否真正实现预期效果。核心方法是运行时观察——构建并启动应用，把变更代码所在的流程实际跑起来，捕获看到的输出作为证据，而不是依赖测试或类型检查（那只能证明 CI 能跑）。
主要能力与要求：先确定验证范围，通常是 diff。在 git 仓库中可用 git log --oneline @{u}..、git diff @{u}.. --stat、git diff origin/HEAD... --stat、git diff HEAD --stat 或 gh pr diff 明确变更范围。diff 是事实来源，任何描述都只是对它的声明，二者冲突即为发现。随后定位“表面”（surface）：CLI/TUI 在终端输入命令并捕获窗格；Server/API 用 socket 发送请求并捕获响应；GUI 在 xvfb/Playwright 下驱动并截图；库通过公开导出而非 src 内部路径调用；prompt/agent 配置运行 agent 并观察行为；CI workflow 触发并读取运行。内部函数不是表面，要跟随调用方到上述某个入口。
使用方式：优先检查 .claude/skills/，寻找匹配的 verifier-* 技能作为证据采集协议；没有匹配则用 run-* 的构建/启动原语；都无则从 README/package.json/Makefile 冷启动，限时约 15 分钟。驱动最小路径让变更代码执行，并在真实接口上端到端验证。确认后还要主动探测相邻边界情况（空值、重复传参、错误方法、错误输入、交互中断、状态持久化等）。捕获 stdout、响应体、截图等作为证据，共享进程状态需隔离。最后按固定格式输出报告，给出 PASS/FAIL/BLOCKED/SKIP 判定与步骤、证据和发现。
限制：无运行时表面（仅文档、仅类型声明、仅测试）应报告 SKIP。破坏性路径若无 dry-run 或安全目标则不应实际执行。验证器本身过期不应据此判定变更失败。资料未提供具体价格、平台支持范围与安装命令等信息。