Skipper：无需开发者介入、自动交付的闭环编程智能体

大多数AI编程工具的卖点是速度——输入提示词，获取草稿，反复迭代。理论上，模型越快，软件开发效率越高。

但SkipLabs创始人兼CEO朱利安·韦拉盖特并不认同这一逻辑。

这位来自巴黎的工程师曾创造了Hack编程语言——这门渐进类型编程语言承载着Facebook核心业务逻辑，支撑着超过1亿行生产代码的运行。在他看来，整个行业一直在解决一个错误的问题。

"构建正确的软件，本质上一直是一个架构问题，只是被伪装成了编程问题。"

韦拉盖特表示："AI并没有改变这一本质，它只是让这个问题变得更加紧迫。"

本周一，SkipLabs正式推出Skipper——一款闭环编程智能体。用户只需提供一段自然语言描述，或一份OpenAPI规范文档，Skipper便能自动返回一个完整、可运行、经过验证的后端服务。整个过程无需代码审查、无需迭代调整、无需开发者反复介入。该公司将其定位为连接基础模型与可交付软件之间的核心基础层。

SkipLabs对Skipper的核心定位是"闭环"，韦拉盖特对这一概念有着精确的界定。Claude Code、Cursor、Codex等工具依然将开发者保留在迭代循环中——提示、审查、优化、重复。而Skipper将这一循环完全内化：审查与优化的过程发生在智能体内部，而非智能体与人类之间。

"闭环不是一个功能特性，"韦拉盖特指出，"它代表的是一种不同的理念——AI编程工具究竟应该做什么。现有一代工具让开发者跑得更快；下一代工具让开发者的介入变得可有可无。你只需描述你想要什么，Skipper负责构建它。"

在实际使用中，Skipper接收用户提示后，会自动生成OpenAPI规范，并构建完整服务，包括路由、数据映射器、验证器、TypeScript类型定义和单元测试，随后在Docker容器中运行整个服务。如果生成的代码未能通过类型检查，Skipper会自动修复，最多尝试八次，直至返回有效结果。整个过程无需开发者全程监控。

Skipper附带的FAQ以一个类比做出说明："你只需定义输入，运行Skipper，就能得到一个可用的服务——完全不用操心生成的代码长什么样。"

Skipper底层的架构赌注在于：状态管理与并发处理，正是AI生成代码中最容易出错的环节，而真正的解决之道在于结构性手段，而非调整提示词。

韦拉盖特为此已经论证了相当一段时间。在此次发布前与媒体的早期交流中，他曾如此表述："每当我仔细审视那些声称为AI提供护栏的产品时，我看到的都是同一套做法——更多的提示词工程，没有人真正从零开始构建真实的护栏和工具链。"

他的答案，是驱动Skipper的响应式运行时——其设计源自他2017年在Facebook开发的编程语言Skip。在这一响应式模型中，程序被定义为从输入到输出的声明式计算图。运行时自动处理状态管理、缓存失效和并发控制。AI模型在生成服务时，无需推断状态图某一部分发生变化时，另一个依赖它的部分会受到怎样的影响。

"我认为原因在于这需要大量工作，"韦拉盖特谈及竞争对手为何没有采取同样路径时说，"所以做出那些豪言壮志容易得多，而最终却往往无法兑现。"

他将其与React进行类比——相同的理念，只是应用于后端服务而非前端UI。JavaScript处理图节点之间的计算链接，而Skip运行时负责管理底层的一切。

本次发布交付了核心的闭环体验：一段提示词转化为一项可运行的服务。Skipper支持多模型调用，根据任务适配情况将请求路由至不同的基础模型，默认使用Claude Opus，同时也支持Sonnet和Haiku。Skipper并不绑定Anthropic，模型的选择是架构层面的决策，而非产品层面的依赖。

"我们自己不做任何AI，"韦拉盖特此前在与媒体的交流中表示，"我们将模型视为一种商品。对我们来说，模型只是一个API，我们带着上下文去调用它，然后获取结果。"

此次发布还同步上线了外部服务集成能力。Skipper生成的服务可以调用外部API、获取实时数据，并向其他系统推送消息——这意味着它所产出的软件并非运行于孤立的本地环境，而是从一开始便接入真实的技术栈。

此外，有两项能力在发布时尚未就绪，预计近期推出：一是韦拉盖特称之为SKJS的完备增量式TypeScript实现；二是增量更新模式，允许开发者修改规范后，Skipper直接对运行中的服务进行定向修改，无需完整重建。这两项功能已足够成熟，出现在了产品路线图中，但SkipLabs认为还不到默认开放的时机。

"我们暂时不会将其设为默认功能，因为还有一些细节需要打磨，"韦拉盖特在发布前的简报会上表示，"但类型系统应该能在发布后很快推出。"

与此同时，韦拉盖特借助Skipper所阐述的更宏观论点，指向了AI辅助开发中真正的瓶颈所在。他认为，模型能力的提升速度已经超越了用于验证输出结果的工具链。

"在未来几年里，等待CI花半小时甚至一小时来验证一个代码变更，将不再是可接受的方案，"韦拉盖特表示，"AI越来越快，因此你需要用于约束AI的工具链，而这套工具链必须具备增量处理能力。"

这也是他推进完备TypeScript重实现的原因——该实现在设计上本就是增量式的：当代码发生变化时，无需从头重启，即可重新检查相关部分，从而在生成过程中而非生成结束后，为AI提供快速、可靠的反馈。

在融资方面，SkipLabs完成了800万美元的种子轮融资，由Amplify Partners领投。Amplify在投资备忘录中将韦拉盖特描述为"全球顶尖的两三位编程语言设计师之一"。天使投资人包括图灵奖得主、前Meta首席AI科学家扬·勒昆，以及Cockroach Labs联合创始人兼CEO斯宾塞·金博尔。

Skipper现已上线，访问地址为skipperai.dev。

Q&A

Q1：Skipper是什么？它和其他AI编程工具有什么区别？

A：Skipper是SkipLabs推出的一款闭环编程智能体。与Claude Code、Cursor等需要开发者持续参与审查和迭代的工具不同，Skipper将整个"生成—审查—修复"循环内化在智能体内部完成。用户只需输入自然语言描述或OpenAPI规范，Skipper便自动生成完整的后端服务，包括路由、验证器、TypeScript类型和单元测试，并在Docker容器中运行验证，全程无需开发者介入。

Q2：Skipper如何处理AI生成代码中常见的状态管理和并发问题？

A：Skipper底层采用响应式运行时，源自创始人韦拉盖特2017年在Facebook开发的Skip编程语言。该运行时将程序定义为从输入到输出的声明式计算图，自动处理状态管理、缓存失效和并发控制。AI模型在生成服务时无需推断状态变化的连锁影响，从结构层面规避了AI生成代码中最容易出错的环节，而非依赖调整提示词来解决问题。

Q3：Skipper支持哪些AI模型？是否绑定特定厂商？

A：Skipper支持多模型调用，默认使用Claude Opus，同时也支持Sonnet和Haiku。它并不绑定Anthropic或任何特定厂商，模型选择属于架构层面的决策。SkipLabs将模型视为可替换的商品，以API方式调用，根据不同任务的适配情况灵活路由，具备较强的模型无关性。