AWS于今日正式宣布Kiro推出完整版本，这款工具专为团队和开发者设计，旨在于IDE与终端中打造更高效、更规范的AI研发工作流。自今年7月Kiro公开预览版以来，越来越多的团队采用Specs方式进行结构化的AI协同开发。AWS率先将“规范驱动开发（spec-driven development）”引入AI开发工具，让规划先行的模式逐渐获得业界认可，成为与AI Agent协作的新标准。

在过去几个月中，Kiro持续引入多项创新功能，包括远程MCP、全局steering文件、开发服务器支持、自动Agent模式以及更灵活的Specs设置。随着正式版的推出，Kiro更进一步提供属性测试（Property-based Testing）、进度检查点（Checkpointing）、全新Kiro CLI，以及专为团队设计的协作订阅服务，全面提升用户在计划、协作和交付AI研发项目时的效率与体验。

AI代码生成的一个关键问题是：用户如何确保生成的代码能按照预期运行？传统单元测试仅能验证特定案例，且无法覆盖所有边缘情况。相比之下，PBT通过检测代码是否符合规范所定义的行为，提供更全面的验证。

Kiro会根据用户的Specs提取系统应有行为的通用属性，并生成大量随机测试用例，针对代码进行全方位测试。例如：

PBT还内置“收缩”（shrinking）技术，模拟类似“红队”的破坏性测试，帮助用户改进代码实现或调整规范。虽然PBT无法完全证明代码的绝对正确性，但它能更高效地验证代码是否符合规范，让用户真正做到“规范驱动开发”。

Kiro现在支持在任务执行过程中的任意历史变更点进行回溯。无论是AI Agent的操作还是用户的手动操作，系统都会自动生成检查点，允许用户回滚至前一步，而不会丢失进度或消耗额外资源。这对于长时间运行的任务或复杂的实现过程尤其有用。

现在，Kiro支持跨多个项目根目录进行协作。对于包含多个Git子模块或多个代码包的大型团队，用户可以在单个工作区中同时管理多个项目根目录，实现更高效的多项目协作。

Kiro正式推出CLI（Command Line Interface），用户现在可以直接在终端中构建功能、关注错误、分析问题并生成修复建议。Kiro CLI与IDE共享相同的steering文件和MCP设置，确保修户在两个环境中都能无缝协作。

CLI的一大亮点是支持用户定制专属AI Agent，针对特定任务打造专业化助手，例如后端API模式专家或前端设计专家，极大提升了项目效率。

Kiro现已支持通过Amazon IAM Identity Center进行团队注册，未来将兼容更多身份服务商。管理员可在Amazon Management Console中分配订阅级别（Pro、Pro+ 或Power）、管理MCP权限以及监控成本，实现企业级的集中管理。

同时，AWS为初创企业推出了一年期的Kiro Pro+ 订阅优惠，适用于全球最高至B轮阶段的初创企业，申请截止至2025年12月31日。

Kiro的正式发布，不仅进一步强化了AI驱动开发的规范性与高效性，也为用户提供了从规划到交付的全新开发体验。无论是个人开发者还是大型团队，用户都能通过Kiro的工具和功能，构建更强大的AI研发工作流。现在，Kiro已经成为规范驱动AI开发的最佳拍文件，而这仅仅是开始。