プログラミング
Capsem – Rust製ハイパーバイザーによるエアギャップLinux VMでのAIエージェントのサンドボックス化
Capsem – a Rust hypervisor sandboxing AI agents in air-gapped Linux VMs (capsem.org)
要約
Capsemは、Rustで構築されたハイパーバイザーであり、AIコーディングエージェントを個別のエアギャップLinux VMにサンドボックス化します。これにより、開発者は安全な開発環境を迅速に構築でき、Python、Node.js、および30以上のパッケージがプリインストールされています。ハードウェアレベルの分離、エアギャップネットワーク、および詳細な検査・制御機能により、セキュリティを妥協せずにAIエージェントを利用できます。
全文翻訳
CAPSEM
AIを安全に迅速に出荷するための最速の方法。
Rustパワーのハイパーバイザーが、各AIコーディングエージェントを独自のエアギャップLinux VMにサンドボックス化します。
すべてを見て、すべてを制御する。
$ curl -fsSL https://capsem.org/install.sh | sh
詳しく見る
すぐにコーディングできる、すぐに使える状態
お気に入りのAIエージェント、MCPツール、パッケージがプリインストールされた、完全に設定されたLinux開発環境。
10秒未満でプロンプトにブート。
幅広いエージェントサポート
主要なAIコーディングエージェントすべてがプリインストールされ、サンドボックスモード用に自動設定されています。
Claude Code
Anthropic
Gemini CLI
Google
Codex
OpenAI
ネイティブMCPエンドポイント
vsock経由のポリシーチェック済みツールアクセス。
組み込みツールとカスタムMCPサーバーを高速なmcpで。
fetch_http
Webコンテンツを取得して抽出する
grep_http
正規表現でWebページを検索する
http_headers
HTTPヘッダーとステータスを検査する
プリコンフィギュレーションされた環境
Python、Node.js、および30以上のパッケージがすぐに利用可能です。
セットアップ不要。
Python 3
Node.js 24
git
uv
numpy
pandas
scipy
scikit-learn
requests
httpx
beautifulsoup4
pytest
rich
matplotlib
fastmcp
近日公開
アクティブな開発。
次に予定されているのは以下の通りです。
VMチェックポイントと復元
Linuxホストサポート
VS Code拡張機能
カスタムMCPサーバーマーケットプレイス
デモビデオ
妥協のないセキュリティ
ISOLATION
Apple Virtualization.frameworkによるハードウェアレベルのサンドボックス化。
各エージェントセッションは、読み取り専用のrootfs、スワップなし、カーネルモジュールなし、debugfsなしの軽量Linux VMを起動します。
エアギャップネットワークは、ダミーNICと偽DNSにより、MITMプロキシを経由せずに実際のネットワークに到達しないことを保証します。
エフェメラルVM -- セッションごとに新しい状態
読み取り専用rootfsとtmpfsワークスペース
systemdなし、sshdなし、cronなし -- 攻撃対象領域を最小限に抑える
スクリーンショットプレースホルダー
INSPECTION
AIエージェントがネットワーク上で行うすべてのことを確認する
透過的なMITMプロキシは、ドメインごとのミント証明書を使用してゲストからのTLSを終了し、すべてのHTTPリクエストとレスポンスを検査し、ポリシーを適用してから実際のアップストリームに転送します。
完全なリクエスト/レスポンスボディは、セッションごとのSQLiteデータベースに記録されます。
ドメインごとのTLS証明書ミント
ドメインごとのメソッド+パスポリシー規則
事後分析のためのフルボディキャプチャ
スクリーンショットプレースホルダー
CONTROL
プロファイルと企業構成レイヤーによるエンタープライズグレードのポリシー。
各プロファイルは、強制、検出、MCP、プラグイン、およびアセット構成を所有します。
企業レベルの構成は /etc/capsem/corp.toml (MDM配布) にあり、ユーザーがバイパスできないエンタープライズオーバーライドでポリシーとレポートをロックダウンします。
プロファイル所有のCEL強制規則
Sigmaインポート/エクスポートによる検出規則
Corp構成によるロックダウンとプロファイル動作のレポート
スクリーンショットプレースホルダー
仕組み
ネイティブmacOSハイパーバイザーが、セッションごとにエアギャップLinux VMを作成します。
すべてのネットワークトラフィックは、ホスト上の検査プロキシに強制されます。
macOSホスト
デスクトップアプリ GUI + CLIインターフェース
MITMプロキシ
TLS終了 + HTTP検査
ポリシーエンジン
ドメイン + HTTP + MCP規則
セッションテレメトリ
セッションごとのSQLite DB
vsock
:5001
ターミナル
:5002
HTTPS + MCP
Linux VM (エアギャップ)
AIエージェント
Claude / Gemini / Codex
PTY
エージェントターミナル I/O over vsock
Net Proxy
TCP-to-vsockリレー (iptables)
MCPサーバー
vsock経由のツールリレー
インターネット (ホストMITMプロキシ経由のみ)
FAQ
よくある質問
まだ質問がありますか?
GitHubでイシューを開いてください。
CapsemはClaude Code、Gemini CLI、およびCodexで動作しますか?
MITMプロキシはどのように機能しますか?
ゲストのHTTPSトラフィックはすべて、iptablesルールを通じてローカルTCPリレーにリダイレクトされ、vsock経由でホストにブリッジされます。ホストは、ドメインごとのミント証明書(ゲストの信頼ストアに焼き込まれた静的なCapsem CAによって署名されている)を使用してTLSを終了し、HTTPリクエストを検査し、ポリシーを適用してから実際のアップストリームに転送します。
どのプラットフォームがサポートされていますか?
許可するドメインをカスタマイズできますか?
VMは本当にエアギャップされていますか?
Capsemをダウンロードする
オープンソース、ネイティブmacOSおよびLinuxパッケージ、10秒未満でブートします。
$ curl -fsSL https://capsem.org/install.sh | sh
または、安定チャネルからパッケージをダウンロードしてください。
パッケージをダウンロードする (新しいタブで開く)
GitHubで表示する (新しいタブで開く)
macOS 14+ (Apple Silicon搭載) または KVM を搭載した Debian/Ubuntu Linux が必要です。
CapsemはmacOSではApple Virtualization.frameworkを、LinuxではKVMを使用します。