这个编程智能体不想要你的反馈——它直接交付,无需迭代
SkipLabs推出Skipper,一个闭环AI编程智能体,能从自然语言描述或OpenAPI规范中直接生成完整的后端服务,无需开发者在迭代循环中参与。它采用来自Skip语言的响应式运行时来处理状态管理和并发,这是AI代码最常出问题的地方。Skipper将AI模型视为商品,默认使用Claude Opus,支持多种模型。未来计划包括增量TypeScript实现和增量更新模式。
大多数AI编程工具的宣传点都是速度:写一个提示,得到草稿,迭代。模型越快,理论上的软件开发就越快。但法国初创公司SkipLabs的创始人兼CEO Julien Verlaguet对此并不认同。作为为Facebook超过1亿行生产代码创造渐进类型编程语言Hack的工程师,他认为行业一直在解决错误的问题。
“构建正确的软件始终是一个被伪装成编码问题的架构问题,”Verlaguet在一份声明中说,“AI并没有改变这一点,只是让这个问题变得更加紧迫。”
周一,SkipLabs推出了Skipper——一个闭环编程智能体,旨在接收自然语言描述(或OpenAPI规范),然后返回一个完整、可运行、经过验证的后端服务。没有审查循环,没有迭代,没有开发者的来回沟通。该公司将其描述为位于基础模型和已发布软件之间的基板。
Verlaguet对“闭环”的含义非常精确。像Claude Code、Cursor或Codex这样的工具让开发者保持在迭代循环中——提示、审查、优化、重复。Skipper则将这个循环内部运行,审查和优化步骤发生在智能体内部,而不是在智能体和人类之间。
“闭环不是一个功能,”Verlaguet补充道,“它是一种不同的理论,关于AI编程工具应该做什么。当前一代让开发者更快。下一代让开发者的参与变得可选。描述你想要的,Skipper就把它构建出来。”
在实践中,Skipper接收提示,从中生成OpenAPI规范,然后构建出完整的服务——包括路由、数据映射器、验证器、TypeScript类型和单元测试——并在Docker容器中运行整个程序。如果生成的代码未能通过类型检查,Skipper会修复它,最多尝试八次,然后才返回结果。整个过程无需开发者监控。
Skipper附带的FAQ中用一个类比解释:“你定义输入,运行Skipper,得到一个工作的服务——无需担心生成的代码长什么样。”
Skipper背后的架构赌注在于,状态管理和并发是AI生成代码最常失败的地方,而正确的解决方法是结构性的,而非基于提示。Verlaguet的答案来自Skipper底层的响应式运行时——源自他在2017年在Facebook开发的编程语言Skip。在响应式模型中,程序被定义为从输入到输出的声明式计算图。运行时自动处理状态管理、缓存失效和并发。生成服务的AI模型永远不需要推理状态图的一部分发生变化而另一部分依赖于它时会发生什么。
“我认为这是因为工作量大,”Verlaguet谈到竞争对手为何没有采取相同方法时说,“所以更容易做出那些大承诺,但实际上你并没有做到。”
他提到的类比是React——同样的思想应用于后端服务而非UI。JavaScript处理计算节点间的链接,Skip运行时管理下面的所有内容。
周一的发布提供了核心闭环体验:一个提示变成运行中的服务。Skipper是多模型的:它根据适合度将任务路由到不同的基础模型,默认使用Claude Opus,同时也使用Sonnet和Haiku。它并不锁定Anthropic;模型选择是架构决策,而非产品依赖。
“我们这里不做任何AI,”Verlaguet在早期讨论中告诉The New Stack,“我们把模型当作商品。对我们来说,模型就是一个带上下文的API调用,它返回结果。”
同样在周一发布的是外部服务集成。Skipper生成的服务可以调用外部API、获取实时数据并发布到其他系统,这意味着它产生的软件并非沙盒在本地环境中,而是从一开始就连接到真实的技术栈。
此外,有两项功能即将推出但尚未准备好发布:一个稳健的增量TypeScript实现,称为SKJS;以及一个增量更新模式,允许构建者更改规范后让Skipper修改运行中的服务,而无需完全重建。两者都出现在产品路线图中,但SkipLabs暂时没有将其设为默认。
“我们暂时不会将其设为默认,因为我们还需要解决一些问题,”Verlaguet在发布会前的简报中说,“但我们应该能够很快发布类型系统。”
与此同时,Verlaguet通过Skipper提出的更长远的论点涉及AI辅助开发中真正的瓶颈所在。他认为模型改进的速度已经超过了验证输出的工具的速度。“在未来几年,等待CI花半小时到一小时验证一个差异将不再可行。AI变得越来越快,因此你需要工具来给AI加护栏,而这些工具需要是增量的。”
这就是稳健的TypeScript重新实现背后的理由——它本质上是增量的,可以在有变化时重新检查代码而无需从头开始,从而在生成过程中给AI提供快速、可靠的反馈,而非在最后。
在财务方面,SkipLabs获得了由Amplify Partners领投的800万美元种子轮融资,Amplify Partners在其投资备忘录中将Verlaguet描述为“世界上顶尖的两到三位编程语言设计师之一”。天使投资人包括图灵奖得主、前Meta首席AI科学家Yann LeCun,以及Cockroach Labs联合创始人兼CEO Spencer Kimball。
Skipper目前已在skipperai.dev上线。