（全球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，未来还将支持更多身份提供商。