用途：在实现完成之后、交付之前，或验证缺陷修复时，对照明确的验收标准证明改动有效。
主要能力：加载范围资料（BRD-lite、PRD、SRS/FRS、工单、实现计划、发布说明、验收标准、非目标、变更文件、匹配技能及继承的 operator_profile）；选择验证通道（单元/组件、集成/API、E2E/视觉、移动端、安全、迁移、部署冒烟）；优先运行最小可靠的自动化检查，仅在用户可见行为变化时使用 Playwright/Appium；已配置时使用 Zephyr/Jira/GitHub/GitLab/ADO MCP，否则记录本地证据；若外部 MCP 不可用，则索取导出的工单/PR/测试用例数据或将通道标记为 BLOCKED。
使用方式：可选参数包括 slug=、ticket=<id/url>、mode=interactive|autonomous|channel、channel=、auto_continue=true|false、profile=business|hybrid|technical。捕获日志、截图、链路或终端输出摘要；对缺陷修复做修复前失败与修复后成功的对比审计；判定 PASS（全部验收标准已证明）、FAIL（原缺陷或缺失需求仍可复现）或 BLOCKED（环境、凭据或审批阻止证明）。记录证据并更新可追溯性说明（BRD 目标 -> PRD 需求 -> SRS/FRS 契约 -> 验证证据）及项目本地文件 docs/srs/srs-walkthrough.md，然后回退到实现或 dev-fix。
产出与限制：输出验证报告、验收标准追踪表、对比证据、风险与边界情况、结果报告（feature_status、requirement_trace、evidence、recommended_next_workflow）及下一步工作流（uat-signoff、implement-feature 或 dev-fix）。最终交付前调用 get_session_cost(workflow="verify-work")。仅当环境、凭据或审批阻止证明时才返回 BLOCKED；阻塞问题一次最多问 3 个，附推荐默认值与 2-3 个选项。资料未提供安装命令、收费与价格信息。