Mistral Acquires SkipLabs to Automate Agentic Verification
November 9, 2026 · 2 min read
Mistral has acquired SkipLabs to automate agentic verification for code generation.
The six engineers from SkipLabs now form the new Language team at Mistral. This integration aims to create languages that allow models to reason and self correct natively, from the training phase to the final software verification. This technology is intended to provide compilers and analysis systems capable of evaluating code in real time during its writing, which is necessary for AI agents that now generate the majority of code.
Mistral is positioning its own software range, which includes the Codestral, Devstral, and Mistral Code models. The company bases its competitive advantage on its hosting architecture, as its solutions can be installed on local workstations, private clouds, or directly on corporate servers. This approach meets the intellectual property protection requirements of regulated industries. The SNCF and Capgemini have validated this integration model for their development teams.
Mistral, valued at 25 billion dollars, is accelerating a vertical integration program to capture niche skills. The company is increasing merger and acquisition operations to deploy specialized models for various industries. Recent acquisitions cover the digital value chain, including Pimento for marketing automation, Emmi AI for industrial processes, New Material for product design, and Koyeb for cloud hosting infrastructure.
The absorption of SkipLabs provides Mistral with an internal engineering base in the form of an open source framework. This is intended to systematize the production of reliable code, which is a prerequisite for deploying autonomous software agents in production environments.