Skip to main content
Modal 是用于云端 sandbox 的 remote environment provider。它适合 SWE-bench 和 Terminal-Bench 这类任务元数据中已经包含兼容 registry image 的 workload。

官方设置入口

首次设置

  1. 从官方 signup 页面创建 Modal 账号。
  2. 在运行 AgentCompass 的机器上配置 Modal credentials。
  3. 导出 MODAL_TOKEN_IDMODAL_TOKEN_SECRET,或者让 Modal CLI 把 credentials 写入 ~/.modal.toml
  4. 先跑单个 AgentCompass task,再提高并发。
本地开发通常可以直接走 Modal CLI setup:
自动化 runner 或 shared workspace 推荐创建 service user token,然后放在 shell 或 CI secret store 中:
AgentCompass 的 Modal 鉴权优先级是:
不要把 Modal token 提交到 config/defaults.yaml。请使用环境变量,或通过 --config 传入私有配置文件。

验证凭据

先用 Modal CLI 验证当前 credentials:
然后用 AgentCompass 跑一个 recipe-backed 单任务:

SWE-bench Verified

SWE-bench Modal recipe 会从任务元数据选择镜像,并把 workspace root 设置为 /testbed。通常不需要手动传 imagememory

完整 benchmark 与并发

如果模型 endpoint、Modal 账号限制或镜像启动时间成为瓶颈,请降低并发。

Provider 参数

常见 Modal 覆盖项可以放在 environments.modal--env-params

Image 覆盖

只有明确要覆盖 recipe 行为时才使用 imagenamed_image

相关页面