HN 日本語サマリー

← 一覧へ戻る
プログラミング

Capsem – Rust製ハイパーバイザーによるエアギャップLinux VMでのAIエージェントのサンドボックス化

Capsem – a Rust hypervisor sandboxing AI agents in air-gapped Linux VMs (capsem.org)

5 pointsby madars2 コメント

要約

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を使用します。