亚马逊云科技AI编码工具！从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/

本篇作者

Nikhil Swaminathan

亚马逊云科技产品团队产品负责人，主导面向开发者的Agentic AI研发工作。

Dragos Ilinca

负责产品营销推广。

我们正处在Agentic AI爆发前夜。企业要从"成本优化"转向"创新驱动"，通过完善的数据战略和AI云服务，把握全球化机遇。亚马逊将投入1000亿美元在AI算力、云基础设施等领域，通过领先的技术实力和帮助“中国企业出海“和”服务中国客户创新“的丰富经验，助力企业在AI时代突破。