Kiro 正式可用！从 IDE 到终端，无缝协同构建

自 7 月推出 Kiro 预览版以来，我们见证了 Specs 这一结构化的 AI 开发方式被广泛采用。Kiro 是首个将规范驱动开发（Spec-driven Development）引入 AI 编码工具的产品，Spec 的模式也得到了行业的广泛认可——在与 AI 协作开发时，“先规划再动手”才是正确的方式。

过去几个月里，Kiro 陆续加入了诸多重要能力：Remote MCP、全局 Steering 文件、Dev Server 支持、Auto Agent、可选任务等，使 Spec 的使用更加灵活。

今天，随着 Kiro 正式版发布，我们带来了一系列全新的核心功能升级：

• 基于属性的测试（Property-Based Testing），用于验证 Spec 的正确性——代码是否真正符合你的规格定义。

• 全新的 Checkpointing 能力，允许你回退任意步骤。

• 全新 Kiro CLI，将 Kiro 代理带进你的终端。

• 团队版管理能力，支持统一管理与计费。

Kiro IDE 功能升级：更精准、更安全

新版本的 Kiro IDE 引入了三项关键能力：

01.借助属性测试（PBT）度量“规范正确性”

AI 代码生成存在一个根本性难题：如何确定生成的代码真正符合需求？传统单元测试仅能验证特定示例。更棘手的是，无论测试编写者是人还是 AI，都受限于自身思维定势。他们即使竭力穷尽所有需要测试的具体场景，也难免遗漏未曾想到的边界情况。AI 模型常常会通过篡改测试而非修复代码来“应付”问题，或是陷入无限修改的循环。

基于属性的测试（Property-Based Testing，PBT）则正为解决这一挑战而生，它能够通过检测代码是否符合规范定义的行为来克服这一痛点。与测试具体示例不同，Kiro 会深入分析项目规范，提取出代表系统应有行为的通用属性，并据此进行验证。

什么是属性？

属性是一个普适性声明：对于任何一组输入，只要某些先决条件成立，某个断言（预期行为）就应为真。例如：“对于任何已验证用户和任何活跃列表，该用户可以查看该列表。”

工作原理：Kiro 协助你使用 EARS 格式编写规范（例如：“THE System SHALL allow authenticated users to view active car listings”）。Kiro 从这些需求中提取属性，确定哪些可以进行逻辑测试，然后生成成百上千个随机测试用例来检查你的代码。

例如，如果你正在构建一个汽车销售应用：

• 传统单元测试方法：用户将汽车 #5 添加到收藏夹，汽车 #5 出现在他们的列表中。

• 属性测试方法：对于任何用户和任何汽车列表，当用户将其添加到收藏夹时，系统应在该用户的收藏夹列表中显示该汽车。PBT 随后会自动测试用户昵称中包含特殊字符、多用户同时添加、不同汽车状态等数百种组合，捕获边缘案例，真正验证“实现是否匹配意图”。

在整个过程中，PBT 通过一种被称为“收缩”（Shrinking）的技术不断寻找反例，几乎就像一支试图破坏你代码的“红队”。当发现违规或反例时，Kiro 可以自动更新你的实现，或为你提供修复规范、实现或 PBT 本身的选择。

重要意义：虽然 PBT 不能完全证明代码的正确性，但它在你手动永远无法编写的场景下提供了正确性的证据，有力证明了你的代码实现确实按照规范定义在运作。

Kiro IDE 简介

https://kiro.dev/blog/general-availability/#kiro-ide

基于属性的测试验证“规范正确性”

https://kiro.dev/blog/general-availability/#measuring-spec-correctness-with-property-based-tests

阅读 PBT 技术详解全文：

https://kiro.dev/blog/property-based-testing/

02.借助检查点（Checkpointing）回溯变更

你现在可以回溯到 Agent 执行流中的任何一个历史变更点。Kiro 会在 Agent 每次执行变更或操作时生成一个检查点。你可以回滚任意步，而不会丢失进度或重复消耗算力。当你在任务实现中走了很远，但不想丢失进度时，这非常有用。

这一功能在任务执行至关键阶段时尤为实用：既可避免因操作失误导致的进度丢失，也无需消耗额外额度重复完成已开展的工作。

