Kiro est maintenant offert de façon générale : concevez avec votre équipe dans l'IDE et le terminal

Les demandes de crédits pour les startups sont closes en raison de la forte demande. Nous continuons d'examiner les demandes de façon continue. Restez à l'affût des mises à jour.

---

Depuis le lancement de Kiro en préversion en juillet, nous avons observé une forte adoption des Specs comme façon structurée de concevoir avec l'IA. Nous avons été les premiers à apporter le développement piloté par les Specs aux outils de programmation avec l'IA, et l'industrie au sens large a reconnu sa valeur — la planification est la bonne façon de travailler avec des agents d'IA.

Au cours des derniers mois, nous avons ajouté des capacités comme le MCP distant, les fichiers de Steering globaux, la prise en charge des serveurs de développement, notre agent Auto, et une plus grande flexibilité des specs grâce aux tâches facultatives.

Aujourd'hui, avec la disponibilité générale, nous lançons un ensemble de toutes nouvelles capacités : 1/ des tests basés sur les propriétés pour la justesse des specs (qui mesurent si votre code correspond réellement à ce que vous avez spécifié); 2/ une nouvelle façon de créer des points de contrôle de votre progression sur Kiro; 3/ un nouveau Kiro CLI qui amène les agents dans votre terminal et; 4/ des forfaits d'équipe avec un moyen simple de les gérer de façon centralisée.

La nouvelle version de Kiro IDE introduit trois nouvelles capacités.

Il y a un problème fondamental avec la génération de code par l'IA : comment savoir si le code fait réellement ce que vous avez spécifié? Les tests unitaires traditionnels ne vérifient que des exemples précis. Pire encore, quiconque écrit les tests (humain ou IA) est limité par ses propres biais — il doit penser à tous les différents scénarios précis pour tester le code, et il manquera des cas limites auxquels il n'a pas pensé. Les modèles d'IA « trichent » souvent la solution en modifiant les tests plutôt qu'en corrigeant le code, ou tournent en boucles infinies pour corriger les problèmes.

Les tests basés sur les propriétés (PBT) règlent ce problème en mesurant si votre code correspond au comportement que vous avez défini dans votre Spec. Plutôt que de tester des exemples précis, Kiro parcourt les spécifications de votre projet et en extrait des propriétés qui représentent la façon dont le système devrait généralement se comporter, puis effectue des tests en fonction de celles-ci.

Qu'est-ce qu'une propriété? Une propriété est un énoncé universel : pour tout ensemble d'entrées, tel que certaines conditions préalables sont respectées, un certain prédicat (comportement attendu) est vrai. Par exemple : « Pour tout utilisateur authentifié et toute annonce active, l'utilisateur peut consulter cette annonce. »

Comment ça fonctionne : Kiro vous aide à rédiger des spécifications en utilisant le format EARS (p. ex., « LE système DOIT permettre aux utilisateurs authentifiés de consulter les annonces de voitures actives »). Kiro extrait des propriétés de ces exigences, détermine lesquelles peuvent être testées logiquement, puis génère des centaines ou des milliers de cas de test aléatoires pour vérifier votre code. Par exemple, si vous concevez une application de vente de voitures :

• Approche par test unitaire traditionnel : l'utilisateur ajoute la voiture no 5 à ses favoris, la voiture no 5 apparaît dans sa liste
• Approche par test basé sur les propriétés : pour tout utilisateur et toute annonce de voiture, QUAND l'utilisateur ajoute la voiture à ses favoris, LE système DOIT afficher cette voiture dans sa liste de favoris. Les PBT testent ensuite cela automatiquement avec l'utilisateur A ajoutant la voiture no 1, l'utilisateur B ajoutant la voiture no 500, l'utilisateur C ajoutant plusieurs voitures, des utilisateurs avec des caractères spéciaux dans leur nom d'utilisateur, des voitures avec divers statuts (neuve, usagée, certifiée), et des centaines d'autres combinaisons, repérant les cas limites et vérifiant que l'implémentation correspond à votre intention.

Tout au long de ce processus, les PBT sondent pour trouver des contre-exemples grâce à une technique appelée « réduction » (shrinking) — un peu comme une « équipe rouge » qui tente de briser votre code. Lorsqu'ils trouvent des violations ou des contre-exemples, Kiro peut mettre à jour automatiquement votre implémentation, ou proposer des options pour corriger le Spec, l'implémentation ou le PBT lui-même.

Pourquoi c'est important : bien que les PBT ne constituent pas une vérification ou une preuve, ils fournissent des données probantes sur la justesse dans des scénarios que vous n'écririez jamais manuellement — montrant si votre implémentation se comporte réellement selon ce que vous avez défini.

Lisez l'analyse technique approfondie complète sur les tests basés sur les propriétés →

