Soma MCP Server

Дайте вашему ИИ-агенту то единственное, что он не может сделать сам: реально запускать код на тестах и доказывать, что он прошёл.

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 и другие).

Install

Требуется 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

Configuration

Получите бесплатный предварительный ключ: свяжитесь с centrum.arvind@gmail.com (бесплатный тариф на время предварительного доступа).

Tools

soma_verify_code

Запускает код на тестах и возвращает подписанный вердикт.

• language (string) — например, python, javascript, go, rust.

• code (string) — полный исходный код для проверки.

• tests (array) — один из вариантов:

  • function mode (по умолчанию): [{ "input": [arg1, arg2], "expected": value }] плюс entrypoint (имя функции).

  • stdio mode: установите mode: "stdio" и [{ "stdin": "...", "expected_stdout": "..." }]; entrypoint не требуется.

• entrypoint (string, необязательный) — имя функции для function mode.

• mode ("function" | "stdio", необязательный).

Возвращает: verdict, tests_passed, tests_total и signature / public_key / sig_alg, которые можно проверить офлайн.

soma_generate_verified_code

Получите код для задачи, выполненный на производных тестах до его возврата.

• prompt (string) — задача по написанию кода. Включите конкретные примеры ввода/вывода (например, >>> f(2) == 4), чтобы результат был проверяемым, а не «как получится».

• max_tokens (int, необязательный, по умолчанию 1500).

Возвращает: код, certified (bool) и certificate (verdict, tests_passed, tests_total), если проверка пройдена. Если задача не проверяема, результат возвращается без сертификации и с явной пометкой — никогда не выдаётся ложный статус «verified».

What the certificate means

Сертификат подтверждает, что указанные тесты прошли в изолированной песочнице на момент генерации. Он подписан (Ed25519) и может быть проверен офлайн с помощью возвращённого открытого ключа. Он не является гарантией пригодности для каких-либо целей — проверяйте результат перед использованием в производстве.

Privacy

Без обучения на ваших запросах. См. Политику конфиденциальности и обработки данных Soma по адресу ${SOMA_BASE_URL}/privacy.

License

MIT.