钛媒体 App 11 月 19 日消息，亚马逊云科技宣布 AI 研发工具 Kiro 正式可用，通过规范驱动开发提升 IDE 与终端团队协作效率。继 7 月预览版后，此次推出基于属性的测试（PBT）、检查点回溯等核心升级：PBT 自动生成边缘场景用例验证规范正确性，解决 AI 代码生成验证难题；检查点功能支持回溯 Agent 执行历史，避免进度丢失。全新 Kiro CLI 将 Agent 能力引入终端，支持 Claude 大模型及定制化 Agent，团队版可通过 IAM Identity Center 管理权限。此外，Kiro 针对 B 轮前初创企业可享专属优惠，叠加 Amazon Activate 积分至 2025 年底。（广角观察）