---
title: Mistral kjøper SkipLabs for å automatisere agentisk verifisering
url: https://www.elseif.net/no/mistral-kjoper-skiplabs-for-a-automatisere-agentisk-verifisering
published: 2026-11-09T08:10:17+00:00
language: no
section: Harnesses
source: https://www.zdnet.fr/actualites/generation-de-code-mistral-rachete-skiplabs-pour-automatiser-la-verification-agentique-507478.htm#xtor=RSS-1
organizations: Mistral, SkipLabs, Oracle, SNCF, Capgemini, Koyeb
publisher: elseif
---

# Mistral kjøper SkipLabs for å automatisere agentisk verifisering

Mistral har kjøpt opp SkipLabs for å automatisere verifisering av kode generert av agenter.

De seks ingeniørene fra SkipLabs utgjør nå et nytt språkteam hos Mistral. Integreringen av teknologien fra SkipLabs i systemene til Mistral AI har som mål å utvikle språk som lar modeller resonnere og korrigere seg selv naturlig, fra treningsfasen til verifiseringen av den endelige programvaren.

Tradisjonelle verktøy for kodeverifisering har vært rettet mot menneskelige utviklere gjennom tilbakemeldingssløyfer og feilmeldinger. Kunstig intelligens genererer nå størstedelen av koden, og Oracle opplyser at 70 prosent av deres egen datakode nå er generert av kunstig intelligens. Dette skaper et behov for kompilatorer og analysesystemer som kan evaluere kode i sanntid mens den skrives.

Oppkjøpet gir Mistral et internt ingeniørgrunnlag i form av et rammeverk med åpen kildekode. Dette skal systematisere produksjonen av pålitelig kode, noe som er en forutsetning for å distribuere autonome programvareagenter i produksjonsmiljøer. Mistral tilbyr allerede en programvarelinje med modellene Codestral, Devstral og Mistral Code.

Selskapet baserer sitt konkurransefortrinn på en arkitektur for hosting som kan installeres på lokale arbeidsstasjoner, private skyer eller direkte på bedriftsservere. Denne tilnærmingen møter kravene til beskyttelse av intellektuell eiendom i regulerte bransjer, en modell som er validert av SNCF og Capgemini.

Med en verdsettelse på 25 milliarder dollar akselererer Mistral sin vertikale integrering for å sikre seg nisjekompetanse. Selskapet har gjennomført flere oppkjøp for å rulle ut spesialiserte modeller for ulike bransjer. Dette inkluderer Pimento for markedsføringsautomatisering, Emmi AI for industrielle prosesser, New Material for produktdesign og Koyeb for infrastruktur for skylagring.