AI 編程，無疑是這幾年最炙手可熱的技術潮流之一。然而，就在生成式 AI 重塑開發(fā)流程，顯著提升開發(fā)效率的同時，其帶來的“混沌困境”也日益凸顯。AI 生成的代碼看似聰明，卻難以融入整體架構；一次簡單的需求變更，就可能導致之前生成的代碼推倒重來。

開發(fā)者仿佛置身于一個由 AI 驅動的“代碼作坊”，效率時有閃現(xiàn)，但混亂、不可控與技術債的陰影始終揮之不去。

近日，亞馬遜云科技宣布 Kiro 正式可用（General Availability，GA），其核心主張 “規(guī)范驅動開發(fā)”（spec-driven development），回歸軟件工程根基，試圖解決 AI 編程最棘手的痛點，如何讓 AI 生成的代碼真正符合業(yè)務意圖，而非僅僅 “能運行”。

GA 不是終點，而是規(guī)范化協(xié)作的起點

2025 年 7 月，Kiro 預覽版發(fā)布，上線僅五天便吸引 10 萬開發(fā)者，三個月用戶破 25 萬，自發(fā)布以來處理了數(shù)萬億個 tokens，驗證了規(guī)范驅動開發(fā)的可行性。

而 Kiro 的 GA 發(fā)布，并非簡單地結束測試階段，而是標志著其從技術預覽走向了企業(yè)級可靠。此次 Kiro 正式版帶來了三大關鍵能力升級，包括屬性測試（PBT）、檢查點（Checkpointing）、Multi-root 工作區(qū)，以及全新的 Kiro CLI。更重要的是，Kiro 不再局限于個人開發(fā)者，而是面向組織級協(xié)作，完成了從個人高效工具到團隊協(xié)作平臺的升級。

Kiro CLI 正式發(fā)布，支持終端開發(fā)原生Agent

當開發(fā)者深陷終端與 IDE 頻繁切換的困擾時，Kiro CLI 帶來了破局之道。它專為終端環(huán)境設計，將 Agent 開發(fā)體驗融入命令行工作流。開發(fā)者只需在終端啟動會話，就可以完成功能構建、自動化工作流、分析錯誤、追蹤 bug 等任務。

Kiro CLI 繼承了 Kiro 的全部能力，包括調用 Claude Sonnet 4.5、Claude Haiku 4.5 和 Auto Agent，以及 steering 文件、高級上下文管理和用于本地讀寫文件、調用 API、運行 Bash 命令的 MCP 工具。此外，Kiro CLI 支持定制 Agent，可以為特定任務開發(fā)專業(yè) AI 助手，成為深度理解領域知識的專業(yè)伙伴，大幅提升代碼生成的準確性和實用性。

對開發(fā)者而言，Kiro CLI 填補了終端 AI 輔助缺口，服務器調試、SSH 連接等場景下無需切換 IDE，保持開發(fā)流暢度，實現(xiàn)了開發(fā)的效率提升。

在 Kiro IDE 方面，新版本引入了三項重要的新功能，解決 AI 編程的核心痛點。

屬性測試（PBT），讓 AI 真正理解你的意圖

傳統(tǒng)的單元測試（無論是人寫還是 AI 生成）都受限于測試用例作者的想象力，本質上是在驗證“特定輸入是否產(chǎn)生特定輸出”，極易遺漏邊緣情況。

Kiro 的屬性測試則重構了這一模式。它能深入分析項目規(guī)范，提取出代表系統(tǒng)應有行為的通用屬性，然后生成成百上千個隨機測試用例來檢查代碼。

以構建一個汽車銷售應用為例：

·傳統(tǒng)單元測試方法：用戶將第 5 號車加入收藏，結果第 5 號車出現(xiàn)在其列表中。

