用途：在宣布代码“完成”前做实现正确性核查。设计质量不等于正确性，该技能要求在声称完成前逐维度检查，避免“我觉得都覆盖了”式遗漏。
主要能力与检查维度：1）需求覆盖：检测是否有明确需求，逐条列出需求并指向实现代码；无代码对应的需求即未完成，无需求对应的代码可能是范围蔓延。2）并发安全：检测多线程/进程共享数据、async/await、共享可变状态、线程安全要求、Web 处理器与后台任务；需识别全部共享状态并确认加锁、原子操作、队列或不可变等保护，无 TOCTOU 缺口，锁顺序一致。3）错误处理：检测 I/O、外部调用、资源获取、用户输入、解析等失败点；每个失败点须显式处理或向上传播，禁止裸 except 与静默吞错，错误信息可操作，处理部分失败并保持状态一致。4）资源管理：检测文件句柄、套接字、连接、锁、内存分配、外部服务句柄、后台线程/进程；每次获取须有释放，释放需在 finally/上下文管理器/析构中，错误路径同样释放，且增长有界。5）边界条件：针对集合、字符串、数值、可空值，检查空输入、单项、超大输入、非法值与类型边界。6）安全：处理不可信输入时须先校验，SQL/shell/HTML 使用参数化，防路径穿越，不记录泄露密钥，先鉴权后操作。
使用方式：按上述维度先检测是否适用，再逐项验证；细节清单见文件 checklists.md，可读取 ${CLAUDE_SKILL_DIR}/checklists.md。输出格式为“Correctness Verification”分节，列出各维度结果、依据与最终 Verdict。
适用场景：代码提交前的完成门禁，与设计、测试类技能配合，顺序为设计→实现→验证→完成。限制：资料未提供具体安装命令、平台依赖、收费与自动化集成方式。