AIコーディングエージェントがソフトウェア開発で担う仕事は、単にコードの差分を出力するだけではない。依存関係を入れ、サービスを起動し、テストを走らせ、途中のファイルやプロセスを残しながら、複数の実装案を試す。こうした作業では、前回までの実行状態を捨てない計算環境が重要になる。

オランダのスタートアップBoxdは、この課題に対し、開発者とAIコーディングエージェントそれぞれに「永続するリモートコンピュータ」を割り当てるクラウド基盤を開発している。短命なコンテナや使い捨てサンドボックスではなく、状態を保持し、実行中にも複製可能な仮想マシンを中核に据える。48

BlueYard Capital主導でプレシード調達

Boxdはプレシードラウンドで200万ドルを調達したと報じられた。ラウンドはBlueYard Capitalが主導し、OVNI Capital、Antler、S20、Script Capital、General Intuitionなどのテクノロジー企業出身エンジェル投資家が参加した。4

一方、Boxd自身の資金調達発表では調達額を200万ユーロとしている。このため、別々の資金調達が行われたのではなく、情報源ごとの通貨表記の違いとして捉えるのが適切だ。412

創業者は、Michiel Voortman、Laurentiu Ciobanu、Hidde Kehrerの3人。調達資金はチーム拡大と独自の仮想化エンジンの開発継続に充てる方針で、より高速な起動・フォーク、セルフサービス型開発プラットフォーム、セルフホスト版を製品の方向性として挙げている。34112

「環境を作り直す」時間を減らす

一般的な使い捨て環境では、作業を再開するたびに依存関係、実行中のサービス、テストの途中経過といった文脈を再構築しなければならない。開発者がブランチを検証したり、不具合を再現したりする場面でも同じ問題がある。

Boxdは、開発者またはエージェントごとに耐久性のあるクラウドマシンを与え、作業状態をセッション間で維持する仕組みを提案する。複数のエージェントや開発者は、同一の開始点から独立したコピーを作り、毎回まっさらなイメージから立ち上げずに別々の実装・検証を進められるという。825

BoxdのマシンはKVMベースのmicroVM

Boxdが説明する「マシン」は、KVM microVM（カーネルベース仮想マシンを用いた軽量VM）だ。各VMは独自のLinuxカーネル、ディスク、ネットワークIDを持つ。ホストのカーネルを共有するコンテナではない。1720

永続性により、ツール、ファイル、作業途中のプロセスは、開発者やエージェントが作業を止めても原則として消えない。BoxdはSSHを主な操作インターフェースに位置付けており、各マシンにはネットワークIDとHTTPSアドレスが割り当てられるとしている。1926

実行中の状態を丸ごと引き継ぐ「ライブフォーク」

通常、イメージベースの環境では、保存済みのベースラインから新しいマシンを起動する。これに対してBoxdのライブフォークは、すでに実行中のマシンの状態を複製する考え方だ。

Boxdによると、フォークには親VMのメモリとディスクが含まれ、同じファイル、プロセス、実行状態を保ったまま、同じ命令位置から処理を継続できる。つまり、ひとつのタスクの途中地点を出発点として、子VMごとに異なる実装案、テスト経路、デバッグ仮説を試せる。1729

同社はフォークがミリ秒単位で完了すると説明している。資金調達を伝えた記事では100ミリ秒未満、または1秒未満とも表現されているが、これらはBoxdおよび報道側による性能の説明であり、独立したベンチマーク結果ではない。1012

実行中のマシンをそのまま複製するには、IDの扱いも課題となる。Boxdは、複製先が親VMのホスト名やエントロピープールなどを引き継ぎ得るため、新しいマシンとして正常に動作させる前に対処が必要だとしている。27

セキュリティの主張は「隔離境界」にある

Boxdのセキュリティに関する主張の土台は、コンテナとVMの隔離境界の違いにある。コンテナは通常ホストのカーネルを共有するのに対し、BoxdのKVM仮想マシンにはそれぞれ固有のカーネルがある。20

別個のゲストカーネルとハードウェア仮想化の境界は、共有カーネル型コンテナと比べて、侵害されたワークロードの影響範囲を抑えられる可能性がある。AIエージェントが生成コードを実行したり、パッケージを導入したり、未知のリポジトリを扱ったりする場合には、特に重要な設計思想となる。

同社は、ゲストを「他者のユーザーが動かす信頼できないコード」と明確に位置付けている。18 また、開発環境向けに汎用的な仮想ハードウェアのスタックを広く再現するのではなく、microVMに焦点を絞ることで、仮想デバイスの複雑さを減らしつつOSレベルの隔離を維持する狙いがある。

ただし、提供された資料には、従来型VM、コンテナ、サンドボックスのすべてに対するBoxdの安全性を定量的に示す独立監査やベンチマークはない。したがってこれは、普遍的な安全性の結論ではなく、アーキテクチャに基づく設計上の根拠として読むべきだ。

Boxdが賭けるのは「長時間・並列」なエージェント開発

Boxdの賭けは明快だ。ソフトウェアチームがAIコーディングエージェントに、より長く、より並列的な仕事を任せるほど、状態を保持する計算環境、高速な状態付きフォーク、VMレベルの隔離が価値を持つというものだ。

開発チームにとっては、環境を何度も作り直す代わりに、実際のLinuxマシンを維持し、任意の地点を保存し、実行中の状態から隔離された分岐を作れる点が魅力となる。コンテナ型の開発プラットフォームより優れた選択肢になるかどうかは、運用コスト、性能、周辺ツールとの統合、そして独立したセキュリティ検証に左右される。それでも、短命なエージェント実行環境が抱える「状態を失う」という制約を正面から狙った製品である。81720