Vous pouvez maintenant revenir à un changement précédent dans le déroulement de l'exécution de votre agent. Kiro génère un point de contrôle chaque fois que l'agent effectue un changement ou entreprend une action. Vous pouvez revenir en arrière d'un nombre quelconque d'étapes sans perdre votre progression. Cela est utile lorsque vous êtes bien avancé dans l'implémentation d'une tâche et que vous ne voulez pas perdre votre progression ou dépenser des crédits pour refaire le travail.

Consultez l'analyse approfondie des points de contrôle →

Kiro prend maintenant en charge le travail dans plusieurs racines de projet simultanément. Les équipes ayant plusieurs sous-modules git ou plusieurs paquets dans un même projet peuvent maintenant travailler avec l'agent d'IA sur l'ensemble de ceux-ci. Un espace de travail Kiro typique contient un seul dossier « racine », p. ex. /users/bob/my-project. Avec la prise en charge des espaces de travail multiples, un seul espace de travail Kiro peut avoir plusieurs racines, p. ex. un seul espace de travail qui contient à la fois /users/bob/my-project et /shared/utils/auth comme dossiers de premier niveau.

Consultez la documentation sur les espaces de travail à racines multiples →

L'agent Kiro est maintenant disponible dans votre terminal. Utilisez l'interface CLI pour créer des fonctionnalités, automatiser des flux de travail en quelques secondes, analyser des erreurs, retracer des bogues et proposer des correctifs — tout cela dans le terminal de votre choix, dans une boucle hautement interactive qui vous garde dans le flux. Kiro CLI fonctionne avec les mêmes fichiers de Steering et les mêmes paramètres MCP que ceux configurés dans Kiro IDE, afin que vous et votre équipe ayez accès aux mêmes outils et préférences dans les deux environnements.

Ce qui est inclus : l'interface CLI apporte toute la puissance de Kiro à votre terminal — Claude Sonnet 4.5, Claude Haiku 4.5 et Auto, avec des fichiers de Steering, une gestion avancée du contexte et des outils MCP pour lire et écrire des fichiers localement, appeler des API et exécuter des commandes bash. La prise en charge de la création de Specs arrivera bientôt, mais vous pouvez déjà travailler avec des specs existantes dans l'interface CLI. L'interface CLI prend aussi en charge les agents personnalisés, des assistants d'IA spécialisés que vous adaptez à des tâches précises — optimisés avec des autorisations d'outils préapprouvées, vos fichiers de contexte et des requêtes personnalisées. Par exemple, votre spécialiste du backend se concentre uniquement sur vos modèles d'API et vos schémas. Votre agent frontend ne connaît que vos composants. Chaque agent utilise sa fenêtre de contexte uniquement pour ce qui compte. Pensez aux agents personnalisés comme à une façon d'organiser l'expertise de façon très précise afin que Kiro agisse comme un expert dans ce domaine sans que vous ayez à vous répéter ou à risquer une dégradation du contexte.

Les utilisateurs qui conçoivent avec l'interface CLI depuis quelques semaines nous disent qu'ils adorent la rapidité et l'interactivité.

Vous pouvez utiliser l'interface CLI avec le même abonnement et la même connexion Kiro que vous utilisez dans l'IDE, avec des limites de crédits et des dépassements partagés entre les deux outils. Installez-la sur macOS ou Linux :

En savoir plus sur Kiro CLI et les agents personnalisés →

Les équipes peuvent maintenant s'inscrire à Kiro via AWS IAM Identity Center, avec la prise en charge d'autres fournisseurs d'identité à venir. Les administrateurs peuvent gérer l'accès à partir de la AWS Management Console, où ils peuvent attribuer des abonnements Pro, Pro+ ou Power. Ils peuvent aussi activer les dépassements, surveiller les coûts, contrôler le MCP et gérer une facture unique pour l'ensemble de l'organisation. Le nouveau tableau de bord de gestion vous donne tous les outils dont vous avez besoin pour gérer Kiro pour votre équipe, votre startup ou votre entreprise, à partir d'un seul endroit. En tant qu'utilisateur, il suffit de cliquer sur « Se connecter avec l'identité de votre organisation » et de suivre le processus.

Aujourd'hui, nous présentons aussi une offre pour les startups : nous offrons une année complète de Kiro Pro+ aux startups admissibles. Offerte partout dans le monde aux startups admissibles jusqu'à la série B, l'offre est disponible tant qu'il reste des crédits. Les crédits AWS Activate existants peuvent maintenant être utilisés pour Kiro, et les deux offres se cumulent.

Dans l'ensemble des équipes, des outils et des tests, Kiro prend désormais mieux en charge la façon dont vous voulez travailler en apportant le bon niveau de contexte et de structure au développement propulsé par l'IA. Ce n'est que le début.

Commencer avec l'IDE | Commencer avec l'interface CLI