亞馬遜云科技宣布Kiro正式可用在IDE與終端

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

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

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

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

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

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

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

傳統單元測試方法：用戶將第5號車加入收藏，結果第5號車出現在其列表中。

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

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

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

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

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

3：Multi-root工作區支持

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

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

Kiro CLI 正式發布：Agent入駐終端

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

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

CLI還支持定制Agent，即用戶為特定任務打造的專業化AI助手——使用預批準的工具權限、上下文文件以及自定義prompt進行優化。例如，用戶可以有一個后端專家Agent專注于API模式和schema；或者一個前端Agent只了解用戶組件體系。每個Agent都會將上下文窗口專注于關鍵內容。可以將定制Agent視為一種高度精確封裝專業知識的方式，使Kiro能夠作為該領域專家發揮作用，而無需用戶重復輸入信息或擔心上下文衰退。

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

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

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

現在，Kiro能夠在在團隊、工具和測試各個環節中，通過提供恰當的上下文和結構，更好地支持用戶所期望的AI驅動開發方式。而這一切僅僅是開始。