La startup francesa SkipLabs se une a Mistral con sus seis colaboradores, que integrarán un nuevo equipo bautizado « Language ». La operación busca, entre otros objetivos, desarrollar mecanismos de verificación del código generado por los agentes de IA, es decir, programas capaces de ejecutar tareas de manera autónoma. El monto de la adquisición no ha sido revelado.
- Mistral adquiere la startup SkipLabs y crea el equipo Language.
- El equipo desarrollará mecanismos para verificar el código generado por agentes de IA.
- SkipLabs trabaja en compiladores, sistemas de tipado y programación reactiva con su framework Skip.
- Mistral no ha revelado el monto de la compra ni los productos que integrarán estas tecnologías.
SkipLabs fue fundada por Julien Verlaguet, antiguo ingeniero de Meta. La startup trabaja en varias tecnologías relacionadas con la programación, en particular los compiladores, los sistemas de tipado, el análisis estático y el cálculo incremental. Estos campos interesan especialmente a los proveedores de modelos de IA, mientras que las herramientas capaces de generar código a partir de instrucciones en lenguaje natural se multiplican.
Con esta adquisición, Mistral pretende desarrollar mecanismos de verificación adaptados a los agentes de programación. Estos últimos producen código de manera autónoma, pero también deben ser capaces de identificar errores y modificar sus resultados. La empresa desea, por tanto, integrar más controles en el proceso de generación.
Mecanismos de verificación para los agentes de programación
Las herramientas tradicionales de desarrollo se basan en compiladores, analizadores estáticos, que examinan el código sin ejecutarlo, y sistemas de pruebas. Permiten detectar diferentes categorías de errores, pero su uso en entornos dirigidos por agentes de IA plantea nuevas cuestiones.
Un desarrollador humano puede interpretar un mensaje de error y decidir las modificaciones a realizar. Un agente debe, por su parte, recibir información suficientemente precisa para adaptar su código de forma autónoma. La rapidez de los controles constituye también un reto, ya que deben poder integrarse en las diferentes etapas de generación. El equipo Language trabajará en estas problemáticas. Mistral no ha detallado, sin embargo, los productos que integrarán estas tecnologías ni el calendario de su puesta a disposición.
SkipLabs trabaja en la programación reactiva
Antes de su adquisición, SkipLabs desarrollaba, entre otras cosas, Skip, un framework de código abierto, es decir, un conjunto de herramientas de software de acceso libre, dedicado a la programación reactiva. Este enfoque permite actualizar ciertos procesos a partir de cambios en los datos, sin tener que recalcular sistemáticamente el conjunto de las operaciones. La startup también desarrolló Skipper, un agente de IA diseñado para generar servicios back-end, la parte de un software que funciona en el lado del servidor, a partir de instrucciones formuladas en lenguaje natural.
Su arquitectura incluye, en particular, herramientas de verificación de tipos, destinadas a controlar la coherencia del código producido. Estos trabajos responden a un problema encontrado por las herramientas de programación asistida por IA: la generación de un código que parece coherente no garantiza que sea correcto o utilizable. Los mecanismos de verificación deben permitir detectar ciertos errores antes de su integración en un proyecto de software. La integración de SkipLabs debe aportar estas competencias a los equipos de Mistral, sin que se hayan precisado las modalidades técnicas de esta integración.
Esta adquisición se suma a las anteriores operaciones de crecimiento externo de Mistral. La empresa ha adquirido, entre otras, Koyeb, especializado en infraestructuras cloud, Emmi AI, posicionado en la simulación industrial, Pimento, en marketing, y New Material, especializado en el diseño de productos. Antes de su adquisición, SkipLabs había recaudado 8 M$ en financiación inicial en 2025, entre otros, de los fondos Amplify Partners y Tapestry VC.
