envy-mcp-hello

一个由 Envy 管理的 Modal 沙箱支持的微型公共 MCP 服务器。它暴露了一个 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. 使用 environment: "hello" 调用 create_sandbox

2. 使用 hello from MCP 内容调用 write /tmp/hello/message.txt

3. 针对该文件调用 read、edit、bash、glob 或 grep

4. 调用 read /tmp/hello/README.md 或运行 /tmp/hello/hello.py

5. 完成后调用 kill_sandbox

该沙箱是临时的，使用 /tmp/hello 作为工作目录，并预置了一个小的 README.md 和 hello.py 问候世界示例。

本地验证

安装 Python 和 MCP 额外依赖后：

python -m unittest discover -s tests

实时的 Modal 集成故意不作为 GitHub Action 的一部分。该 Action 部署公共控制平面；沙箱创建发生在 MCP 客户端调用 create_sandbox 时。