New Delhi, Nov. 21 -- Kiro moves from preview to general availability, adding property-based testing for spec correctness, checkpointing, multi-root workspace support, a terminal CLI, and organisation-level subscription controls-features designed to tighten the loop between intent (specs) and implementation while giving teams governance and rollback tools.

Kiro's GA release bundles four headline capabilities intended to make building with AI agents more reliable and team-friendly: property-based testing (PBT) that measures whether code matches written specs; checkpointing to rewind agent execution; a Kiro CLI that brings agents to the terminal; and team/organisation plans with centralised management.

The company says specs-written in th...