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 研發項目時的效率與體驗。
三大核心功能亮點
- 屬性測試(Property-based Testing, PBT):實現規範與代碼的深度驗證
AI 代碼生成的一個關鍵問題是:用戶如何確保生成的代碼能按照預期運行?傳統單元測試僅能驗證特定案例,且無法覆蓋所有邊緣情況。相比之下,PBT 通過檢測代碼是否符合規範所定義的行為,提供更全面的驗證。
Kiro 會根據用戶的 Specs 提取系統應有行為的通用屬性,並生成大量隨機測試用例,針對代碼進行全方位測試。例如:
- 傳統單元測試方法: 驗證當用戶將第 5 號車輛加入收藏時,其會出現在收藏清單中。
- 屬性測試方法: 驗證「任何用戶在任何情況下,將車輛加入收藏後,該車輛應顯示於其收藏清單中」,並自動測試多種情境(如特殊字符、多用戶同時操作等),捕捉潛在的邊緣案例。
PBT 還內置「收縮」(shrinking)技術,模擬類似「紅隊」的破壞性測試,幫助用戶改進代碼實現或調整規範。雖然 PBT 無法完全證明代碼的絕對正確性,但它能更高效地驗證代碼是否符合規範,讓用戶真正做到「規範驅動開發」。

- 進度檢查點(Checkpointing):靈活回溯變更
Kiro 現在支援在任務執行過程中的任意歷史變更點進行回溯。無論是 AI Agent 的操作還是用戶的手動操作,系統都會自動生成檢查點,允許用戶回滾至前一步,而不會丟失進度或消耗額外資源。這對於長時間運行的任務或複雜的實現過程尤其有用。
- Multi-root 工作區支援:多項目協作更高效
現在,Kiro 支援跨多個項目根目錄進行協作。對於包含多個 Git 子模組或多個代碼包的大型團隊,用戶可以在單個工作區中同時管理多個項目根目錄,實現更高效的多項目協作。
Kiro CLI:將強大功能帶到終端

Kiro 正式推出 CLI(Command Line Interface),用戶現在可以直接在終端中構建功能、追蹤錯誤、分析問題並生成修復建議。Kiro CLI 與 IDE 共享相同的 steering 文件和 MCP 設定,確保用戶在兩個環境中都能無縫協作。
CLI 的一大亮點是支援用戶定制專屬 AI Agent,針對特定任務打造專業化助手,例如後端 API 模式專家或前端設計專家,極大提升了項目效率。
Kiro for Organizations:專為團隊協作而設計
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 開發的最佳拍檔,而這僅僅是開始。
分享到 :
最新影片