check 是 cavekit 中核对 SPEC.md 与代码的 Skill。它检查规格里应保持的规则、接口形状和任务状态，给出对应文件位置的证据。
规则检查有成立、违反、无法验证三种结果；找不到覆盖所有请求路径的依据，不能直接写“通过”。接口还要区分形状不符、缺失和多出的公开入口。
任务勾为完成，不等于实现已存在：原文要求回查代码，无证据的完成项标为过时。报告末尾可以建议改代码或修规格，但这个 Skill 自己不调用修复，也不改任务状态。
它适合发布前或修改后查偏差，前提是已有规格；缺少 SPEC.md 就没有核对基准。主文末尾虽用二分概括，具体检查保留无法验证状态，本文按后者介绍。没有检查本项目，静态阅读也不能代替运行行为测试。