specverify 用于在 AI 生成代码之前验证规格文档，核心原则是分离：绝不在撰写规格的同一会话中验证规格，因为作者模型难以有效攻击自己的文档；若同会话调用，应警告用户并附免责声明。
用途与能力：base 为通用验证，适用于任意框架与规格格式（如 BMAD、GSD、Spec Kit、Stream Coding 或自定义），回答“AI 能否无需提问就执行”。流程为对全部规格文件运行 scripts/precheck.py 生成确定性预报告，再由 LLM 结合预报告与文档内容评估 7 个通用项，每项 0-2 分，总分 /14 并归一化为 /10，输出分数与带严重级别的缺口清单，AI 就绪最低阈值为 7/10。deep 为综合分析，含分析一致性 7 项（跨值一致性、代码与规格一致性含数据流可追溯性、声明可信度、滥用面、隐式依赖含构建部署、接口契约完整性、消费方与提供方覆盖）与文档架构 6 项（类型标签、反模式、测试用例、错误处理、深链接、重复），无论 base 分数如何都会运行；若 base 低于 7/10，结论会附带说明。full 依次运行 base 与 deep。
评分：base 13-14 归一化 9-10/10 为 AI 就绪可继续；10-12 为 7-8.5/10 需小幅修订；7-9 为 5-6.5/10 未就绪需大幅修订；0-6 为低于 5/10 存在根本问题。deep 不给出数字分数，仅按 CRITICAL/HIGH/MEDIUM/LOW 列出发现。
使用方式：命令为 specverify base、specverify deep、specverify full，分别读取 commands/base.md、commands/deep.md、commands/full.md。文件结构含 SKILL.md、commands/、scripts/precheck.py 与 templates/report.md。
限制：资料未提供安装命令、具体平台支持、收费与价格信息，暂未提供。项目由 Francesco Marinoni Moretto 以 MIT 许可证发布。