Kiro：从 AI 编码迈向智能体工程

Kiro 主打"智能体工程"，可将提示词转为可执行规格，并在写代码前用自动化推理检查需求矛盾与缺口，再用基于属性的测试（类似模糊测试）验证行为，捕捉单元测试遗漏的问题。