SuperAPI AI 工具集

requirements-verification

编程与开发

查看项目

更新于 10-15 21:37

技能介绍

用途:分析 OpenSpec 需求规格(openspec/specs/<capability>/spec.md 或 openspec/changes/**/specs/ 下的变更规格),产出三类结果:内部一致性(需求之间或与 schema 是否矛盾)、实现符合度(实现是否满足每条需求)、测试机会(可编程验证需求的单元或验收测试)。

主要能力:解析规格并提取标题、实现路径(来自 Resource implementation: / Data source implementation: 等行)、Purpose、Schema 及所有 ### Requirement: 段落;按 reference.md 的一致性检查做身份/导入、Schema 与需求、生命周期、兼容性、State/Plan、StateUpgrade 等核对;从实现包定位 resource.go、schema.go、create.go 等文件,将每条需求分类为 Met / Not met / Unclear 并给出证据;定位 *_test.go 与 acc_test.go,建议具体测试用例,输出含一致性、符合度表、测试建议三段报告。

使用方式:当有 shell 时先做结构化校验,仓库根目录在 make setup(或 make setup-openspec / npm ci)后运行 make check-openspec;或使用 OPENSPEC_TELEMETRY=0 ./node_modules/.bin/openspec validate --specs;单规格可加 <capability> --type spec;变更可加 openspec validate --all。无终端则手动审查并说明未运行校验。

限制:CLI 校验只检查结构(如 ### Requirement: / #### Scenario: 形状、SHALL/MUST),不检查语义一致性与实现符合度;实现符合度可能因代码或测试不足而判为 Unclear。资料未提供收费、价格、平台支持范围等信息。