Utvecklare · 9 november 2026
Mistral förvärvar SkipLabs för att automatisera agentisk verifiering
Mistral har förvärvat start-up företaget SkipLabs för att automatisera den agentiska verifieringen av kod.
Det tidigare teamet från SkipLabs, som består av sex ingenjörer, utgör nu det nya språkteamet inom Mistral. Integrationen av tekniken från SkipLabs i Mistral AI syftar till att skapa språk som gör det möjligt för modeller att resonera och korrigera sig själva naturligt, från träningsfasen till verifieringen av den slutliga programvaran.
Traditionella verktyg för kodverifiering har riktat sig till mänskliga utvecklare genom felmeddelanden och återkopplingsslingor. Eftersom artificiell intelligens nu genererar majoriteten av koden krävs istället kompilatorer och analyssystem som kan utvärdera koden i realtid medan den skrivs. Som ett exempel anger Oracle att 70 procent av deras egen datorkod nu genereras av artificiell intelligens.
Förvärvet av SkipLabs ger Mistral ett internt ingenjörsramverk med öppen källkod för att systematisera produktionen av tillförlitlig kod, vilket är en förutsättning för att distribuera autonoma programvaruagenter i produktionsmiljöer. Mistral, som värderas till 25 miljarder dollar, accelererar sin vertikala integrationsstrategi genom flera fusioner och förvärv för att få tillgång till nischkompetenser och distribuera industrispecifika modeller.
Andra nyligen genomförda förvärv inkluderar Pimento för marknadsföringsautomatisering, Emmi AI för industriella processer, New Material för produktdesign och Koyeb för molninfrastruktur. Mistral erbjuder en programvaruserie med modellerna Codestral, Devstral och Mistral Code.
Företaget baserar sin konkurrensfördel på sin hostingarkitektur, där lösningar kan installeras på lokala arbetsstationer, privata moln eller direkt på företagsservrar. Denna metod möter kraven på skydd av immateriella rättigheter i reglerade branscher. Organisationer som SNCF och Capgemini har bekräftat denna integrationsmodell för sina utvecklingsteam.