在IDE與終端中與團(tuán)隊(duì)一起構(gòu)建更強(qiáng)大的AI研發(fā)工作流
北京2025年11月18日 /美通社/ -- 亞馬遜云科技宣布Kiro現(xiàn)已正式可用，助力用戶在IDE與終端中與團(tuán)隊(duì)一起構(gòu)建更強(qiáng)大的AI研發(fā)工作流。自今年7月Kiro發(fā)布預(yù)覽版以來，越來越多團(tuán)隊(duì)將Specs作為與AI協(xié)同構(gòu)建的結(jié)構(gòu)化方式；亞馬遜云科技率先將規(guī)范驅(qū)動(dòng)開發(fā)（spec-driven development）引入AI編碼工具，這一方法已逐步獲得行業(yè)認(rèn)可，規(guī)劃先行正成為與AI Agent協(xié)作的有效路徑。過去數(shù)月，Kiro持續(xù)引入遠(yuǎn)程MCP、全局steering文件、開發(fā)服務(wù)器支持、Auto agent以及通過可選任務(wù)提升Specs靈活性。此次正式可用，Kiro進(jìn)一步帶來基于屬性的測試、進(jìn)度檢查點(diǎn)、全新的Kiro CLI和團(tuán)隊(duì)版訂閱等多項(xiàng)能力，為用戶在AI研發(fā)工作流中的規(guī)劃、協(xié)作與交付提供更強(qiáng)支持。
Kiro正式版發(fā)布帶來了一系列全新的核心功能升級(jí)：
1：借助屬性測試（PBT）度量"規(guī)范正確性"
AI代碼生成存在一個(gè)根本性的問題：用戶如何知道生成的代碼真的是按其所指定的方式運(yùn)行？傳統(tǒng)的單元測試僅驗(yàn)證特定例子。更棘手的是，無論測試編寫者是人還是AI，都受限于自身思維定勢。他們必須考慮所有不同、具體的場景去測試代碼，而他們會(huì)遺漏那些沒想到的邊緣情況。AI模型常常"鉆空子"——通過修改測試而不是修復(fù)代碼，或者陷入無盡循環(huán)修復(fù)問題。
基于屬性的測試（Property-based testing，PBT）則正為解決這一挑戰(zhàn)而生，它能夠通過檢測代碼是否符合規(guī)范定義的行為來解決上述問題。與測試具體示例不同，Kiro會(huì)深入分析項(xiàng)目規(guī)范，提取出代表系統(tǒng)應(yīng)有行為的通用屬性，并據(jù)此進(jìn)行驗(yàn)證。
這里所說的屬性（Property）是一個(gè)普適性聲明：對(duì)于任何一組輸入，只要某些先決條件成立，某個(gè)斷言（預(yù)期行為）就應(yīng)為真。例如："對(duì)于任何已驗(yàn)證用戶和任何活躍列表，該用戶可以查看該列表。"Kiro能夠協(xié)助用戶使用EARS格式撰寫規(guī)范。Kiro會(huì)從相關(guān)需求中提取屬性，確定哪些可以進(jìn)行邏輯測試，然后生成成百上千個(gè)隨機(jī)測試用例來檢查用戶代碼。
以構(gòu)建一個(gè)汽車銷售應(yīng)用為例：
在整個(gè)過程中，PBT通過一種被稱為"收縮"（shrinking）的技術(shù)不斷尋找反例，幾乎就像一支試圖破壞用戶代碼的"紅隊(duì)"。當(dāng)發(fā)現(xiàn)違規(guī)或反例時(shí)，Kiro可以自動(dòng)更新用戶的實(shí)現(xiàn)，或提供選項(xiàng)以調(diào)整規(guī)范、修改實(shí)現(xiàn)，或修正相應(yīng)的PBT測試。這樣做的重要性在于，雖然PBT不能完全證明代碼的正確性，但它能夠在大量無法通過手動(dòng)方式逐一編寫的測試場景下提供實(shí)現(xiàn)正確性的依據(jù)，從而展示實(shí)現(xiàn)是否真正符合預(yù)先定義的行為。
2：借助檢查點(diǎn)（Checkpointing）回溯變更
用戶現(xiàn)在可以回溯到Agent執(zhí)行流中的任何一個(gè)歷史變更點(diǎn)。Kiro會(huì)在Agent每次執(zhí)行變更或操作時(shí)生成一個(gè)檢查點(diǎn)。用戶可以回滾任意步，而不會(huì)丟失進(jìn)度或重復(fù)消耗算力。當(dāng)在任務(wù)實(shí)現(xiàn)中走了很遠(yuǎn)，但不想丟失進(jìn)度時(shí)，這非常有用。
這一功能在任務(wù)執(zhí)行至關(guān)鍵階段時(shí)尤為實(shí)用：既可避免因操作失誤導(dǎo)致的進(jìn)度丟失，也無需消耗額外額度重復(fù)完成已開展的工作。
3：Multi-root工作區(qū)支持
Kiro現(xiàn)已支持同時(shí)跨多個(gè)項(xiàng)目根目錄進(jìn)行協(xié)作。對(duì)于單個(gè)項(xiàng)目包含多個(gè)Git子模塊或多個(gè)代碼包的團(tuán)隊(duì)而言，如今都可以跨所有項(xiàng)目根目錄與AI Agent協(xié)作。
常規(guī)的Kiro工作區(qū)僅包含一個(gè)單獨(dú)的"root"文件夾（例如/users/bob/my-project）。啟用多工作區(qū)支持后，單個(gè)Kiro工作區(qū)可設(shè)置多個(gè)根目錄，例如一個(gè)工作區(qū)中可同時(shí)將/users/bob/my-project和/shared/utils/auth設(shè)為頂級(jí)文件夾。
Kiro CLI 正式發(fā)布：Agent入駐終端
Kiro Agent現(xiàn)在可以在用戶的終端中使用。借助CLI，用戶可以在數(shù)秒內(nèi)構(gòu)建功能、自動(dòng)化工作流、分析錯(cuò)誤、追蹤bug并提出修復(fù)建議——所有操作都在用戶所選擇的終端中進(jìn)行，以高度交互的循環(huán)保持工作流。Kiro CLI與Kiro IDE中的steering文件和MCP設(shè)置共享，使用戶和團(tuán)隊(duì)在兩個(gè)環(huán)境中都可使用相同的工具和偏好。
Kiro CLI將Kiro的全部強(qiáng)大能力帶到了終端——包括Claude Sonnet 4.5、Claude Haiku 4.5 和 Auto Agent，以及引導(dǎo)文件、高級(jí)上下文管理和用于本地讀寫文件、調(diào)用API、運(yùn)行Bash命令的MCP工具。規(guī)范創(chuàng)建支持即將推出，但用戶已經(jīng)可以在CLI中使用現(xiàn)有規(guī)范。
CLI還支持定制Agent，即用戶為特定任務(wù)打造的專業(yè)化AI助手——使用預(yù)批準(zhǔn)的工具權(quán)限、上下文文件以及自定義prompt進(jìn)行優(yōu)化。例如，用戶可以有一個(gè)后端專家Agent專注于API模式和schema；或者一個(gè)前端Agent只了解用戶組件體系。每個(gè)Agent都會(huì)將上下文窗口專注于關(guān)鍵內(nèi)容。可以將定制Agent視為一種高度精確封裝專業(yè)知識(shí)的方式，使Kiro能夠作為該領(lǐng)域?qū)＜野l(fā)揮作用，而無需用戶重復(fù)輸入信息或擔(dān)心上下文衰退。
過去幾周中使用CLI構(gòu)建的用戶表示非常喜歡CLI的速度和交互體驗(yàn)。用戶可使用與IDE中相同的Kiro訂閱賬戶和登錄憑證來操作CLI，兩款工具共享額度限制與超額使用規(guī)則。欲了解更多關(guān)于Kiro CLI和定制Agent的內(nèi)容，請點(diǎn)擊https://kiro.dev/blog/introducing-kiro-cli/
Kiro for Organizations：為團(tuán)隊(duì)協(xié)作而生
團(tuán)隊(duì)現(xiàn)在可以通過Amazon IAM Identity Center注冊Kiro，未來還將支持更多身份提供商。管理員可以在Amazon Management Console中管理訪問權(quán)限，并分配Pro、Pro+或Power訂閱。他們還可以開啟超額計(jì)費(fèi)、監(jiān)控成本、控制MCP權(quán)限，并為整個(gè)企業(yè)統(tǒng)一管理賬單。全新的管理控制臺(tái)集中提供了管理Kiro所需的一切工具，無論是團(tuán)隊(duì)、初創(chuàng)公司還是大型企業(yè)用戶。作為用戶，只需點(diǎn)擊"使用企業(yè)身份登錄"并按照提示完成操作即可。
另外，亞馬遜云科技還為初創(chuàng)企業(yè)推出專屬福利：符合條件的初創(chuàng)企業(yè)可獲得一年期的Kiro Pro+訂閱。該優(yōu)惠面向全球最高至B輪階段的初創(chuàng)企業(yè)開放，截止日期為2025年12月31日。已有的Amazon Activate積分也可用于Kiro，并且兩項(xiàng)優(yōu)惠可以疊加使用。
現(xiàn)在，Kiro能夠在在團(tuán)隊(duì)、工具和測試各個(gè)環(huán)節(jié)中，通過提供恰當(dāng)?shù)纳舷挛暮徒Y(jié)構(gòu)，更好地支持用戶所期望的AI驅(qū)動(dòng)開發(fā)方式。而這一切僅僅是開始。
