A start-up francesa SkipLabs junta-se à Mistral com os seus seis colaboradores, que integrarão uma nova equipa baptizada « Language ». A operação visa, nomeadamente, desenvolver mecanismos de verificação do código gerado pelos agentes de IA, ou seja, programas capazes de executar tarefas de forma autónoma. O montante da aquisição não foi divulgado.
- A Mistral adquire a start-up francesa SkipLabs, que integra a nova equipa Language com seis colaboradores.
- A aquisição visa desenvolver mecanismos de verificação do código gerado por agentes de IA.
- A SkipLabs trabalha em programação reativa e em ferramentas de verificação de tipos, que controlam a coerência do código.
- O montante da aquisição não foi divulgado.
A SkipLabs foi fundada por Julien Verlaguet, antigo engenheiro da Meta. A start-up trabalha em várias tecnologias relacionadas com a programação, nomeadamente compiladores, sistemas de tipagem, análise estática e cálculo incremental. Estas áreas interessam particularmente aos fornecedores de modelos de IA, à medida que se multiplicam as ferramentas capazes de gerar código a partir de instruções em linguagem natural.
Com esta aquisição, a Mistral pretende desenvolver mecanismos de verificação adaptados aos agentes de programação. Estes produzem código de forma autónoma, mas também devem ser capazes de identificar erros e modificar os seus resultados. A empresa pretende, portanto, integrar mais controlos no processo de geração.
Mecanismos de verificação para os agentes de programação
As ferramentas tradicionais de desenvolvimento baseiam-se em compiladores, analisadores estáticos, que examinam o código sem o executar, e sistemas de testes. Permitem detectar diferentes categorias de erros, mas a sua utilização em ambientes conduzidos por agentes de IA coloca novas questões.
Um programador humano pode interpretar uma mensagem de erro e decidir as modificações a aplicar. Um agente deve, por sua vez, receber informações suficientemente precisas para adaptar o seu código de forma autónoma. A rapidez dos controlos constitui também um desafio, uma vez que devem poder integrar-se nas diferentes etapas de geração. A equipa Language trabalhará nestas problemáticas. A Mistral não detalhou, no entanto, os produtos que integrarão estas tecnologias nem o calendário da sua disponibilização.
A SkipLabs trabalha na programação reactiva
Antes da sua aquisição, a SkipLabs desenvolvia, nomeadamente, o Skip, um framework de código aberto, ou seja, um conjunto de ferramentas de software livremente acessíveis, dedicado à programação reactiva. Esta abordagem permite actualizar certos processamentos a partir de alterações de dados, sem ter de recalcular sistematicamente o conjunto das operações. A start-up desenvolveu também o Skipper, um agente de IA concebido para gerar serviços back-end, a parte de um software que funciona do lado do servidor, a partir de instruções formuladas em linguagem natural.
A sua arquitectura inclui, nomeadamente, ferramentas de verificação de tipos, destinadas a controlar a coerência do código produzido. Estes trabalhos respondem a um problema encontrado pelas ferramentas de programação assistida por IA: a geração de um código que parece coerente não garante que seja correcto ou utilizável. Os mecanismos de verificação devem permitir detectar certos erros antes da sua integração num projecto de software. A integração da SkipLabs deve trazer estas competências às equipas da Mistral, sem que as modalidades técnicas desta integração tenham sido especificadas.
Esta aquisição soma-se às operações anteriores de crescimento externo da Mistral. A empresa adquiriu, nomeadamente, a Koyeb, especializada em infra-estruturas cloud, a Emmi AI, posicionada na simulação industrial, a Pimento, no marketing, e a New Material, especializada na concepção de produtos. Antes da sua aquisição, a SkipLabs tinha captado 8 M$ em financiamento inicial em 2025, junto, nomeadamente, dos fundos Amplify Partners e Tapestry VC.
