Los seis ingenieros de SkipLabs se incorporan a Mistral AI para formar un nuevo equipo denominado «Language». La empresa francesa anuncia la adquisición de esta start-up fundada por Julien Verlaguet, antiguo ingeniero de Meta.
SkipLabs trabaja en varias tecnologías relacionadas con la programación, especialmente compiladores, sistemas de tipado, análisis estático y cálculo incremental. Estos ámbitos despiertan un interés especial entre los proveedores de modelos de IA, en un momento en el que se multiplican las herramientas capaces de generar código a partir de instrucciones en lenguaje natural.
Con esta adquisición, Mistral pretende desarrollar mecanismos de verificación adaptados a los agentes de programación. Estos pueden producir código de forma autónoma, pero también deben ser capaces de identificar errores y modificar sus resultados. Por ello, la empresa quiere incorporar más controles al proceso de generación.
Mecanismos de verificación para los agentes de programación
Las herramientas tradicionales de desarrollo se basan, entre otros elementos, en compiladores, analizadores estáticos y sistemas de pruebas. Permiten detectar distintas categorías de errores, pero su utilización en entornos controlados por agentes de IA plantea nuevos desafíos.
Un desarrollador humano puede interpretar un mensaje de error y decidir qué modificaciones debe realizar. En cambio, un agente necesita recibir información suficientemente precisa para adaptar su código de forma autónoma. La rapidez de los controles también es importante, ya que deben poder integrarse en las distintas etapas de generación.
El equipo Language trabajará en estos problemas. Sin embargo, Mistral no ha detallado qué productos incorporarán estas tecnologías ni el calendario previsto para su disponibilidad.
SkipLabs trabaja en programación reactiva
Antes de su adquisición, SkipLabs desarrollaba, entre otras tecnologías, Skip, un framework de código abierto dedicado a la programación reactiva. Este enfoque permite actualizar determinados procesos a partir de los cambios en los datos, sin tener que recalcular sistemáticamente todas las operaciones.
La start-up también desarrolló Skipper, un agente de IA diseñado para generar servicios de back-end a partir de instrucciones formuladas en lenguaje natural. Su arquitectura incluye, entre otras herramientas, mecanismos de verificación de tipos destinados a comprobar la coherencia del código generado.
Estos trabajos responden a un problema al que se enfrentan las herramientas de programación asistida por IA: generar código que parezca coherente no garantiza que sea correcto o funcional. Los mecanismos de verificación deben permitir detectar determinados errores antes de que el código se integre en un proyecto de software.
La incorporación de SkipLabs permitirá aportar estas competencias a los equipos de Mistral. No se han precisado los detalles técnicos de esta integración.
Esta adquisición se suma a las anteriores operaciones de crecimiento externo de Mistral. La empresa ya había adquirido Koyeb, especializada en infraestructuras cloud; Emmi AI, centrada en la simulación industrial; Pimento, dedicada al marketing; y New Material, especializada en el diseño de productos.
El importe de la adquisición de SkipLabs no se ha hecho público. Anteriormente, la empresa había conseguido una financiación inicial de 8 millones de dólares en 2025, con la participación, entre otros, de los fondos Amplify Partners y Tapestry VC.
Roberto Méndez
Corresponsal Económico y Tecnología
Especialista en economía política europea, soberanía tecnológica industrial y análisis de fondos soberanos en la zona euro. Colaborador habitual en medios internacionales.
