告别“氛围编程”混乱！Kiro、Spec Kit等工具助力规范驱动开发

Kiro、Spec Kit等工具助力规范驱动开发告别“氛围编程”混乱2025年2月AI开发者Andrej Karpathy在当时还叫Twitter的平台发推文提到他所谓的“氛围编程”。他描述这种编程方式是完全沉浸在氛围里追求指数级效果甚至忘记代码存在。这可行是因为大语言模型如集成了Sonnet的Cursor Composer变得强大他用SuperWhisper和Composer交流几乎不用碰键盘会提“愚蠢”要求直接“全部接受”遇到错误复制粘贴通常能解决问题。代码超出他通常理解范围有时大语言模型无法修复bug他就绕过或要求随机修改。不过他只是在“周末临时项目”用“氛围编程”非日常工作还自嘲会提“愚蠢”要求。虽然他说“氛围编程”可行是因大语言模型强大且“大部分时候能正常工作”但“大部分时候能正常工作”并非高度赞扬。将“氛围编程”用于严肃项目有严重风险会产生隐藏bug和技术债务。即便有能力和经验的人清理重构代码虽可能避免最坏结果、减少技术债务但比手动设计架构和编写代码花费时间更多还会降低程序员生产力与使用大语言模型初衷背道而驰。什么是规范驱动开发规范驱动开发Spec - driven developmentSDD能避免“氛围编程”混乱又无需完全回归手动编程。它比瀑布式规划和编写详尽需求文档更轻量级设计得易于阅读和简洁。微软的Den Delimarsky介绍Spec Kit时称规范为“思维的版本控制”还表示这是代码行为的契约是工具和AI代理生成、测试和验证代码的事实来源可减少猜测和意外情况提高代码质量。Thoughtworks的Birgitta Böckeler将其分为三个实现级别规范优先先编写深思熟虑的规范再在AI辅助开发工作流中用该规范完成任务。规范锚定任务完成后保留规范用于相关功能的演进和维护。规范即源规范是主要源文件随时间推移只有规范由人工编辑人工无需触碰代码。不过目前不确定有无工具实现这是值得追求的目标但尚未达到。下面介绍目前支持规范驱动开发的四种工具和框架。KiroAWS称Kiro是自主代理能在独立完成软件开发任务时保持上下文并学习。它既可以作为IDE基于Code OSS使用也有CLI工具版本由“AWS内部一个有独特见解的小团队”开发。Kiro IDE明确支持“氛围编程”和规范驱动开发。目前Kiro CLI暂不处理规范但有规划代理和代理引导功能。Kiro SDD会生成三个Markdown文件构成规范需求requirements.md用结构化的EARS符号记录用户故事和验收标准。设计design.md记录技术架构、序列图和实现考虑因素。任务tasks.md提供详细实现计划含可离散跟踪的任务。还能从其他系统导入规范并迭代甚至根据“氛围编程”会话生成规范理想情况是为每个项目功能创建一个规范。EARS符号记录用户故事遵循“WHEN [条件/事件] THE SYSTEM SHALL [预期行为]”模式格式清晰可测试Kiro能据此生成基于属性的测试PBT比通常单元测试更全面。此外Kiro还生成三个Markdown文件定义代理的引导信息让Kiro了解工作空间及其约定产品概述product.md定义产品目的、目标用户、关键功能和业务目标助Kiro理解技术决策“原因”提出符合产品目标的解决方案。技术栈tech.md记录所选框架、库、开发工具和技术约束Kiro建议实现方案时优先考虑已有技术栈。项目结构structure.md概述文件组织、命名约定、导入模式和架构决策确保生成代码融入现有代码库。免费计划中Kiro IDE支持三种Claude模型、Sonnet 4.5、Sonnet 4和Haiku 4.5还可自动选模型。文档提到Opus 4.5推测专业版每月20美元或更高级别计划可激活该模型。Kiro IDE支持“氛围编程”和规范驱动开发两种工作流。Foundry Spec KitSpec Kit是微软推出的开源工具包用于规范驱动开发。它提供分四个阶段的结构化流程将规范驱动开发引入编码代理工作流与约30种编码代理集成。可通过安装specify CLI开始使用建议用uv持久安装也可用uvx运行一次。specify命令可初始化Spec Kit项目还能选指定AI代理检查已安装工具。项目初始化后AI编码代理如GitHub Copilot或Claude Code可用几个斜杠命令进行结构化开发/speckit.constitution项目管理原则/speckit.specify需求和用户故事/speckit.clarify澄清未明确区域/speckit.plan技术实施计划包括技术栈/speckit.tasks可执行的实施任务列表/speckit.analyze一致性和覆盖范围分析/speckit.implement执行所有任务/speckit.checklist验证需求的检查清单Spec Kit可从头创建项目绿地项目、对遗留代码现代化改造棕地项目并并行探索多种方案。关于如何使用及是否属“规范锚定”有讨论但除观察到发布的Spec Kit倾向为每个功能制定小规范外无普遍共识。TesslTessl口号是“用Tessl让你的代理按部就班”通过框架、包注册表及评估功能在CLI辅助下实现。Tessl CLI可扫描项目依赖项为Claude Code、Codex和Gemini等AI编码代理配置模型上下文协议MCP服务器设置还能在包注册表中按名称、PURL或HTTP URL搜索“模块”。模块含技能、文档和规则可使用现有注册表也可创建自己的技能和模块。用Tessl的Tessl SDD模块可进行规范驱动开发安装后在提示中包含“使用规范驱动开发”代理会在编写代码前询问问题并编写规范还可通过安装记录所用工具的模块提高效果。ZenflowZenflow是免费平台用于协调AI代理构建软件有“规范驱动的工作流、内置验证和真正有效的多代理执行”功能也被描述为编排层。它由Zencoder团队开发与Zencoder插件配合使用其部分功能已添加到Zencoder中。Zencoder的CEO Andrew Filev称经验丰富的工程师团队已用Zenflow进行产品开发一年多。Zencoder和Zenflow关系可概括为Zenflow是工作流的大脑Zencoder负责执行工作。Zencoder既是公司名称也是IDE的AI插件名称还是公司内部编码代理名称是Zenflow四个代理选项之一也是Zencoder插件至少可用的九种模型之一。启动Zenflow项目可选择标准工作流快速更改、修复bug、规范与构建或完整的SDD工作流项目范围越广工作流需更多结构确保不偏离需求也可定义符合团队标准的自定义工作流。Zenflow可在隔离环境中并行运行多个任务代理在工作流中协调不破坏代码库。它会自动验证更改每个工作流运行自动化测试和跨代理代码审查测试失败触发自动修复通过所有验证关卡后代码才能发布。Zenflow项目分解为任务任务再分为子任务和聊天每个任务在自己的隔离Git工作树中运行可在看板或堆叠列表视图中查看任务状态。它支持多种工作流也可定义自定义工作流。何时适合使用规范驱动开发总体而言个人项目、小功能和bug修复无规范的AI辅助编程也可行但大型功能、重大重构和企业级项目需规范确保AI编码代理按要求工作。选择规范驱动开发工具取决于环境、目标及个人和团队偏好Kiro、Spec Kit、Tessl和Zenflow都是不错的起点。关键词生成式AI、人工智能、开发工具、软件开发、开发方法