這個程式設計智慧體不想要你的反饋——它直接交付，無需迭代

大多數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上線。