Kiro Reaches General Availability, Adds New Capabilities for AI-Assisted Software Development

Kiro has moved to general availability, introducing a series of features aimed at improving the reliability, governance and team-wide use of AI agents in software projects. The update follows several months of preview adoption, during which spec-driven development gained traction among engineering teams seeking more structured ways to integrate AI into coding workflows.

One of the most significant additions is property-based testing, which evaluates whether code generated with AI aligns with the behavioural requirements outlined in a project’s specifications. Unlike traditional unit tests that check a limited number of scenarios, property-based testing generates hundreds or thousands of test cases to uncover inconsistencies, edge cases or deviations from expected behaviour.

Kiro has also added checkpointing, allowing developers to revert to earlier stages of an agent’s actions without losing overall progress. The platform now supports multi-root workspaces as well, enabling development across multiple project folders — a capability relevant to teams ...