Skip to main content
Glama

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

구성

환경 변수

필수

기본값

용도

SOMA_API_KEY

Soma API 키.

SOMA_BASE_URL

아니요

https://170-9-236-56.sslip.io

Soma API 기본 URL.

SOMA_TIMEOUT_MS

아니요

300000

요청당 제한 시간.

무료 미리보기 키 받기: centrum.arvind@gmail.com 문의 (미리보기 기간 동안 무료 티어).

도구

soma_verify_code

테스트에 대해 코드를 실행하고 서명된 판정을 반환합니다.

  • language (string) — 예: python, javascript, go, rust.

  • code (string) — 검증할 전체 소스 코드.

  • tests (array) — 다음 중 하나:

    • 함수 모드 (기본값): [{ "input": [arg1, arg2], "expected": value }]entrypoint (함수 이름).

    • stdio 모드: mode: "stdio"[{ "stdin": "...", "expected_stdout": "..." }] 설정; entrypoint 없음.

  • entrypoint (string, 선택 사항) — 함수 모드의 함수 이름.

  • 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"가 아닙니다.

인증서의 의미

인증서는 나열된 테스트가 생성 시점에 격리된 샌드박스 내에서 통과했음을 증명합니다. 서명(Ed25519)되어 있으며 반환된 공개 키로 오프라인에서 확인할 수 있습니다. 어떤 목적에 대한 적합성 보증은 아닙니다 — 프로덕션 사용 전에 출력을 검토하세요.

개인정보 보호

프롬프트에 대한 학습이 없습니다. ${SOMA_BASE_URL}/privacy에서 Soma 개인정보 보호 및 데이터 정책을 확인하세요.

라이선스

MIT.

Install Server
F
license - not found
A
quality
C
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

  • Execute code in 8 languages (Python, JS, TS, Go, Java, C++, C, Bash) in gVisor sandboxes.

  • Hand off AI work with a signed Verification Receipt — an independent verifier proves it runs.

  • A paid remote MCP for CodeG, built to return verdicts, receipts, usage logs, and audit-ready JSON.

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/medianemi-beep/soma-mcp'

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