10 月 23 - 25 日,QCon 上海站即将召开,现在购票,享9折优惠 了解详情
写点什么

超越氛围编程:亚马逊云科技推出规范驱动的代理 AI IDE Kiro

  • 2025-09-01
    北京
  • 本文字数:2127 字

    阅读完需:约 7 分钟

大小:819.85K时长:04:39
超越氛围编程:亚马逊云科技推出规范驱动的代理AI IDE Kiro

亚马逊云科技最近发布了Kiro,这是一个新的 VS Code fork 分支,致力于帮助开发者超越氛围编程(vibe coding)并解决它的一些缺点。Kiro 直接支持规范驱动开发。开发者使用自然语言描述他们的需求。Kiro 会输出带有验收标准的用户故事、技术设计文档和实现所需的编码任务列表。审查后,开发者可以逐步触发任务的实现。

 

虽然氛围编程非常适合快速原型迭代和应用需求的发现阶段,但它也有一些缺点。

AI 生成的代码通常可能过于冗长,风格不一致,并且难以遵循既定的架构、治理和安全模式。在较大的团队中,不一致的氛围编程使用可能带来明显的入门、系统集成和维护方面的挑战。

 

在没有持续更新的测试套件的情况下,氛围编程的应用程序可能会随着时间的推移而退化,这意味着新功能的实现可能会改变之前已实现功能的正常运行。

 

Kiro 的规范驱动工作流程将开发分解为三个不同的阶段:生成带有详细验收标准的用户故事,创建带有图表和模式的技术设计,以及将工作分解为一系列可跟踪的实现任务。

以下是分析仪表板需求的一个示例:

## 需求
### 需求1**用户故事:**作为数据分析师,我想从我的本地目录上传数据文件,以分析我的数据而无需将其发送到外部服务器。
#### 验收标准1. 当用户访问应用程序时,系统应显示文件上传界面。2. 当用户选择一个或多个数据文件时,系统应验证文件格式和大小:
- 上传的文件应为JSON文件(即.json),文件包含单一的JSON对象。
- 该对象只有一个键:“raw”
- “raw”键是一个对象数组,每个对象都有一个强制的“type”字段,可能还有其他许多可选的字段。
3. 当选择有效文件时,系统应将数据加载到应用程序的内存中,并在状态栏中显示一个进度条,跟踪每个选定文件的加载和处理。4. 如果是不支持的文件格式,系统应显示一个有用的错误消息(例如,支持的格式、缺少的字段、错误的类型)。5. 当数据成功加载后,系统应在状态栏中显示一个确认消息,并根据主页面设计要求显示主页面。
复制代码


以下是生成的设计文档摘录:



以下是生成的任务序列(实现计划)的一个示例:



Kiro 的发布说明强调:

Kiro 的规范应该与你不断发展的代码库保持同步。开发者可以编写代码,并要求 Kiro 更新规范或手动更新规范以刷新任务。这解决了开发者在实现过程中停止更新原始制品的常见问题,这会导致文档不匹配,使未来的维护变得复杂。

 

Kiro 还引入了 Hooks,这是由文件更改后触发的用户提示词。Hooks 结合 MCP 服务器,允许开发者实现各种动作,特别有助于在开发团队中强制实现一致性并确保质量。文档提供了以下Hooks的示例,验证用户界面设计是否符合 Figma 设计:

用户可以使用Figma MCP分析更新后的html或css文件,并检查它们是否遵循Figma设计中建立的设计模式。验证元素如显示区域、功能亮点、导航元素、颜色和按钮位置是否一致。
复制代码

 

一些 Hacker News 上的开发者报告说,规范驱动开发放慢了开发速度。一位开发者说

我想在 macOS 上有一个小工具来显示我的全局键盘快捷方式。我给了 Kiro 一个简短的规范和一些描述输入数据模式的 TypeScript。

 

它写了大约 5000 行代码,包括测试,它们……的确可以运行。它看起来不像我希望的那么好看,但我不能破坏它。然而,5000 行代码对于这样一个简单的任务来说太多了,解决方案在每个可能的方向上都被过度设计了。我能够(手动)将其减少到大约 800 行代码,而不会丢失任何重要功能。

 

其他人则非常重视这种方法

我上周在相当棘手的日期时间解析问题上尝试了 Kiro。我从大约两百个单词的提示和一些代码示例开始,使用它们来描述问题。类似于 OP,它迫使我停下来更清晰地思考我试图解决的问题,最后当我看到它完成任务列表时,我感到非常惊讶。

 

我认为我唯一的反馈是,我的任务也在写很多测试,如果获得测试结果的反馈循环能够更整洁的话,这将是极其强大的。它像一个沙箱化的终端,我对 YOLO 模式不太感兴趣,需要不断授权以便让终端运行。

 

其他开发者强调,有了Kiro,编程可能会向左转向到产品/项目管理

这看起来真的很酷,除了需要学习一种新的语法(Gherkin 真的那么糟糕吗?),但是,所有这些基于 Agent AI 的工作流程一直让我感到困扰。

 

你到底在什么时候进入工程开发?对于项目经理来说,这是一个很棒的演示,能够引导你的“团队”进行功能开发。但是如果没有适当的架构,开发确实会变成一团糟。

