Het Franse start-up SkipLabs komt met zijn zes medewerkers bij Mistral en gaat deel uitmaken van een nieuw team genaamd « Language ». De overname heeft onder meer tot doel mechanismen te ontwikkelen om code te verifiëren die wordt gegenereerd door AI-agents, dat zijn programma’s die zelfstandig taken kunnen uitvoeren. Het overnamebedrag is niet bekendgemaakt.
- Mistral neemt het Franse start-up SkipLabs over met zes medewerkers.
- Het nieuwe Language-team ontwikkelt verificatiemechanismen voor code die door AI-agents wordt gegenereerd.
- SkipLabs werkte aan compilers, typesystemen en reactief programmeren via het open source framework Skip.
- Mistral heeft nog niet bekendgemaakt welke producten dit oplevert of wanneer ze beschikbaar komen.
SkipLabs is opgericht door Julien Verlaguet, een voormalig ingenieur van Meta. De start-up werkt aan verschillende technologieën gerelateerd aan programmeren, waaronder compilers, typesystemen, statische analyse en incrementele berekening. Deze gebieden zijn vooral interessant voor aanbieders van AI-modellen, nu er steeds meer tools zijn die code kunnen genereren op basis van instructies in natuurlijke taal.
Met deze overname wil Mistral verificatiemechanismen ontwikkelen die geschikt zijn voor programmeeragents. Deze produceren zelfstandig code, maar moeten ook in staat zijn fouten te identificeren en hun resultaten aan te passen. Het bedrijf wil daarom meer controles integreren in het generatieproces.
Verificatiemechanismen voor programmeeragents
Traditionele ontwikkeltools zijn gebaseerd op compilers, statische analyseprogramma’s, die code onderzoeken zonder deze uit te voeren, en testsystemen. Hiermee kunnen verschillende categorieën fouten worden opgespoord, maar hun gebruik in omgevingen die door AI-agents worden aangestuurd, roept nieuwe vragen op.
Een menselijke ontwikkelaar kan een foutmelding interpreteren en beslissen welke wijzigingen moeten worden aangebracht. Een agent moet daarentegen voldoende nauwkeurige informatie krijgen om zijn code zelfstandig aan te passen. Ook de snelheid van de controles is een uitdaging, omdat ze moeten kunnen worden geïntegreerd in de verschillende generatiestappen. Het Language-team zal aan deze problemen werken. Mistral heeft echter niet gedetailleerd welke producten deze technologieën zullen bevatten, noch het tijdschema voor hun beschikbaarstelling.
SkipLabs werkt aan reactief programmeren
Voor de overname ontwikkelde SkipLabs onder andere Skip, een open source framework, dat wil zeggen een reeks vrij toegankelijke softwaretools, gewijd aan reactief programmeren. Deze aanpak maakt het mogelijk bepaalde processen bij te werken op basis van veranderingen in gegevens, zonder dat alle bewerkingen systematisch opnieuw moeten worden berekend. De start-up heeft ook Skipper ontwikkeld, een AI-agent die is ontworpen om back-end services, het deel van een software dat aan de serverkant werkt, te genereren op basis van instructies in natuurlijke taal.
De architectuur omvat onder meer tools voor typecontrole, bedoeld om de consistentie van de geproduceerde code te controleren. Dit werk komt voort uit een probleem waarmee AI-gestuurde programmeertools worden geconfronteerd: het genereren van code die coherent lijkt, garandeert niet dat deze correct of bruikbaar is. Verificatiemechanismen moeten bepaalde fouten kunnen detecteren voordat ze worden geïntegreerd in een softwareproject. De integratie van SkipLabs moet deze expertise binnen de teams van Mistral brengen, hoewel de technische modaliteiten van deze integratie niet zijn gespecificeerd.
Deze overname komt bovenop eerdere externe groeioperaties van Mistral. Het bedrijf heeft onder meer Koyeb overgenomen, gespecialiseerd in cloudinfrastructuur, Emmi AI, actief in industriële simulatie, Pimento, in marketing, en New Material, gespecialiseerd in productontwerp. Voor de overname had SkipLabs in 2025 8 miljoen dollar opgehaald in een seedronde, onder meer bij de fondsen Amplify Partners en Tapestry VC.
