AWS代理式IDE Kiro加入CLI與規格正確性測試，提升AI開發可靠度

AWS發布旗下人工智慧代理式IDE Kiro正式版，更新重點放在提升人工智慧協作開發流程的可控性與一致性，並將使用情境擴展到終端環境與多專案架構。Kiro以規格驅動開發（Spec-Driven Development，SDD）為核心，強調先記錄明確需求，再由人工智慧協助生成程式碼，在正式版本中，官方進一步補強測試能力、版本回溯機制與團隊管理功能。

Kiro引入屬性導向測試（Property-Based Tests），協助檢查規格與最終程式碼是否相符，傳統單元測試大多仰賴少量範例，測試角度容易受撰寫者思考侷限。Kiro則從EARS格式的需求描述中擷取可驗證行為，自動產生大量隨機測試案例，涵蓋更多情境檢查行為。當測試發現反例時，工具會提示修正程式或調整規格，雖非形式驗證，但在實務專案有助提升規格與實作的一致性，降低人工智慧自動生成程式碼偏離原意的風險。

Kiro還加入檢查點機制，避免人工智慧代理在多次修改後難以回到合適的狀態。系統會在代理每次變更時建立可回溯點，開發者可在不中斷後續工作安排的前提下回復至較早版本，對長任務或多階段實作特別有幫助，能減少重做與額外成本。

針對管理多模組或含多個套件專案的團隊，Kiro提供多根目錄工作空間支援，開發者可在同一工作區處理多個根目錄，像是主專案搭配共用程式碼的環境，現在能於單一Kiro工作空間中由人工智慧代理跨資料夾分析並生成程式碼，改善大型專案與單一儲存庫、多套件架構下的協作體驗。

此次更新也正式推出Kiro CLI，讓使用者能在終端機中使用與IDE相同設定的Kiro代理，CLI沿用行為指引檔（Steering Files）與MCP設定，支援Claude Sonnet 4.5、Claude Haiku 4.5與Auto等模型，可讀寫本機檔案、分析錯誤、追蹤臭蟲與修補程式碼，並支援依前端、後端或資料處理等領域建立客製化代理。

Kiro新增組織帳戶整合，團隊成員可透過AWS IAM Identity Center登入。管理者得以在AWS管理主控臺中分配訂閱方案、統一計費、設定MCP使用限制並管理權限，企業用戶只需以組織身分登入即可採用現有管理流程，有利於在團隊與企業規模下推動人工智慧協作式開發。