Mistral AI compra SkipLabs e integra una squadra di programmazione reattiva
Testo scritto con l’intelligenza artificiale a partire da una fonte citata, senza revisione umana prima della pubblicazione.
La startup francese di sei persone entrerà nel nucleo 'linguaggio' di Mistral per costruire strumenti che validino e testino il codice generato dagli agenti IA.
Mistral AI ha acquisito SkipLabs, startup francese di programmazione reattiva. L’azienda ha confermato l’operazione, la quinta della serie, dopo le segnalazioni di Maddyness. Importo non comunicato1.
SkipLabs porta sei persone. Formeranno l’équipe “linguaggio” di Mistral. Il fondatore Julien Verlaguet scrive che il reclutamento è già aperto. Costruiranno strumenti che validano e testano il codice generato dai modelli prima della consegna agli sviluppatori1.
Nel 2026 Mistral ha comprato Koyeb a febbraio, Emmi a maggio, Pimento a settembre e New Material a ottobre. SkipLabs è il quinto acquisto1.
SkipLabs lavora sulla programmazione reattiva. Ha sviluppato Skip, un framework open source per servizi back-end che riproduce proprietà tipiche dei framework front-end come React. L’idea è non ricalcolare gli stati non toccati dai cambiamenti dei dati. TypeScript è usato per dichiarare i cambiamenti di stato in applicazioni quasi in tempo reale1.
Negli ultimi mesi la startup ha presentato Skipper, un agente IA a loop chiuso che genera servizi back-end a partire da un prompt in linguaggio naturale. Verlaguet lo definisce vicino al comportamento di un compilatore. Tre i componenti: un “harnais” multimodello sviluppato in casa, un runtime reattivo per JavaScript e un set di strumenti che include un verificatore dei tipi. Quest’ultimo è una re-implementazione completa di TypeScript, progettata per validare i tipi ed eseguire in modo rapido. Il sistema punta a una correzione autonoma in ciclo continuo1.
Nel runtime, il programma è un grafo di calcolo dichiarativo. L’IA non gestisce aggiornamenti, invalidazione della cache o concorrenza. Definisce solo il grafo dall’ingresso all’uscita. Il runtime è scritto con SKIP, il linguaggio sviluppato da Verlaguet in Facebook tra il 2015 e il 2018. SKIP automatizza la cache con tipizzazione statica e dati immutabili. Il framework Skip ne riprende la filosofia, non il codice1.
Skipper interroga fonti esterne e costruisce applicazioni multiutente, con stato e in tempo reale, come strumenti collaborativi e social network. Per il front-end gli sviluppatori possono usare Vercel, Lovable o Replit1.
Prima del passaggio a Mistral, SkipLabs mirava a rendere Skipper un componente generico, esposto ad altri strumenti, tra cui Claude Code e Mistral Vibe. Verlaguet richiama anche i flussi multi-agente osservati in GitHub, con agenti e sotto-agenti per generare, validare e testare il codice1.
Mistral metterà a frutto competenze in progettazione di linguaggi, compilatori, sistemi di tipi, analisi statica e calcolo incrementale. Fornirà ai modelli strumenti per scrivere codice più velocemente, con controlli nello stesso loop di esecuzione degli agenti. Verlaguet critica gli attuali strumenti, pensati per umani: feedback lenti, messaggi da interpretare, verifiche postume. I modelli, sostiene, “hanno bisogno dell’inverso”1.
A marzo e a luglio 2026 Mistral ha pubblicato i modelli open weight Leanstral e Leanstral 1.5, progettati per verificare il codice prodotto da altri LLM1.
SkipLabs è stata fondata nel 2022. Nel 2025 ha raccolto 8 milioni di dollari di seed, guidati da Amplify Partners e Tapestry VC, con business angel tra cui Olivier Pomel e Yann LeCun. Verlaguet ha lavorato otto anni in Facebook, incluso un anno in FAIR, esperienza che ha plasmato SKIP1.
La programmazione è oggi il terreno più attivo per l’IA agentica, mentre Anthropic, OpenAI e Google mantengono un vantaggio competitivo1.
Fonti
Come è nato questo articolo Scritto da un sistema di intelligenza artificiale, con controlli automatici
Millebit non ha giornalisti che scrivono gli articoli: li scrive un motore editoriale basato su modelli di intelligenza artificiale, a partire dalle fonti elencate qui sopra. Prima di uscire, ogni testo passa questi controlli:
- Rilettura. Un passaggio toglie i tic della prosa generata da un modello, come i contrasti costruiti e le frasi che annunciano invece di informare, senza toccare fatti e fonti.
- Fedeltà alle fonti. Un passaggio dedicato toglie ogni affermazione che le fonti non sostengono. Valutazione su questo pezzo: 9/10.
- Anti-cliché. Un filtro scarta frasi fatte, enfasi e tic della prosa artificiale: superato.
- Giudizio editoriale. Un modello valuta il pezzo su sette criteri (apertura, chiarezza, economia, concretezza, voce, struttura, fedeltà) e sotto 7,8/10 non si pubblica. Questo articolo ha preso 7,8/10.
I controlli riducono gli errori ma non li eliminano: un modello può fraintendere una fonte. Per le decisioni importanti, risali alla fonte originale. Se trovi un errore, segnalacelo.
Per vedere Millebit nelle notizie principali di Google, aggiungilo alle tue fonti preferite. Oppure segui l’edizione di oggi, il feed RSS o La Sintesi.