AREX Feed Article
Mistral AI 收购 AI 代码生成工具初创公司 SkipLabs，为 2026 年第五笔收购
据法国科技媒体 11 月 5 日独家报道，Mistral AI 收购了 SkipLabs——一家成立六年、在巴黎与伦敦两地运营的初创公司，业务是开发让 AI 代码生成更快、更可靠、更安全的工具。Mistral 向 Maddyness 确认了这笔交易，金额未披露。这是 Mistral 自年初以来的第五笔收购；数据平台 当天 13:43（UTC）发布的并购快讯与上述口径一致。
交易的核心是团队：SkipLabs 创始人 Julien Verlaguet 将和他的工程与研究团队一起，并入 Mistral 联合创始人、首席科学家 Guillaume Lample 领导的班子。Verlaguet 曾在 Meta 工作近九年，其中一段在 FAIR——Meta 由 Yann LeCun 发起的基础 AI 研究实验室。SkipLabs 做的产品叫 Skipper：一个生成并维护后端服务的专用编程代理（ 今年 4 月曾报道）。
Maddyness 报道配图：Mistral 三位创始人，图片署名 Mistral。
Skipper：把模型当 API 用的后端服务编程代理
据 The New Stack 4 月的采访，Skipper 是一个生成并维护后端服务的专用编程代理，不是 Copilot 式的代码补全工具。Verlaguet 说：「首先要说明，Skipper 不是模型……我们把模型当作商品来用，不同的模型都有，大部分时候是 Anthropic 的。模型对我们来说就是一个带着上下文调用的 API，返回结果而已。」
Skipper 分两层。底层是一套与 TypeScript 兼容、名为 SKJS 的类型检查器，在标准 TypeScript 不健全（sound）的地方做到健全；Verlaguet 解释，类型系统如果有洞，就画不出调用图、做不了可达性分析，而这正是 Skipper 的核心。类型系统之上是响应式运行时：输入变化时只重算受影响的部分，程序不必从头重启。代理层按「计划、生成测试、生成代码」推进，同样建在增量框架上，可以只重跑受变更影响的测试，并在不停机的情况下更新在线服务。他把这套设计的必要性归到一个延迟问题上：未来几年，等持续集成服务 CircleCI 花半小时到一个小时去验证一个 diff（代码变更）将无法接受，AI 越快，护栏工具就必须越「增量」。
Verlaguet 当时给出的内部基准数据是：在其团队的后端服务提示语料上，Skipper 的测试通过率超过 90%，同一语料上 Claude Code 的通过率为 20%。他自己给这个对比划了边界：「Claude Code 能做的多得多。我们更擅长我们做的这件事。」Skipper 彼时仍处早期，他用「我们和我们的朋友」形容当时的用户群。
从 Hack 到 Skip：造类型系统出身的创始人
按 The New Stack 整理的年表，Verlaguet 2012 年在 Facebook 创造了 Hack——给 PHP 加上静态类型的渐进式方言；2014 年 Facebook 以 MIT 许可开源了 Hack 和 HHVM。2017 年他设计出面向响应式编程的语言 Skiplang，2018 年 Skip 同样被 Facebook 开源。2020 年他离开 Meta，围绕这套响应式技术创办 SkipLabs，与 Maddyness「成立六年」的说法吻合。2024 年公司发布基于 Skip Runtime 的 TypeScript 框架 Skip Framework；2025 年，SkipLabs 宣布获得来自 Amplify Partners 的 800 万美元种子轮融资。
「作者不再是人」：收购背后的论点
收购消息公布时，Verlaguet 对 Maddyness 说明了这桩交易的逻辑：「我的职业生涯都在设计编程语言和类型系统，为的是在代码上线之前发现错误。我们造过的所有工具都有一个前提：对面有一个人——他会读错误信息，判断哪些要紧，决定修什么。有了 AI，写代码的不再是人。这动摇了这些工具赖以成立的许多假设，而这恰恰是让人兴奋的地方：我们可以从零开始把它们重新发明。在 Mistral，我们将能把这些想法一直推进到模型的训练方式里。」
这段话有他 4 月的公开批评作注脚。当时他对 The New Stack 说：「每次细看那些声称在给 AI 带来护栏的人，我看到的还是同样的东西——更多提示词。我没看到谁在真正从零构建护栏和工具。」至于「推进到模型训练」具体指什么，Maddyness 的报道没有展开。
九个月五笔收购：云、工业 AI、广告、体验工具、代码
按 Maddyness 的梳理，Mistral 今年 2 月收购云服务公司 Koyeb——那是公司历史上的第一笔收购；5 月收购做工业 AI 的 Emmi AI；9 月收购做广告的 Pimento；10 月收购开发 AI 用户体验工具的 New Material。密集收购背后有资金支撑：Mistral 在 9 月完成 30 亿欧元融资，估值 210 亿欧元，由 Samsung 领投，ASML 和 Nvidia 参与。
这条整合路线指向企业客户。Mistral 已与 BMW、Airbus、CMA CGM 和 TotalEnergies 达成合作；10 月初发布的新模型 Mistral Large 4（ML4，昵称「Le Chonk」）被公司称为欧美最好的开放权重模型，而 Maddyness 提到，中国实验室在多个榜单上仍保持领先，ML4 的差异点集中在网络安全、金融和工业生产用例。Dealroom 对这一连串收购的解读是：Mistral 在做垂直整合——基础设施、专门能力、方案设计——让模型更容易被企业部署；按它的说法，这笔押注赌的是，赢下企业客户靠的不只是模型，还有基础设施、人才和工具。至于这笔交易以何种结构完成、Skipper 产品线并入后如何处置，Maddyness 与 Dealroom 的报道都没有提到。