南派資訊：11月18日，亞馬遜云科技宣布Kiro現(xiàn)已正式可用，助力用戶在IDE與終端中與團隊一起構(gòu)建更強大的AI研發(fā)工作流。自今年7月Kiro發(fā)布預覽版以來，越來越多團隊將Specs作為與AI協(xié)同構(gòu)建的結(jié)構(gòu)化方式；亞馬遜云科技率先將規(guī)范驅(qū)動開發(fā)（spec-driven development）引入AI編碼工具，這一方法已逐步獲得行業(yè)認可，規(guī)劃先行正成為與AI Agent協(xié)作的有效路徑。過去數(shù)月，Kiro持續(xù)引入遠程MCP、全局steering文件、開發(fā)服務器支持、Auto agent以及通過可選任務提升Specs靈活性。此次正式可用，Kiro進一步帶來基于屬性的測試、進度檢查點、全新的Kiro CLI和團隊版訂閱等多項能力，為用戶在AI研發(fā)工作流中的規(guī)劃、協(xié)作與交付提供更強支持。

Kiro正式版發(fā)布帶來了一系列全新的核心功能升級：

1：借助屬性測試（PBT）度量“規(guī)范正確性”

AI代碼生成存在一個根本性的問題：用戶如何知道生成的代碼真的是按其所指定的方式運行？傳統(tǒng)的單元測試僅驗證特定例子。更棘手的是，無論測試編寫者是人還是AI，都受限于自身思維定勢。他們必須考慮所有不同、具體的場景去測試代碼，而他們會遺漏那些沒想到的邊緣情況。AI模型常?！般@空子”——通過修改測試而不是修復代碼，或者陷入無盡循環(huán)修復問題。

基于屬性的測試（Property-based testing，PBT）則正為解決這一挑戰(zhàn)而生，它能夠通過檢測代碼是否符合規(guī)范定義的行為來解決上述問題。與測試具體示例不同，Kiro會深入分析項目規(guī)范，提取出代表系統(tǒng)應有行為的通用屬性，并據(jù)此進行驗證。

這里所說的屬性（Property）是一個普適性聲明：對于任何一組輸入，只要某些先決條件成立，某個斷言（預期行為）就應為真。例如：“對于任何已驗證用戶和任何活躍列表，該用戶可以查看該列表?！盞iro能夠協(xié)助用戶使用EARS格式撰寫規(guī)范。Kiro會從相關(guān)需求中提取屬性，確定哪些可以進行邏輯測試，然后生成成百上千個隨機測試用例來檢查用戶代碼。

以構(gòu)建一個汽車銷售應用為例：

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

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

在整個過程中，PBT通過一種被稱為“收縮”（shrinking）的技術(shù)不斷尋找反例，幾乎就像一支試圖破壞用戶代碼的“紅隊”。當發(fā)現(xiàn)違規(guī)或反例時，Kiro可以自動更新用戶的實現(xiàn)，或提供選項以調(diào)整規(guī)范、修改實現(xiàn)，或修正相應的PBT測試。這樣做的重要性在于，雖然PBT不能完全證明代碼的正確性，但它能夠在大量無法通過手動方式逐一編寫的測試場景下提供實現(xiàn)正確性的依據(jù)，從而展示實現(xiàn)是否真正符合預先定義的行為。

2：借助檢查點（Checkpointing）回溯變更

用戶現(xiàn)在可以回溯到 Agent 執(zhí)行流中的任何一個歷史變更點。Kiro 會在 Agent 每次執(zhí)行變更或操作時生成一個檢查點。用戶可以回滾任意步，而不會丟失進度或重復消耗算力。當在任務實現(xiàn)中走了很遠，但不想丟失進度時，這非常有用。

這一功能在任務執(zhí)行至關(guān)鍵階段時尤為實用：既可避免因操作失誤導致的進度丟失，也無需消耗額外額度重復完成已開展的工作。

3：Multi-root工作區(qū)支持

