Kiro is an agentic IDE that helps you go from prototype to production with spec-driven development.