检查点功能详情

https://kiro.dev/blog/introducing-checkpointing/

03.Multi-root 工作区支持

Kiro 现已支持同时跨多个项目根目录进行协作。对于单个项目包含多个 Git 子模块或多个代码包的团队而言，如今都可以跨所有项目根目录与 AI Agent 协作。

常规的 Kiro 工作区仅包含一个单独的“Root”文件夹（例如/users/bob/my-project）。启用多工作区支持后，单个 Kiro 工作区可设置多个根目录，例如一个工作区中可同时将/users/bob/my-project 和/shared/utils/auth 设为顶级文件夹。

Multi-Root 工作区详情：

https://kiro.dev/docs/editor/multi-root-workspaces/

Kiro CLI 正式发布：Agent 入驻终端

Kiro Agent 现已登陆终端环境。

使用 CLI，你可以在你选择的终端中，通过高度交互式的循环，在几秒内构建功能、自动化工作流、分析错误、追踪 Bug 并给出修复建议，全程保持心流（In Flow）。

Kiro CLI 与你在 Kiro IDE 中设置的引导文件（Steering Files）和 MCP 设置完全兼容，确保你和你的团队在两种环境中都能访问相同的工具和偏好。

功能包含：Kiro CLI 将 Kiro 的全部强大能力带到了终端——包括全球领先的模型和 Auto Agent，以及引导文件、高级上下文管理和用于本地读写文件、调用 API、运行 Bash 命令的 MCP 工具。规范创建支持即将推出，但你已经可以在 CLI 中使用现有规范。

CLI 还支持自定义 Agent，这是一种为你特定任务量身定制的专业化 AI 助手：

• 专精：你的后端专家 Agent 只关注你的 API 模式和 Schema；你的前端 Agent 只了解你的组件。

• 高效：每个 Agent 都将其上下文窗口仅用于该领域关键信息。

• 优势：这是一种精确封装专业知识的方式，让 Kiro 成为该领域的专家，无需你重复输入上下文或担心上下文衰退（Context Rot）。

过去几周使用该 CLI 进行开发的用户反馈称，他们非常喜欢其速度与交互性。 

您可使用与 IDE 中相同的 Kiro 订阅账户和登录凭证来操作 CLI，两款工具共享额度限制与超额使用规则。

该 CLI 工具支持在 MacOS 或 Linux 系统中安装部署：

代码类curl -fsSL https://cli.kiro.dev/install | bash使用

左右滑动查看完整示意

深入了解 Kiro CLI 与自定义 Agent：

https://kiro.dev/blog/introducing-kiro-cli/

Kiro for Organizations：为团队协作而生

团队现在通过 Amazon IAM Identity Center 即可注册 Kiro，为提供更多选择，我们正在拓展支持的认证提供商范围。

管理员可在亚马逊云科技管理控制台统一管理访问权限，灵活分配 Kiro Pro、Pro+或 Power 版订阅套餐，还能设置超额使用权限、监控成本支出、控制 MCP 访问以及统一管理全组织账单。

全新管理仪表盘集成了所有必要工具，让团队、创业公司或大型企业均能通过单一系统全方位管理 Kiro。用户只需点击“使用组织身份登录”，并按流程操作完成认证流程即可。

初创企业专享：一年的 Kiro Pro+免费额度

亚马逊云科技同步推出创业公司专属福利：符合条件的创业公司可免费获得为期一年的 Kiro Pro+服务。该优惠面向全球 B 轮及之前的创业公司开放，有效期至 2025 年 12 月 31 日，赠额有限，先到先得，送完即止。Amazon Activate 云额度也能兑换 Kiro 服务，且两项优惠可叠加使用。

无论是跨团队、跨工具还是跨测试环节，Kiro 现在都能通过为 AI 驱动的开发带来恰当的上下文和结构，更好地支持你所需的工作方式。而这仅仅是个开始。

立即申请：

https://airtable.com/appyvqt3659loEEdN/pagUoOCii6OPMWPZd/form

通过 IDE 开始使用 Kiro：

https://kiro.dev/downloads/

通过 CLI 开始使用 Kiro：

https://kiro.dev/docs/cli/