Kiro現(xiàn)已支持同時跨多個項目根目錄進行協(xié)作。對于單個項目包含多個Git子模塊或多個代碼包的團隊而言，如今都可以跨所有項目根目錄與AI Agent協(xié)作。

常規(guī)的Kiro工作區(qū)僅包含一個單獨的“root”文件夾（例如/users/bob/my-project）。啟用多工作區(qū)支持后，單個Kiro工作區(qū)可設(shè)置多個根目錄，例如一個工作區(qū)中可同時將/users/bob/my-project和/shared/utils/auth設(shè)為頂級文件夾。

Kiro CLI 正式發(fā)布：Agent入駐終端

Kiro Agent現(xiàn)在可以在用戶的終端中使用。借助CLI，用戶可以在數(shù)秒內(nèi)構(gòu)建功能、自動化工作流、分析錯誤、追蹤bug并提出修復建議——所有操作都在用戶所選擇的終端中進行，以高度交互的循環(huán)保持工作流。Kiro CLI與Kiro IDE中的steering文件和MCP設(shè)置共享，使用戶和團隊在兩個環(huán)境中都可使用相同的工具和偏好。

Kiro CLI將Kiro的全部強大能力帶到了終端——包括Claude Sonnet 4.5、Claude Haiku 4.5 和 Auto Agent，以及引導文件、高級上下文管理和用于本地讀寫文件、調(diào)用API、運行Bash命令的MCP工具。規(guī)范創(chuàng)建支持即將推出，但用戶已經(jīng)可以在CLI中使用現(xiàn)有規(guī)范。

CLI還支持定制Agent，即用戶為特定任務打造的專業(yè)化AI助手——使用預批準的工具權(quán)限、上下文文件以及自定義prompt進行優(yōu)化。例如，用戶可以有一個后端專家Agent專注于API模式和schema；或者一個前端Agent只了解用戶組件體系。每個Agent都會將上下文窗口專注于關(guān)鍵內(nèi)容?？梢詫⒍ㄖ艫gent視為一種高度精確封裝專業(yè)知識的方式，使Kiro能夠作為該領(lǐng)域?qū)＜野l(fā)揮作用，而無需用戶重復輸入信息或擔心上下文衰退。

過去幾周中使用CLI構(gòu)建的用戶表示非常喜歡CLI的速度和交互體驗。用戶可使用與IDE中相同的Kiro訂閱賬戶和登錄憑證來操作CLI，兩款工具共享額度限制與超額使用規(guī)則。欲了解更多關(guān)于Kiro CLI和定制Agent的內(nèi)容，請點擊https://kiro.dev/blog/introducing-kiro-cli/

團隊現(xiàn)在可以通過Amazon IAM Identity Center注冊Kiro，未來還將支持更多身份提供商。管理員可以在Amazon Management Console中管理訪問權(quán)限，并分配Pro、Pro+或Power訂閱。他們還可以開啟超額計費、監(jiān)控成本、控制MCP權(quán)限，并為整個企業(yè)統(tǒng)一管理賬單。全新的管理控制臺集中提供了管理Kiro所需的一切工具，無論是團隊、初創(chuàng)公司還是大型企業(yè)用戶。作為用戶，只需點擊“使用企業(yè)身份登錄”并按照提示完成操作即可。

另外，亞馬遜云科技還為初創(chuàng)企業(yè)推出專屬福利：符合條件的初創(chuàng)企業(yè)可獲得一年期的Kiro Pro+訂閱。該優(yōu)惠面向全球最高至B輪階段的初創(chuàng)企業(yè)開放，截止日期為2025年12月31日。已有的Amazon Activate積分也可用于Kiro，并且兩項優(yōu)惠可以疊加使用。

現(xiàn)在，Kiro能夠在在團隊、工具和測試各個環(huán)節(jié)中，通過提供恰當?shù)纳舷挛暮徒Y(jié)構(gòu)，更好地支持用戶所期望的AI驅(qū)動開發(fā)方式。而這一切僅僅是開始。