Kiro: Move beyond AI coding to agentic engineering

网站简介

Kiro 是一个面向开发者和团队的 AI 编程平台，致力于将传统的 AI 编码辅助提升到“智能体工程”（Agentic Engineering）的新高度。它帮助开发者将提示词转化为可执行的规格说明，用并行智能体在大型代码库中高效开发，并通过自动化推理和基于属性的测试捕捉单元测试遗漏的缺陷。Kiro 支持本地或云端会话，提供命令行工具和丰富的模型选择，旨在让团队以更可控、更可靠的方式交付高质量代码。

主要功能/内容

1. 规格驱动开发（Spec-Driven Development）

Kiro 能将你的提示词转化为需求、架构设计和有序任务，然后使用并行智能体实现它们。基于属性的测试可以捕获那些通过单元测试但在生产环境中崩溃的边界情况，确保代码不仅通过测试，而且符合预期的规格。

2. 自动化正确性检查

在编写代码之前，Kiro 使用自动化推理技术检查需求的矛盾和缺口。它通过基于属性的测试（类似模糊测试）验证代码行为，断言必须对所有输入成立的规则，而不是仅检查几个示例，从而发现传统单元测试遗漏的问题。

3. 并行智能体与多模型支持

Kiro 支持在本地或云端使用并行智能体进行开发。它集成了多种主流模型，包括 Anthropic Claude 系列（Opus、Sonnet、Haiku）、OpenAI GPT-5.6 系列（Sol、Terra、Luna）、以及开放权重模型如 DeepSeek、Qwen、MiniMax、GLM 等。用户可以选择固定模型，或使用“Auto”模式，让 Kiro 根据任务复杂度自动选择最合适的模型，平衡质量、延迟和成本。

4. 端到端工作流集成

从规划规格到实现、测试、再到拉取请求，Kiro 全程伴随。它可以拉取 Figma 或 Terraform 等工具的上下文，并支持在 CI/CD 中无头运行 CLI，自动审查 PR 并修复 bug，无需打开编辑器。

5. CLI 和云会话

用户可以通过命令行安装 Kiro CLI，并启动云会话，方便在远程或 CI 环境中使用。

6. 持续更新与社区活动

Kiro 定期举办黑客马拉松（如 Kiroween hackathon），并扩展学生计划，支持更多大学。其软件工厂稳定性已能达到每周 1000 个 PR 的规模。

特点说明

• 超越“测试通过”：Kiro 强调“所有测试通过不代表代码符合意图”，通过自动化推理和属性测试确保代码行为符合规格。
• 多模型灵活选择：提供从低成本高吞吐（如 DeepSeek 0.25x 积分）到高性能复杂任务（如 Claude Opus 5 2.2x）的多种模型，Auto 模式可自动选择最优。
• 智能体协作：并行智能体可同时处理多个任务，适用于大型代码库，且能从每次会话中学习。
• 本地与云端无缝切换：既支持本地开发，也支持云端会话和 CI/CD 集成，适应不同工作场景。
• 开发者友好：提供 CLI 工具，安装简单（一行命令），并支持在无编辑器环境下运行。

总之，Kiro 是一个面向专业开发者和团队的智能体编程平台，它通过规格驱动开发、自动化测试和多种模型集成，帮助团队高效、可靠地构建和维护复杂软件项目。