Ontwikkelaars · 9 november 2026
Mistral koopt SkipLabs om agentische verificatie van code te automatiseren
Mistral heeft de start-up SkipLabs overgenomen. Het team van zes ingenieurs van SkipLabs vormt nu het nieuwe taalteam van Mistral.
De integratie van de technologie van SkipLabs in de stack van Mistral AI is bedoeld om talen te ontwerpen waarmee modellen native kunnen redeneren en zichzelf kunnen corrigeren. Dit proces loopt van de trainingsfase tot de verificatie van de uiteindelijke software. Volgens Julien Verlaguet, de oprichter van SkipLabs, is de auteur bij kunstmatige intelligentie geen persoon meer, wat de meeste aannames over bestaande hulpmiddelen doorbreekt en de mogelijkheid biedt om deze vanaf nul opnieuw uit te vinden.
Traditionele hulpmiddelen voor codeverificatie waren gericht op menselijke ontwikkelaars via foutmeldingen en feedbacklussen. Echter, kunstmatige intelligentie agenten genereren nu het grootste deel van de code. Oracle geeft aan dat 70 procent van zijn eigen computercode inmiddels door kunstmatige intelligentie wordt gegenereerd. Deze agenten hebben compilers en analysesystemen nodig die code in realtime kunnen evalueren tijdens het schrijven.
Met de overname van SkipLabs verkrijgt Mistral een intern engineering fundament in de vorm van een open source framework. Dit is bedoeld om de productie van betrouwbare code te systematiseren, wat een vereiste is voor het implementeren van autonome software agenten in productieomgevingen. Mistral positioneert hiermee zijn eigen softwarelijn, bestaande uit de modellen Codestral, Devstral en Mistral Code, in een markt die ook wordt betreden door OpenAI, Anthropic en Cursor.
Mistral, met een waardering van 25 miljard dollar, versnelt zijn verticale integratie door nichecompetenties te verwerven via fusies en overnames. Naast SkipLabs heeft het bedrijf Pimento voor marketingautomatisering, Emmi AI voor industriële processen, New Material voor productontwerp en Koyeb voor cloud hosting infrastructuur overgenomen.
Het Franse bedrijf baseert zijn concurrentievoordeel op een hostingarchitectuur waarbij oplossingen kunnen worden geïnstalleerd op lokale werkstations, private clouds of bedrijfsservers. Deze aanpak voldoet aan de eisen van gereguleerde industrieën wat betreft de bescherming van intellectueel eigendom. Opdrachtgevers zoals SNCF en Capgemini hebben dit integratiemodel voor hun ontwikkelingsteams reeds gevalideerd.