AIコーディングエージェントがソフトウェア開発で担う仕事は、単にコードの差分を出力するだけではない。依存関係を入れ、サービスを起動し、テストを走らせ、途中のファイルやプロセスを残しながら、複数の実装案を試す。こうした作業では、前回までの実行状態を捨てない計算環境が重要になる。

オランダのスタートアップBoxdは、この課題に対し、開発者とAIコーディングエージェントそれぞれに「永続するリモートコンピュータ」を割り当てるクラウド基盤を開発している。短命なコンテナや使い捨てサンドボックスではなく、状態を保持し、実行中にも複製可能な仮想マシンを中核に据える。48

BlueYard Capital主導でプレシード調達

Boxdはプレシードラウンドで200万ドルを調達したと報じられた。ラウンドはBlueYard Capitalが主導し、OVNI Capital、Antler、S20、Script Capital、General Intuitionなどのテクノロジー企業出身エンジェル投資家が参加した。4

一方、Boxd自身の資金調達発表では調達額を200万ユーロとしている。このため、別々の資金調達が行われたのではなく、情報源ごとの通貨表記の違いとして捉えるのが適切だ。412

創業者は、Michiel Voortman、Laurentiu Ciobanu、Hidde Kehrerの3人。調達資金はチーム拡大と独自の仮想化エンジンの開発継続に充てる方針で、より高速な起動・フォーク、セルフサービス型開発プラットフォーム、セルフホスト版を製品の方向性として挙げている。34112

「環境を作り直す」時間を減らす

一般的な使い捨て環境では、作業を再開するたびに依存関係、実行中のサービス、テストの途中経過といった文脈を再構築しなければならない。開発者がブランチを検証したり、不具合を再現したりする場面でも同じ問題がある。

Boxdは、開発者またはエージェントごとに耐久性のあるクラウドマシンを与え、作業状態をセッション間で維持する仕組みを提案する。複数のエージェントや開発者は、同一の開始点から独立したコピーを作り、毎回まっさらなイメージから立ち上げずに別々の実装・検証を進められるという。825

BoxdのマシンはKVMベースのmicroVM

Boxdが説明する「マシン」は、KVM microVM（カーネルベース仮想マシンを用いた軽量VM）だ。各VMは独自のLinuxカーネル、ディスク、ネットワークIDを持つ。ホストのカーネルを共有するコンテナではない。1720

永続性により、ツール、ファイル、作業途中のプロセスは、開発者やエージェントが作業を止めても原則として消えない。BoxdはSSHを主な操作インターフェースに位置付けており、各マシンにはネットワークIDとHTTPSアドレスが割り当てられるとしている。1926

実行中の状態を丸ごと引き継ぐ「ライブフォーク」

通常、イメージベースの環境では、保存済みのベースラインから新しいマシンを起動する。これに対してBoxdのライブフォークは、すでに実行中のマシンの状態を複製する考え方だ。

Boxdによると、フォークには親VMのメモリとディスクが含まれ、同じファイル、プロセス、実行状態を保ったまま、同じ命令位置から処理を継続できる。つまり、ひとつのタスクの途中地点を出発点として、子VMごとに異なる実装案、テスト経路、デバッグ仮説を試せる。1729

同社はフォークがミリ秒単位で完了すると説明している。資金調達を伝えた記事では100ミリ秒未満、または1秒未満とも表現されているが、これらはBoxdおよび報道側による性能の説明であり、独立したベンチマーク結果ではない。1012

実行中のマシンをそのまま複製するには、IDの扱いも課題となる。Boxdは、複製先が親VMのホスト名やエントロピープールなどを引き継ぎ得るため、新しいマシンとして正常に動作させる前に対処が必要だとしている。27

セキュリティの主張は「隔離境界」にある

Boxdのセキュリティに関する主張の土台は、コンテナとVMの隔離境界の違いにある。コンテナは通常ホストのカーネルを共有するのに対し、BoxdのKVM仮想マシンにはそれぞれ固有のカーネルがある。20

別個のゲストカーネルとハードウェア仮想化の境界は、共有カーネル型コンテナと比べて、侵害されたワークロードの影響範囲を抑えられる可能性がある。AIエージェントが生成コードを実行したり、パッケージを導入したり、未知のリポジトリを扱ったりする場合には、特に重要な設計思想となる。

同社は、ゲストを「他者のユーザーが動かす信頼できないコード」と明確に位置付けている。18 また、開発環境向けに汎用的な仮想ハードウェアのスタックを広く再現するのではなく、microVMに焦点を絞ることで、仮想デバイスの複雑さを減らしつつOSレベルの隔離を維持する狙いがある。

ただし、提供された資料には、従来型VM、コンテナ、サンドボックスのすべてに対するBoxdの安全性を定量的に示す独立監査やベンチマークはない。したがってこれは、普遍的な安全性の結論ではなく、アーキテクチャに基づく設計上の根拠として読むべきだ。

Boxdが賭けるのは「長時間・並列」なエージェント開発

Boxdの賭けは明快だ。ソフトウェアチームがAIコーディングエージェントに、より長く、より並列的な仕事を任せるほど、状態を保持する計算環境、高速な状態付きフォーク、VMレベルの隔離が価値を持つというものだ。

開発チームにとっては、環境を何度も作り直す代わりに、実際のLinuxマシンを維持し、任意の地点を保存し、実行中の状態から隔離された分岐を作れる点が魅力となる。コンテナ型の開発プラットフォームより優れた選択肢になるかどうかは、運用コスト、性能、周辺ツールとの統合、そして独立したセキュリティ検証に左右される。それでも、短命なエージェント実行環境が抱える「状態を失う」という制約を正面から狙った製品である。81720