（全球 TMT2025 年 11 月 18 日讯）亚马逊云科技宣布 Kiro 现已正式可用。自今年 7 月 Kiro 发布预览版以来，越来越多团队将 Specs 作为与 AI 协同构建的结构化方式；亚马逊云科技率先将规范驱动开发（spec-driven development）引入 AI 编码工具。过去数月，Kiro 持续引入远程 MCP、全局 steering 文件、开发服务器支持、Auto agent 以及通过可选任务提升 Specs 灵活性。此次正式可用，Kiro 进一步带来基于属性的测试、进度检查点、全新的 Kiro CLI 和团队版订阅等多项能力。

Kiro 正式版发布带来了一系列全新的核心功能升级：借助属性测试（Property-based testing，PBT）度量 " 规范正确性 "；借助检查点（Checkpointing）回溯变更；支持同时跨多个项目根目录进行协作。Kiro Agent 现在可以在用户的终端中使用。借助 CLI，用户可以在数秒内构建功能、自动化工作流、分析错误、追踪 bug 并提出修复建议。Kiro CLI 将 Kiro 的全部强大能力带到了终端——包括 Claude Sonnet 4.5、Claude Haiku 4.5 和 Auto Agent，以及引导文件、高级上下文管理和用于本地读写文件、调用 API、运行 Bash 命令的 MCP 工具。CLI 还支持定制 Agent。团队现在可以通过 Amazon IAM Identity Center 注册 Kiro，未来还将支持更多身份提供商。