envy-mcp-hello
envy-mcp-hello
Envyが管理するModalサンドボックスを利用した小さな公開MCPサーバーです。1つのhello環境と標準的なEnvy MCPツールを公開しています:
create_sandbox · kill_sandbox · bash · read · write · edit · glob · grep
この例では、現在のFastMCP 4のプレリリース(4.0.0b3)を固定しているため、公開デプロイメントはv4サーバーとクライアントプロトコルをテストします。
デプロイする
modal-labsワークスペースでModalトークンを作成します。このGitHubリポジトリで、Settings → Secrets and variables → Actions の下に以下のActionsシークレットを追加します:
MODAL_TOKEN_IDMODAL_TOKEN_SECRET
mainにプッシュするか、Actionsタブから手動でDeploy MCP serverを実行します。
ワークフローは公開リポジトリaaazzam/envyからEnvyをインストールし、宣言テストを実行して、devboxes.py内のmodal_appをModalにデプロイします。
デプロイされたMCP URLは次のとおりです:
https://modal-labs-aaazzam-dev--envy-mcp-hello-serve.modal.run/mcpエンドポイントは実験のために意図的に公開されています。helloサンドボックスにシークレットやプライベートなソースコードを入れないでください。
Related MCP server: Modal MCP
試してみる
MCPクライアントをURLに向けて、以下を呼び出します:
create_sandboxをenvironment: "hello"で呼び出すwrite/tmp/hello/message.txtをhello from MCPで呼び出すそのファイルに対して
read、edit、bash、glob、またはgrepを呼び出すread/tmp/hello/README.mdを呼び出すか、/tmp/hello/hello.pyを実行する終了したら
kill_sandboxを呼び出す
サンドボックスは一時的で、ワーキングディレクトリとして /tmp/hello を使用し、小さな README.md と hello.py のHello Worldフィクスチャで初期化されています。
ローカル検証
PythonとMCP拡張がインストールされている状態で:
python -m unittest discover -s testsライブのModal統合は意図的にGitHub Actionの一部ではありません。Actionは公開コントロールプレーンをデプロイし、サンドボックスの作成はMCPクライアントがcreate_sandboxを呼び出したときに行われます。
This server cannot be deployed
Maintenance
Related MCP Connectors
Cloudflare Workers MCP server: interactive-api-playground
Cloudflare Workers MCP server: ai-agent-scratchpad
Cloud-hosted MCP server for durable AI memory
Related MCP Servers
AlicenseAqualityFmaintenanceMCP server to give every agent an ephemeral Linux sandboxes for executing shell commands.114 PyPI52MIT- AlicenseAqualityAmaintenanceAn MCP server for managing Modal — apps, containers, volumes, and secrets — and for deploying & running Modal apps directly from Claude Code and other MCP clients.1283 PyPI4MIT
- FlicenseNot gradedqualityDmaintenanceA sandbox MCP server for testing and debugging MCP tools and interactions via the MCP Inspector.-
- FlicenseNot gradedqualityDmaintenanceA minimal MCP server with hello and echo tools.-