用途：verify 用于在声称改动完成之前，确认改动确实按预期工作，把“应该可以”的模糊说法转化为具体证据。
主要能力与工作流：先确定必须被证明的具体行为；优先使用已有测试；若测试覆盖不足，则运行最窄范围的直接验证命令；若直接自动化仍不够，则描述可执行的手动验证步骤；最终只报告实际验证过的内容。
验证顺序：已有测试；类型检查/构建；窄范围直接命令检查；手动或交互式验证。
规则：没有证据不得说改动已完成；若检查失败，需清楚列出失败内容；若不存在现实可行的验证路径，应明确说明；优先给出简洁的证据摘要，而非冗长日志。
输出内容：验证了什么；运行了哪些命令或测试；哪些通过；哪些失败或仍未验证。
适用场景：用户要求验证改动、检查是否可用、证明其有效时激活。
限制：资料未提供具体安装方式、依赖、支持平台与收费信息，暂未提供。