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 開發的最佳拍檔，而這僅僅是開始。
分享到 :
最新影片
