Kiro reaches general availability with four major additions
Kiro has reached general availability, introducing features aimed at making spec-driven development more robust across varied workflows. The release centers on four enhancements: property-based testing to verify that generated code aligns with specs across thousands of input variations; checkpointing to rewind and restore agent-driven changes; multi-root workspaces for projects spanning multiple repositories; and a new Kiro CLI that brings agents, steering files, and context management to the terminal. The release also adds team management via AWS IAM Identity Center and a startup promotion offering one year’s worth of Kiro Pro+ for qualifying companies.
Measuring spec correctness with property-based testing
A persistent gap in AI-assisted code generation is verifying that generated implementations truly match intent. Kiro introduces property-based testing (PBT) that extracts universal properties from Specs written in EARS format (for example, "THE System SHALL allow authenticated users to view active car listings") and generates large numbers of randomized test cases to probe behavior beyond hand-crafted unit tests.
- Properties are expressed as universal statements: for any inputs satisfying preconditions, a predicate should hold.
- Kiro determines which properties can be tested, then runs hundreds or thousands of randomized cases, using shrinking techniques to identify minimal counterexamples when violations appear.
- When counterexamples are found, Kiro can either surface them for manual action or attempt automatic updates to the implementation, Spec, or the property tests themselves.
PBT is not a formal proof, but it supplies stronger empirical evidence that implementation matches intent across wide input spaces. More technical detail is available in the property-based testing deep dive: Read the full, technical deep-dive on property-based testing →
Rewind changes with checkpointing
Kiro now generates a checkpoint every time an agent takes an action or changes code. These checkpoints allow rolling back any number of steps in the agent execution flow without losing overall progress. This is intended to reduce rework and credit usage when experimentation or iterative agent-driven edits go off track. Further information is in the checkpointing deep dive: See the checkpointing deep dive →
Multi-root workspace support
Projects that span multiple git submodules or packages can now be handled within a single Kiro workspace. Multi-root workspaces let teams work across multiple top-level folders (for example, /users/bob/my-project alongside /shared/utils/auth) so agents can see and operate across the full project surface. Docs for this capability are available here: Read the docs for multi-root workspaces →
Introducing Kiro CLI
Kiro’s agent functionality is now available in the terminal via the Kiro CLI. The CLI brings the same steering files, MCP settings, and advanced context management from the IDE into a command-line workflow, including support for models like Claude Sonnet 4.5, Claude Haiku 4.5, and Auto. Capabilities include reading and writing files locally, calling APIs, running bash commands, handling MCP, and working with custom agents fine-tuned to specific areas of expertise (backend, frontend, etc.). Spec creation support is planned, while existing specs are already usable.
Install on macOS or Linux with:
curl -fsSL [https://cli.kiro.dev/install](https://cli.kiro.dev/install) | bash
A focused terminal loop aims to speed iteration; early users report improved speed and interactivity. Learn more about the CLI and custom agents here: Learn more about Kiro CLI and custom agents → and Get started with the CLI
Team plans and identity management
Organizational support has been added via AWS IAM Identity Center sign-in, with more identity providers planned. Admins can assign Pro, Pro+, or Power subscriptions, manage MCP and overages, monitor costs, and centralize billing through a new management dashboard.
Startup offer
Kiro is offering one year’s worth of Kiro Pro+ for qualifying startups (available globally to eligible startups up to Series B). The offer is available until December 31, 2025, while credits last. Existing AWS Activate credits can be applied and stack with this promotion. Details and application: one year’s worth of Kiro Pro+ for qualifying startups and Apply now →
Across IDE, CLI, and organizational controls, this general availability release emphasizes tooling that preserves context and structure for AI-assisted development workflows.
Original source: https://kiro.dev/blog/general-availability/
