大多數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方式調用，根據不同任務的適配情況靈活路由，具備較強的模型無關性。