Les six ingénieurs de SkipLabs rejoignent Mistral AI pour former une nouvelle équipe baptisée « Language ». L'entreprise française annonce le rachat de cette start-up fondée par Julien Verlaguet, ancien ingénieur de Meta. SkipLabs travaille sur plusieurs technologies liées à la programmation, notamment les compilateurs, les systèmes de typage, l'analyse statique et le calcul incrémental. Ces domaines intéressent particulièrement les fournisseurs de modèles IA, alors que les outils capables de générer du code à partir d'instructions en langage naturel se multiplient. Avec cette acquisition, Mistral entend développer des mécanismes de vérification adaptés aux agents de programmation. Ces derniers produisent du code de manière autonome, mais doivent aussi pouvoir identifier les erreurs et modifier leurs résultats. L'entreprise souhaite donc intégrer davantage de contrôles dans le processus de génération.

Des mécanismes de vérification pour les agents de programmation

Les outils traditionnels de développement reposent notamment sur des compilateurs, des analyseurs statiques et des systèmes de tests. Ils permettent de détecter différentes catégories d'erreurs, mais leur utilisation dans des environnements pilotés par des agents IA pose de nouvelles questions.

Un développeur humain peut interpréter un message d'erreur et décider des modifications à apporter. Un agent doit, lui, recevoir des informations suffisamment précises pour adapter son code de façon autonome. La rapidité des contrôles constitue également un enjeu, puisqu'ils doivent pouvoir s'intégrer dans les différentes étapes de génération. L'équipe Language travaillera sur ces problématiques. Mistral n'a toutefois pas détaillé les produits qui intégreront ces technologies ni le calendrier de leur mise à disposition.

SkipLabs travaille sur la programmation réactive

Avant son acquisition, SkipLabs développait notamment Skip, un framework open source consacré à la programmation réactive. Cette approche permet de mettre à jour certains traitements à partir des changements de données, sans devoir recalculer systématiquement l'ensemble des opérations. La start-up a également développé Skipper, un agent IA conçu pour générer des services back-end à partir de consignes formulées en langage naturel. Son architecture comprend notamment des outils de vérification des types, destinés à contrôler la cohérence du code produit. Ces travaux répondent à un problème rencontré par les outils de programmation assistée par IA. La génération d'un code qui semble cohérent ne garantit pas qu'il soit correct ou exploitable. Les mécanismes de vérification doivent permettre de détecter certaines erreurs avant leur intégration dans un projet logiciel. L'intégration de SkipLabs doit apporter ces compétences aux équipes de Mistral. Les modalités techniques de cette intégration n'ont pas été précisées.

Cette acquisition s'ajoute aux précédentes opérations de croissance externe de Mistral. L'entreprise a notamment racheté Koyeb, spécialisé dans les infrastructures cloud, Emmi AI, positionné sur la simulation industrielle, Pimento, dans le marketing, et New Material, spécialisé dans la conception de produits. Le montant du rachat de SkipLabs n'a pas été dévoilé. L'entreprise avait auparavant levé 8 M$ en amorçage en 2025, auprès notamment des fonds Amplify Partners et Tapestry VC.