亚马逊云科技推出Kiro AI编程工具
发生了什么
据InfoQ中文报道，亚马逊云科技推出Kiro，旨在解决AI代码进入工程体系的难题。Kiro采用规范驱动开发（Spec-driven），通过requirements.md、design.md和tasks.md实现需求、设计与任务的双向同步。核心能力包括基于属性的测试（PBT）以量化正确性，以及Checkpointing支持变更回溯。2025年11月Kiro正式可用，2026年8月4日开源持续运行工作区Kiro Crew，支持多Agent协作与长期任务调度。
进展与证据
只展示有原文依据的进展；报道时间与事件发生时间分别保留。
Kiro预览版推出
亚马逊云科技首次推出Kiro预览版，提出规范驱动开发概念。
Kiro正式可用
新增基于属性的测试（PBT）、进度检查点及CLI团队订阅。
Kiro Crew开源
开源持续运行工作区Kiro Crew，支持多Agent协作与状态保持。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
- InfoQ 中文来源报道
AI 生成的代码，怎么才能进得了工程体系？
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口