このコーディングエージェントはフィードバックを求めない——反復なしで出荷する

ほとんどの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は最大8回まで修正を試みてから結果を返します。プロセスは開発者が監視することなく実行されます。

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を呼び出し、ライブデータを取得し、他のシステムに投稿できます。つまり、生成されたソフトウェアはローカル環境にサンドボックス化されるのではなく、最初から実際のスタックに接続されます。

さらに、リリース直後に提供予定だがまだ準備ができていない2つの機能があります。それは、SKJSと呼ばれる健全なインクリメンタルTypeScript実装と、ビルダーが仕様を変更したときにSkipperが完全な再構築なしで実行中のサービスを変更できるインクリメンタル更新モードです。どちらも製品ロードマップに登場するほどには近いですが、SkipLabsがデフォルトで出荷するほどには近くありません。

「まだいくつかの問題を解決する必要があるため、すぐにデフォルトにするつもりはありませんが、型システムはすぐにリリースできるはずです」とVerlaguetは発表前のブリーフィングで述べています。

一方、VerlaguetがSkipperを通じて提示しているより長期的な論点は、AI支援開発における真のボトルネックがどこにあるかに関するものです。彼の主張は、モデル改善のペースがすでに出力を検証するツールを追い越しているというものです。

「今後数年間、CIが差分を検証するのに30分から1時間待つことは許容できなくなります」とVerlaguetはThe New Stackに語ります。「AIはますます高速化しており、AIにガードレールを提供するツールが必要になります。そしてそのツールはインクリメンタルでなければなりません。」

これが健全なTypeScript再実装の根拠です。これは設計上インクリメンタルであり、何かが変更されたときに最初から再開せずにコードを再チェックできるため、生成中にAIに高速で信頼性の高いフィードバックを提供できます。

財務面では、SkipLabsはAmplify Partnersがリードする800万ドルのシードラウンドを調達しました。Amplify Partnersは投資覚書でVerlaguetを「世界でトップ2〜3のプログラミング言語設計者の一人」と評しています。エンジェル投資家には、チューリング賞受賞者でMetaの元チーフAIサイエンティストであるYann LeCun、Cockroach Labsの共同創業者兼CEOであるSpencer Kimballが含まれます。

Skipperは本日skipperai.devで利用可能です。