Mistral Buys SkipLabs and Creates a ‘Language’ Team to Verify Code Written by AI Agents
Mistral AI has acquired SkipLabs, a French start-up founded by former Meta engineer Julien Verlaguet, and is folding its six engineers into a new team called Language, Le Monde Informatique reported on November 6. The Paris-based model maker wants the team to build verification mechanisms for coding agents, the AI tools that now write software on their own from plain-language instructions and must also be able to spot and fix their own mistakes.
SkipLabs works on compilers, type systems, static analysis and incremental computation. Before the deal it developed Skip, an open-source framework for reactive programming that updates results when data changes instead of recalculating everything, and Skipper, an AI agent that generates back-end services from natural-language prompts and includes type-checking tools to control the consistency of the code it produces. The start-up had raised $8 million in seed funding in 2025 from investors including Amplify Partners and Tapestry VC. The price of the acquisition was not disclosed.
Le Monde Informatique explained the problem the Language team will tackle. Traditional development relies on compilers, static analysers and test suites, and a human developer can read an error message and decide what to change. An agent needs feedback precise enough to adapt its code by itself, and the checks have to run fast enough to fit inside each step of generation. Mistral has not said which products will use the technology or when.
What it means in practice
The deal extends a buying spree that already includes the Paris adtech start-up Pimento, bought to strengthen its Vibe assistant, as well as cloud infrastructure specialist Koyeb, industrial simulation firm Emmi AI and product-design company New Material. It also fits Mistral’s push to win over cautious corporate and public buyers, seen in partnerships such as the France-hosted managed AI service it launched with NumSpot. For businesses, code that merely looks plausible is a liability, and verification built into generation could make AI-written software easier to trust in regulated sectors.
What to watch is whether verification features appear in Mistral’s coding tools in the coming months, whether Skip remains open source under its new owner, and how many more acquisitions Mistral makes as it competes with American labs for developers.