用途：该技能用于验证代码或提示词（prompt）的输出是否正确，适合在被要求校验正确性、发现回归问题或给出验证结论时使用。其核心是按风险与范围选择恰当的验证深度，而不是盲目全量检查。
主要能力：提供一套结构化验证流程，包括界定验证目标（明确必须成立的条件）、识别风险最高的失败模式、选择验证策略（快速、针对性或深度）、执行检查并记录具体证据，最后报告通过/失败状态、置信度与遗留缺口。
输出契约：要求最小化输出，包含四部分——状态（pass、fail 或 inconclusive）、证据（命令、测试或可观察行为）、风险（仍可能出错的地方）、下一步（若需要，给出确切的后续动作）。
使用方式：先定义验证目标，再评估失败模式，然后从策略指南（strategies.md）中选择策略并执行检查；策略指南提供策略选择建议和可直接运行的验证模式。
适用场景：代码变更后的正确性校验、回归检查、提示词输出验证，以及需要向他人给出明确验证结论的场合。
限制：资料未提供具体安装命令、支持的平台、收费方式与价格信息；实际执行细节依赖随附的 strategies.md，未提供该文件内容时无法展开具体验证模式。