Kiro:先写规格再写代码,把需求变成可执行的 Spec

先让 AI 把"要什么"写清楚,再让它动手写代码——Kiro 用规格把 AI 编程从"猜"变成"实现"。

用 AI 写代码有个绕不开的问题:你说得越笼统,它猜得越离谱。一句"给博客加个评论系统",它可能给你三种风格完全不同的实现,改到最后你已经不记得当初要的是什么。Kiro 的思路是反过来的——先把需求写成一份你审得过的规格,再让 Agent 按规格施工。

Kiro 由 AWS 打造并运营,2025 年 7 月发布,之后正式 GA。它把这件事总结成一句话:从 AI 编程走向 agentic engineering。它不是一个纯聊天式的补全工具,而是一套把需求、设计、任务、实现串起来的工作流。


Spec 驱动:一句话变成三份文档

Kiro 的核心是 spec-driven development。你只给一句自然语言描述,它会依次产出三份文档:requirements.md 把需求拆成用户故事和验收标准,design.md 给出架构、技术选型与系统设计,tasks.md 则是按依赖顺序排好的任务清单。这些文件默认放在项目里的 .kiro/specs 目录下,官方建议跟代码一起提交进仓库。

需求部分的写法值得一提。Kiro 用 EARS 语法(Easy Approach to Requirements Syntax)来写验收标准,格式大致是"当某个条件成立时,系统应当如何"。这套语法源自航空安全系统,好处是把模糊描述逼成可验证的断言,边界情况不容易被漏掉。

kiro spec requirements design tasks
需求、设计与任务三份规格

三份文档每一份都会停下来等你确认。你可以改需求、否决技术方案、调整任务顺序,等满意了再让 Agent 逐个执行。整个过程用 diff 呈现,可以整批接受,也可以一行一行过。

写代码之前,先查需求有没有自相矛盾

Kiro 有个不太常见的动作:在动手写代码前,它会用自动化推理手段检查你的需求里是否存在冲突和缺口。官方的说法很直接——"所有测试通过"不等于代码符合你的意图,所以先把意图本身验一遍。

实现之后还有一层验证,用的是 property-based tests(类似模糊测试)。普通单元测试检查几个具体用例,属性测试断言的则是"对所有输入都必须成立的规则",因此更容易抓出那种能通过单元测试、一上生产就出问题的边界情况。

kiro property based testing
用属性测试补上边界情况

Steering 与 Hooks:把项目规矩固化下来

每次开新对话都要重复一遍"我们用 TypeScript 严格模式""测试文件跟源码放一起",这是件很消耗耐心的事。steering files 就是为此准备的:放在 .kiro/steering/ 下的 Markdown 文档承载架构决策、编码规范、命名约定这类长期知识,Kiro 在生成代码、审查改动时会自动参考。加载方式分三种——常驻、按文件匹配条件加载、手动引用,也兼容 AGENTS.md 这类通用约定文件。

agent hooks 则把"我应该养成的习惯"变成自动执行。你可以定义在文件保存、创建、删除等事件发生时,让 Agent 跑一段预设任务:保存组件时顺手补测试文件,改动 API 端点后同步更新文档,提交前扫一遍有没有泄露凭据。官方把它比作"跑在本地的 GitHub Actions",区别是判定逻辑用自然语言写,不用学 YAML。

四种形态,一套配置

Kiro 目前提供 IDE、命令行、网页端、移动端,以及一个叫 Kiro Crew 的持久化开发工作区。IDE 基于 Code OSS,能导入你现有的 VS Code 设置、主题与 Open VSX 插件,迁移成本不高;命令行支持 bash、zsh、fish 以及 500 多个常用 CLI,也能以无界面方式跑在 CI/CD 里审 PR、修 bug。

网页端的会话运行在隔离的云端沙箱里,关掉笔记本它还会继续跑,变更可以跨仓库协调。Kiro Crew 是开源项目(Apache-2.0),跑在你自己的机器上,跨会话保持上下文,定位更偏向"长期陪跑的开发工作区"。配置可以在各形态之间同步,steering 文件走到哪跟到哪。

kiro crew session pull request
Crew 会话里审阅改动

模型不用你挑

Kiro 不要求你自己选模型。默认的 Auto 会按任务复杂度,结合模型质量、延迟和成本自动路由;你也可以显式选择 Claude Sonnet 4.5,或者在免费档里使用 Qwen3 Coder Next、DeepSeek 3.2、MiniMax M2.1 这类开放权重模型。付费档会解锁更多进阶模型。

计量单位是 credit,按 prompt 消耗,精确到小数点后两位,简单请求可能连一个 credit 都用不到。IDE 里能实时看到每条 prompt 花了多少,不用担心账单突然失控。

价格与上手

档位

月费

包含额度

Kiro Free

$0

50 credits

Kiro Pro

$20

1,000 credits

Kiro Pro+

$40

2,000 credits

Kiro Pro Max

$100

5,000 credits

Kiro Power

$200

10,000 credits

免费档是长期有效的,每月 50 credits,不需要绑信用卡,也能用上 Claude Sonnet 4.5 与几款开放权重模型,适合先把 spec 流程跑一遍试试手感。额度不够时可以按 $0.04 一个购买追加 credits,团队与企业版另含集中计费、单点登录、用量看板与权限治理。

登录方式支持 GitHub、Google、AWS Builder ID 或 AWS IAM Identity Center,不需要有 AWS 账号,这一点常被误会。桌面端覆盖 Windows、macOS 与 Linux。


Kiro 想解决的不是"AI 写代码够不够快",而是"它写的到底是不是你要的"。把需求先固化成可审阅、可进版本库的规格,再让 Agent 去实现,返工和扯皮的次数会明显少一些——对需要长期维护的项目来说,这份规矩值得。

Kiro下载地址
支持的操作系统: Windows macOS Linux Web