Soma MCP Server

为你的 AI 智能体提供它自己无法做到的一件事：真正针对测试运行代码，并证明它通过了。

Soma 是一个执行验证的代码服务。这个 MCP 服务器暴露两个工具：

• soma_verify_code — 在隔离沙箱中针对测试运行候选代码；获得 PASS/FAIL 判定，外加一个签名的、可离线验证的证书（Ed25519）。在信任代码之前，用它来独立确认代码是否有效。

• soma_generate_verified_code — 让 Soma 为任务编写代码；当任务可验证时，返回的代码已经针对派生测试执行过，并附有证书。

支持 15+ 种语言的验证（Python、JavaScript/TypeScript、Go、C/C++、Java、Rust、Ruby、PHP、Bash 等）。

安装

需要 Node.js 18+。通过 stdio 运行。

添加到你的 MCP 客户端配置（Claude Desktop、Cursor 等）：

{
  "mcpServers": {
    "soma": {
      "command": "npx",
      "args": ["-y", "soma-verify-mcp"],
      "env": {
        "SOMA_API_KEY": "YOUR_SOMA_KEY"
      }
    }
  }
}

• Claude Desktop：Settings → Developer → Edit Config，添加上面的块，然后重启。

• Cursor：Settings → MCP → Add，或者将同样的块放入 ~/.cursor/mcp.json。

Related MCP server: AI Workbench MCP

配置

获取免费预览密钥：联系 centrum.arvind@gmail.com（预览期间免费）。

工具

soma_verify_code

针对测试运行代码并返回签名判定。

• language（字符串）— 例如 python、javascript、go、rust。

• code（字符串）— 要验证的完整源代码。

• tests（数组）— 以下之一：

  • 函数模式（默认）：[{ "input": [arg1, arg2], "expected": value }] 加上 entrypoint（函数名）。

  • stdio 模式：设置 mode: "stdio" 和 [{ "stdin": "...", "expected_stdout": "..." }]；不需要 entrypoint。

• entrypoint（字符串，可选）— 函数模式下的函数名。

• mode（"function" | "stdio"，可选）。

返回：verdict、tests_passed、tests_total，以及你可以离线检查的 signature / public_key / sig_alg。

soma_generate_verified_code

获取任务的代码，在返回之前已针对派生测试执行过。

• prompt（字符串）— 编码任务。包含具体的输入/输出示例（例如 >>> f(2) == 4），这样结果就是可验证的，而不是尽力而为。

• max_tokens（整数，可选，默认 1500）。

返回：代码、certified（布尔值），以及验证通过时的 certificate（verdict、tests_passed、tests_total）。如果任务不可验证，输出会以未认证的方式返回并明确标注 — 绝不会出现虚假的“已验证”。

证书的含义

证书证明列出的测试在生成时于隔离沙箱中通过了。它是签名的（Ed25519），并且可以针对返回的公钥离线检查。它不是任何用途适用性的保证 — 在生产使用前请审查输出。

隐私

不会对你的提示进行训练。请参阅 ${SOMA_BASE_URL}/privacy 处的 Soma 隐私与数据政策。

许可证

MIT。# Soma MCP Server

给你的 AI 代理一个它自己做不到的东西：真正运行代码来测试，并证明它通过了。

Soma 是一个执行验证的代码服务。这个 MCP 服务器暴露两个工具：

• soma_verify_code — 在隔离沙箱中运行候选代码并针对测试进行验证；获得 PASS/FAIL 判定，外加一个签名的、可离线验证的证书（Ed25519）。在信任代码之前，用它来独立确认代码是否有效。

• soma_generate_verified_code — 让 Soma 为任务编写代码；当任务可验证时，返回的代码已经针对派生测试执行过，并附有证书。

支持 15+ 种语言的验证（Python、JavaScript/TypeScript、Go、C/C++、Java、Rust、Ruby、PHP、Bash 等）。

安装

需要 Node.js 18+。通过 stdio 运行。

添加到你的 MCP 客户端配置（Claude Desktop、Cursor 等）：

{
  "mcpServers": {
    "soma": {
      "command": "npx",
      "args": ["-y", "soma-verify-mcp"],
      "env": {
        "SOMA_API_KEY": "YOUR_SOMA_KEY"
      }
    }
  }
}

• Claude Desktop：Settings → Developer → Edit Config，添加上面的块，然后重启。

• Cursor：Settings → MCP → Add，或者将同样的块放入 ~/.cursor/mcp.json。

配置

获取免费预览密钥：联系 centrum.arvind@gmail.com（预览期间免费）。

工具

soma_verify_code

运行代码并返回签名的判定结果。

• language（字符串）— 例如 python、javascript、go、rust。

• code（字符串）— 要验证的完整源代码。

• tests（数组）— 以下之一：

  • 函数模式（默认）：[{ "input": [arg1, arg2], "expected": value }] 加上 entrypoint（函数名）。

  • stdio 模式：设置 mode: "stdio" 和 [{ "stdin": "...", "expected_stdout": "..." }]；不需要 entrypoint。

• entrypoint（字符串，可选）— 函数模式下的函数名。

• mode（"function" | "stdio"，可选）。

返回：verdict、tests_passed、tests_total，以及一个你可以离线检查的 signature / public_key / sig_alg。

soma_generate_verified_code

获取任务的代码，在返回之前已针对派生测试执行过。

• prompt（字符串）— 编码任务。包含具体的输入/输出示例（例如 >>> f(2) == 4），这样结果就是可验证的，而不是尽力而为。

• max_tokens（整数，可选，默认 1500）。

返回：代码、certified（布尔值），以及验证通过时的 certificate（verdict、tests_passed、tests_total）。如果任务不可验证，输出会以未认证的方式返回，并明确标注 — 绝不会出现虚假的“已验证”。

证书的含义

证书证明列出的测试在生成时于隔离沙箱中通过了。它是签名的（Ed25519），并且可以针对返回的公钥离线检查。它不是任何用途的适用性保证 — 在生产使用前请审查输出。

隐私

不会对你的提示进行训练。请参阅 ${SOMA_BASE_URL}/privacy 处的 Soma 隐私与数据政策。

许可证

MIT。