·屬性測試方法：對于任何用戶和任何汽車列表，當用戶將其添加到收藏夾時，系統(tǒng)應在該用戶的收藏夾列表中顯示該汽車。PBT 隨后會自動測試用戶昵稱中包含特殊字符、多用戶同時添加、不同汽車狀態(tài)等數(shù)百種組合，捕獲邊緣案例，真正驗證“實現(xiàn)是否匹配意圖”。

值得注意的是，屬性測試不是要替代單元測試，而是補足 AI 編程最薄弱的“正確性驗證”環(huán)節(jié)，提高了 AI 生成代碼質量的標準。

檢查點（Checkpoint）功能，讓 AI 編程過程可回溯

與 AI 智能體協(xié)同開發(fā)是一個動態(tài)的、探索性的過程。有時，一次指令的偏差可能導致后續(xù)的代碼生成走向歧路。Kiro 的檢查點功能，允許開發(fā)者在智能體執(zhí)行流程中的任意時刻設置檢查點，一旦對后續(xù)方向不滿意，可以一鍵回滾到之前的某個“檢查點”。開發(fā)者無需擔心試錯成本，顯著降低了與 AI 協(xié)作的認知負擔。

Multi-root 工作區(qū)支持，擁抱復雜的現(xiàn)實項目

現(xiàn)代開發(fā)，尤其是微服務架構下，同時處理多個關聯(lián)項目倉庫是常態(tài)。Kiro 新增的 Multi-root 工作區(qū)支持，讓開發(fā)者能在同一個 IDE 窗口中無縫管理多個項目根目錄，AI 智能體也能獲得跨項目的完整上下文，從而做出更合理的代碼決策。

團隊協(xié)作+初創(chuàng)賦能，構建全場景 AI 開發(fā)生態(tài)

當前多數(shù) AI 編程工具多以個人使用為核心，團隊協(xié)作時則面臨 “上下文斷裂、規(guī)范不一、權限混亂” 等問題。

為此，Kiro 提前布局，在正式版本中提供團隊支持。團隊可通過 Amazon IAM Identity Center 實現(xiàn)集中式管理，管理員可分配訂閱、監(jiān)控成本、控制工具權限，解決了此前 AI 工具個人使用方便，團隊協(xié)作混亂的問題。

此外，亞馬遜云科技還為初創(chuàng)企業(yè)推出專屬福利，B 輪及以前的合格初創(chuàng)企業(yè)可申請一年 Kiro Pro + 訂閱。已有的 Amazon Activate 積分也可用于 Kiro，并且兩項優(yōu)惠可以疊加使用。

在混沌中建立秩序，開啟 AI 編程規(guī)范時代

AI 編程的混沌源于 “缺乏規(guī)范的協(xié)作”，AI 缺乏對業(yè)務的全局理解，而開發(fā)者缺乏對 AI 的有效約束。Kiro 的規(guī)范驅動，本質上是建立 “人機協(xié)作的規(guī)范體系”。這種體系化思維，正是當前 AI 工具所缺失的。

從行業(yè)發(fā)展來看，早期 AI 編程工具聚焦 “生成效率”，解決了從 0 到 1 的問題，快速驗證創(chuàng)意想法；而當用戶規(guī)模擴大到百萬級，從 1 到 N 的生產(chǎn)級需求浮出水面。Kiro 的正式發(fā)布，正是順應了這一需求變遷。

它并未追求炫目的功能堆砌，而是回歸開發(fā)本質，讓工具服務于人，讓協(xié)作更高效，讓代碼更可靠。

對于開發(fā)者而言，Kiro 的價值不在于生成代碼更快，而在于讓開發(fā)過程更可控；對于行業(yè)而言，它的探索證明了 AI 編程的未來，不是替代開發(fā)者，而是通過結構化協(xié)作，讓開發(fā)者專注于更有創(chuàng)造性的工作。

未來的 AI 編程，終將讓技術回歸業(yè)務本質，實現(xiàn)效率與質量的雙重躍升。