有了氛围编程,我感觉我像是一个项目经理,而不是工程师。

 

Yehuda Cohen写了一篇博客文章,在Kiro的帮助下评估Kiro(reviewing Kiro with the help of Kiro),它给出了的积极评价,并贡献了以下见解:

实际情况在于,Kiro 需要一种不同的项目管理方式。你不再只是编写代码;你正在引导一个可能被复杂性压垮的 AI,这种方式更喜欢变通方案而不是根本原因分析,偶尔需要明确告诉它不要继续前进,直到问题真正得到解决。它很强大,但不能完全放任。

 

Kiro 是 VS Code 的一个 fork 版本,因此支持 Open VSX 兼容的插件。在底层,Kiro 由 Anthropic 的 Claude 提供支持。有兴趣测试 Kiro 工作流程的开发者可以遵循一个专门的游戏教程(通过游戏学习)。

 

Kiro 目前处于预览阶段,支持 Mac、Windows 和 Linux,新发布的定价计划从每月 20 美元起步。Kiro 是由亚马逊云科技开发的专有软件。

 

原文链接:

Beyond Vibe Coding: Amazon Introduces Kiro, the Spec-Driven Agentic AI IDE

2025-09-01 14:032

评论

发布
暂无评论

架构实战营 - 备选架构设计文档模板

华仔

JWT 实现登录认证 + Token 自动续期方案,这才是正确的使用姿势!

Java你猿哥

Java ssm 架构师 Token JWT

文本处理流程:Text Workflow 1.5.1直装版

真大的脸盆

文本处理 处理文本 文本管理工具

从0到1构建基于自身业务的前端工具库

京东科技开发者

前端 京东云 企业号 4 月 PK 榜

从java到JavaScript(1),看Dart:对比Java/Go/Swift/Rust

zhoulujun

Java JavaScript swift rust dart

数据库原理及MySQL应用 | 数据库安全加固

TiAmo

MySQL 数据库 数据安全

selenium源码通读·2 | common/exceptions.py异常类

Python 源码 测试 自动化测试 selenium

Redis缓存高可用集群

京东科技开发者

redis 云计算 redis哨兵 京东云 企业号 4 月 PK 榜

一个前端大佬的十年回顾 | 漫画前端的前世今生

京东科技开发者

JavaScript html 前端 京东云 企业号 4 月 PK 榜

Hex Tech,一个带编程协同能力的 BI 平台的“危”与“机”

CnosDB

数据库 时序数据库 开源社区 CnosDB

百度高德地图行政区域边界GeoJSON数据获取并绘制行政区域

zhoulujun

百度地图 高德地图

聚焦弹性问题,杭州铭师堂的 Serverless 之路

阿里巴巴云原生

阿里云 云原生

从java到JavaScript(2):对比Java/Go/Swift/Rust看Dart

zhoulujun

Java JavaScript dart

GIS常用npm包:GeoJSON文件合并与元素过滤\属性过滤\图形合并

zhoulujun

GIS GeoJSON

信息率失真函数与平均互信息

timerring

信息论

从Spring的AOP看Synchronized锁失效和事务失效的情况

Java你猿哥

spring ssm synchronized Java工程师

Go 命令行参数解析工具 pflag 使用

江湖十年

后端 命令行 Go 语言

带你揭开神秘的javascript AST面纱之AST 基础与功能

京东科技开发者

JavaScript 前端 AST 京东云 企业号 4 月 PK 榜

GIS拓扑讲解点线面几何体的拓扑关系判断及运算分析_turf案例

zhoulujun

GIS Turf.js

三天吃透Redis八股文

程序员大彬

redis #java

ZBC 荣登OKX涨幅榜前列,月内涨幅逾六成

鳄鱼视界

开源7天Github斩获4.5万Stars!阿里2023版高并发设计实录鲨疯了

Java你猿哥

Java 面试 高并发 面经 春招

微前端项目部署方案

京东科技开发者

微前端 京东云 企业号 4 月 PK 榜

首次公开!阿里巴巴内部Java 面试突击核心讲(1658 页),转载 40W+

Java你猿哥

Java 面试 ssm 面经 java核心知识

ZBC 荣登OKX涨幅榜前列,生态持续发力是关键

西柚子

百度高德地图JS-API学习手记:地图基本设置与省市区数据加载

zhoulujun

百度地图 高德地图

gis经纬度坐标转换多格式兼容:支持字符串/数组/GeoJSON

zhoulujun

GIS GeoJSON 经纬度坐标转换

Three.js 进阶之旅:全景漫游-高阶版在线看房 🏡

dragonir

JavaScript 前端 three.js

玩转Github:三分钟教你如何用 Github 快速找到优秀的开源项目

Java你猿哥

Java GitHub 开源 源码 ssm

selenium源码通读·3 | 从源码看引入webdriver包的原因

Python 源码 测试 自动化测试 selenium

Taro架构构析(2):Taro 设计思想及架构

zhoulujun

超越氛围编程:亚马逊云科技推出规范驱动的代理AI IDE Kiro_亚马逊云科技_Bruno Couriol_InfoQ精选文章