Skip to main content
Glama
aaazzam

envy-mcp-hello

by aaazzam

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サーバーとクライアントプロトコルをテストします。

デプロイする

  1. modal-labsワークスペースでModalトークンを作成します。

  2. このGitHubリポジトリで、Settings → Secrets and variables → Actions の下に以下のActionsシークレットを追加します:

    • MODAL_TOKEN_ID

    • MODAL_TOKEN_SECRET

  3. 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に向けて、以下を呼び出します:

  1. create_sandboxenvironment: "hello" で呼び出す

  2. write /tmp/hello/message.txthello from MCP で呼び出す

  3. そのファイルに対して readeditbashglob、または grep を呼び出す

  4. read /tmp/hello/README.md を呼び出すか、/tmp/hello/hello.py を実行する

  5. 終了したら kill_sandbox を呼び出す

サンドボックスは一時的で、ワーキングディレクトリとして /tmp/hello を使用し、小さな README.mdhello.py のHello Worldフィクスチャで初期化されています。

ローカル検証

PythonとMCP拡張がインストールされている状態で:

python -m unittest discover -s tests

ライブのModal統合は意図的にGitHub Actionの一部ではありません。Actionは公開コントロールプレーンをデプロイし、サンドボックスの作成はMCPクライアントがcreate_sandboxを呼び出したときに行われます。

A
license - permissive license
-
quality - not tested
B
maintenance

Maintenance

Maintainers
Response time
Release cycle
Releases (12mo)
Commit activity

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Related MCP Servers

View all related MCP servers

Related MCP Connectors

View all MCP Connectors

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/aaazzam/envy-mcp-hello'

If you have feedback or need assistance with the MCP directory API, please join our Discord server