SuperAPI AI 工具集

specalign

编程与开发

查看项目

更新于 10-15 19:55

技能介绍

用途:SpecAlign 用于让规格文件(Spec)与其代码实现保持一致。当规格与对应实现同时出现在上下文中时,它会主动发现并呈现两者的分歧,避免偏差被默默容忍。

主要能力:可识别六类偏差——类型偏差(规格定义的字段/类型与实现不符)、行为偏差(规格描述的逻辑代码未遵循)、缺失实现(规格定义了但无对应代码)、缺失规格(代码实现了规格未描述的行为)、约束偏差(规格声明的不变量代码未强制)、错误处理偏差(规格定义的错误情形代码未处理或反之)。

使用方式:需已有规格文件。默认从同路径搜索 SPEC.md(如根目录、apps//、packages//、src/lib//),以及从 SPEC.md 目录链接的支持文件(如 commands.spec.md),回退模式为 .spec.md、-spec.md、spec/.md。若存在多个规格会询问对齐哪一个,没有规格则停止。流程为:定位并完整读取规格、将各节映射到源码文件并标注状态、逐条列出偏差(含稳定编号 DRIFT-NN、规格引用、代码行为与影响)、逐条让用户选择“更新规格/更新代码/跳过”、再应用变更并汇总。

变更策略与限制:除非用户明确选择“更新规格”,否则不编辑规格文件;除非明确选择“更新代码”,否则不改实现逻辑。更新代码后需运行 lint/typecheck,若有单元测试则运行;更新规格时保留无关章节的格式与结构。读取代码或规格时会被动标注偏差,不打断主任务。规格与代码谁为准由用户决定,不自行假设。

适用场景:已有 SPEC.md 等规格文件、需要审查实现是否符合规格,或维护过程中发现规格与代码可能脱节的工程场景。

限制:必须存在规格文件才能进行;未提供自动生成规格、定价、平台支持等信息。