La startup francese SkipLabs si unisce a Mistral con i suoi sei collaboratori, che entreranno a far parte di un nuovo team chiamato « Language ». L’operazione mira in particolare a sviluppare meccanismi di verifica del codice generato dagli agenti IA, ovvero programmi capaci di eseguire compiti in modo autonomo. L’importo dell’acquisizione non è stato reso noto.
- Mistral acquisisce la startup francese SkipLabs con i suoi sei collaboratori.
- Il team confluirà in un nuovo gruppo chiamato Language.
- L’obiettivo è sviluppare meccanismi per verificare il codice generato dagli agenti IA.
- SkipLabs lavora su compilatori, tipizzazione e programmazione reattiva, e il suo framework Skip è open source.
SkipLabs è stata fondata da Julien Verlaguet, ex ingegnere di Meta. La startup lavora su diverse tecnologie legate alla programmazione, in particolare compilatori, sistemi di tipizzazione, analisi statica e calcolo incrementale. Questi ambiti interessano particolarmente i fornitori di modelli IA, mentre gli strumenti capaci di generare codice a partire da istruzioni in linguaggio naturale si moltiplicano.
Con questa acquisizione, Mistral intende sviluppare meccanismi di verifica adatti agli agenti di programmazione. Questi ultimi producono codice in modo autonomo, ma devono anche essere in grado di identificare gli errori e modificare i propri risultati. L’azienda desidera quindi integrare maggiori controlli nel processo di generazione.
Meccanismi di verifica per gli agenti di programmazione
Gli strumenti tradizionali di sviluppo si basano su compilatori, analizzatori statici, che esaminano il codice senza eseguirlo, e sistemi di test. Permettono di rilevare diverse categorie di errori, ma il loro utilizzo in ambienti guidati da agenti IA pone nuove questioni.
Uno sviluppatore umano può interpretare un messaggio di errore e decidere le modifiche da apportare. Un agente deve, invece, ricevere informazioni sufficientemente precise per adattare il proprio codice in modo autonomo. La rapidità dei controlli costituisce anche una sfida, poiché devono poter integrarsi alle diverse fasi di generazione. Il team Language lavorerà su queste problematiche. Mistral non ha tuttavia dettagliato i prodotti che integreranno queste tecnologie né il calendario della loro messa a disposizione.
SkipLabs lavora sulla programmazione reattiva
Prima della sua acquisizione, SkipLabs sviluppava in particolare Skip, un framework open source, ovvero un insieme di strumenti software liberamente accessibili, dedicato alla programmazione reattiva. Questo approccio permette di aggiornare alcuni processi a partire dai cambiamenti dei dati, senza dover ricalcolare sistematicamente l’insieme delle operazioni. La startup ha anche sviluppato Skipper, un agente IA progettato per generare servizi back-end, la parte di un software che funziona lato server, a partire da istruzioni formulate in linguaggio naturale.
La sua architettura comprende in particolare strumenti di verifica dei tipi, destinati a controllare la coerenza del codice prodotto. Questi lavori rispondono a un problema incontrato dagli strumenti di programmazione assistita da IA: la generazione di un codice che sembra coerente non garantisce che sia corretto o utilizzabile. I meccanismi di verifica devono permettere di rilevare alcuni errori prima della loro integrazione in un progetto software. L’integrazione di SkipLabs deve portare queste competenze ai team di Mistral, senza che le modalità tecniche di questa integrazione siano state precisate.
Questa acquisizione si aggiunge alle precedenti operazioni di crescita esterna di Mistral. L’azienda ha in particolare rilevato Koyeb, specializzato nelle infrastrutture cloud, Emmi AI, posizionato sulla simulazione industriale, Pimento, nel marketing, e New Material, specializzato nella progettazione di prodotti. Prima del suo acquisto, SkipLabs aveva raccolto 8 M$ in seed nel 2025, tra gli altri dai fondi Amplify Partners e Tapestry VC.
