這個編程智能體不想要你的反饋——它直接交付，無需迭代

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