The French startup SkipLabs is joining Mistral with its six employees, who will form a new team named “Language”. The move aims in particular to develop verification mechanisms for code generated by AI agents, meaning programs capable of executing tasks autonomously. The acquisition amount was not disclosed.
SkipLabs was founded by Julien Verlaguet, a former Meta engineer. The startup works on several programming-related technologies, including compilers, type systems, static analysis, and incremental computation. These areas are of particular interest to AI model providers, as tools capable of generating code from natural language instructions proliferate.
With this acquisition, Mistral intends to develop verification mechanisms tailored to programming agents. These agents produce code autonomously but must also be able to identify errors and modify their output. The company therefore aims to integrate more checks into the generation process.
Verification mechanisms for programming agents
Traditional development tools rely on compilers, static analyzers, which examine code without executing it, and testing systems. They can detect various categories of errors, but their use in AI agent-driven environments raises new questions.
A human developer can interpret an error message and decide on the necessary changes. An agent, however, must receive sufficiently precise information to adapt its code autonomously. The speed of these checks is also a challenge, as they need to integrate into the various generation steps. The Language team will work on these issues. Mistral has not detailed which products will incorporate these technologies or the timeline for their availability.
SkipLabs works on reactive programming
Prior to its acquisition, SkipLabs was notably developing Skip, an open source framework, meaning a set of freely accessible software tools, dedicated to reactive programming. This approach allows updating certain processes based on data changes without needing to systematically recalculate all operations. The startup also developed Skipper, an AI agent designed to generate back-end services, the part of a software that runs on the server side, from instructions formulated in natural language.
Its architecture notably includes type-checking tools, intended to control the consistency of the produced code. This work addresses a problem encountered by AI-assisted programming tools: generating code that appears coherent does not guarantee it is correct or usable. Verification mechanisms should allow detecting certain errors before their integration into a software project. The integration of SkipLabs is meant to bring these skills to Mistral’s teams, although the technical modalities of this integration have not been specified.
This acquisition adds to Mistral’s previous external growth operations. The company has notably acquired Koyeb, specialized in cloud infrastructure, Emmi AI, focused on industrial simulation, Pimento, in marketing, and New Material, specialized in product design. Before its acquisition, SkipLabs had raised $8M in seed funding in 2025, notably from Amplify Partners and Tapestry VC funds.
