Das französische Start-up SkipLabs schließt sich mit seinen sechs Mitarbeitern Mistral an und wird in ein neues Team namens « Language » integriert. Die Übernahme zielt unter anderem darauf ab, Mechanismen zur Überprüfung von durch KI-Agenten generiertem Code zu entwickeln, also von Programmen, die Aufgaben autonom ausführen können. Der Kaufpreis wurde nicht offengelegt.
- Mistral übernimmt das französische Start-up SkipLabs mit seinen sechs Mitarbeitern.
- Das neue Team Language entwickelt Prüfmechanismen für Code von KI-Agenten.
- SkipLabs hat das Open-Source-Framework Skip und den Backend-Agenten Skipper entwickelt.
- Der Kaufpreis wurde nicht offengelegt, und Produkte sowie Termine bleiben unklar.
SkipLabs wurde von Julien Verlaguet, einem ehemaligen Meta-Ingenieur, gegründet. Das Start-up arbeitet an mehreren programmierungsbezogenen Technologien, insbesondere an Compilern, Typsystemen, statischer Analyse und inkrementeller Berechnung. Diese Bereiche sind besonders für Anbieter von KI-Modellen interessant, da sich Tools, die Code aus natürlichen Sprachbefehlen generieren können, vervielfachen.
Mit dieser Akquisition möchte Mistral Überprüfungsmechanismen für Programmierungsagenten entwickeln. Diese erzeugen zwar autonom Code, müssen aber auch in der Lage sein, Fehler zu identifizieren und ihre Ergebnisse anzupassen. Das Unternehmen will daher mehr Kontrollen in den Generierungsprozess integrieren.
Überprüfungsmechanismen für Programmierungsagenten
Traditionelle Entwicklungstools basieren auf Compilern, statischen Analysewerkzeugen, die Code ohne Ausführung prüfen, und Testsystemen. Sie ermöglichen die Erkennung verschiedener Fehlerkategorien, doch ihre Verwendung in von KI-Agenten gesteuerten Umgebungen wirft neue Fragen auf.
Ein menschlicher Entwickler kann eine Fehlermeldung interpretieren und entscheiden, welche Änderungen vorzunehmen sind. Ein Agent hingegen muss präzise genug informiert werden, um seinen Code autonom anzupassen. Auch die Geschwindigkeit der Kontrollen ist entscheidend, da sie sich in die verschiedenen Generierungsschritte einfügen müssen müssen. Das Team Language wird an diesen Herausforderungen arbeiten. Mistral hat jedoch nicht detailliert, welche Produkte diese Technologien integrieren werden oder wann sie verfügbar sein sollen.
SkipLabs arbeitet an reaktiver Programmierung
Vor der Übernahme entwickelte SkipLabs insbesondere Skip, ein Open-Source-Framework, also eine frei zugängliche Sammlung von Softwaretools, für reaktive Programmierung. Dieser Ansatz ermöglicht es, bestimmte Verarbeitungen basierend auf Datenänderungen zu aktualisieren, ohne alle Operationen systematisch neu berechnen zu müssen. Das Start-up entwickelte auch Skipper, einen KI-Agenten zur Generierung von Backend-Diensten – dem serverseitigen Teil einer Software – aus natürlichsprachlichen Anweisungen.
Seine Architektur umfasst unter anderem Typprüfungswerkzeuge zur Kontrolle der Konsistenz des erzeugten Codes. Diese Arbeiten adressieren ein Problem bei KI-gestützten Programmierwerkzeugen: Die Generierung von scheinbar kohärentem Code garantiert nicht dessen Korrektheit oder Nutzbarkeit. Überprüfungsmechanismen sollen bestimmte Fehler vor der Integration in ein Softwareprojekt erkennen können. Die Integration von SkipLabs soll diese Kompetenzen in die Mistral-Teams einbringen, wobei die technischen Modalitäten dieser Integration nicht näher spezifiziert wurden.
Diese Akquisition reiht sich in frühere externe Wachstumsoperationen von Mistral ein. Das Unternehmen hat unter anderem Koyeb (Cloud-Infrastruktur), Emmi AI (industrielle Simulation), Pimento (Marketing) und New Material (Produktdesign) übernommen. Vor der Übernahme hatte SkipLabs 2025 eine Seed-Finanzierung von 8 Mio. USD, unter anderem von den Fonds Amplify Partners und Tapestry VC, erhalten.
