English Français العربية

io.github.medianemi-beep/soma

Official registry Developer tools

Execution-verified code generation and verification with signed, offline-checkable certificates.

Source code Documentation

Install

Add this to your client's MCP configuration (Claude Desktop: claude_desktop_config.json; Cursor: .cursor/mcp.json; VS Code and others use the same "mcpServers" shape).

NPM package soma-verify-mcp
Claude Code 
claude mcp add soma -e 'SOMA_API_KEY=<your soma_api_key>' -e 'SOMA_BASE_URL=<SOMA_BASE_URL>' -- npx -y soma-verify-mcp@0.1.0
JSON configuration (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "soma": {
            "command": "npx",
            "args": [
                "-y",
                "soma-verify-mcp@0.1.0"
            ],
            "env": {
                "SOMA_API_KEY": "<your soma_api_key>",
                "SOMA_BASE_URL": "<SOMA_BASE_URL>"
            }
        }
    }
}

Environment variables

  • SOMA_API_KEY secret Optional Soma API key. A throttled public demo key is built in, so this is not required to try it. Free preview keys: centrum.arvind@gmail.com.
  • SOMA_BASE_URL Soma API base URL. Defaults to the hosted Soma endpoint.

Documentation

From the project's README on GitHub, refreshed weekly. Links open on GitHub.

Contents
  1. Soma MCP Server
  2. Install
  3. Configuration
  4. Tools
  5. What the certificate means
  6. Privacy
  7. License

Soma MCP Server

Give your AI agent the one thing it can't do for itself: actually run code against tests and prove it passed.

Soma is an execution-verified code service. This MCP server exposes two tools:

  • soma_verify_code — run candidate code against tests inside an isolated sandbox; get a PASS/FAIL verdict plus a signed, offline-checkable certificate (Ed25519). Use it to independently confirm code works before trusting it.
  • soma_generate_verified_code — ask Soma to write code for a task; when the task is verifiable, the returned code has already been executed against derived tests, with a certificate attached.

15+ languages are supported for verification (Python, JavaScript/TypeScript, Go, C/C++, Java, Rust, Ruby, PHP, Bash, and more).

Install

Requires Node.js 18+. Runs over stdio.

Add to your MCP client config (Claude Desktop, Cursor, etc.):

{
  "mcpServers": {
    "soma": {
      "command": "npx",
      "args": ["-y", "soma-verify-mcp"],
      "env": {
        "SOMA_API_KEY": "YOUR_SOMA_KEY"
      }
    }
  }
}
  • Claude Desktop: Settings → Developer → Edit Config, add the block above, restart.
  • Cursor: Settings → MCP → Add, or drop the same block in ~/.cursor/mcp.json.

Configuration

Env varRequiredDefaultPurpose
SOMA_API_KEYyes—Your Soma API key.
SOMA_BASE_URLnohttps://170-9-236-56.sslip.ioSoma API base URL.
SOMA_TIMEOUT_MSno300000Per-request timeout.

Get a free preview key: contact centrum.arvind@gmail.com (free tier during the preview).

Tools

soma_verify_code

Run code against tests and return a signed verdict.

  • language (string) — e.g. python, javascript, go, rust.
  • code (string) — the complete source to verify.
  • tests (array) — one of:
    • function mode (default): [{ "input": [arg1, arg2], "expected": value }] plus entrypoint (the function name).
    • stdio mode: set mode: "stdio" and [{ "stdin": "...", "expected_stdout": "..." }]; no entrypoint.
  • entrypoint (string, optional) — function name for function mode.
  • mode ("function" | "stdio", optional).

Returns: verdict, tests_passed, tests_total, and a signature / public_key / sig_alg you can check offline.

soma_generate_verified_code

Get code for a task, executed against derived tests before it's returned.

  • prompt (string) — the coding task. Include concrete input/output examples (e.g. >>> f(2) == 4) so the result is verifiable rather than best-effort.
  • max_tokens (int, optional, default 1500).

Returns: the code, certified (bool), and a certificate (verdict, tests_passed, tests_total) when verification passed. If a task isn't verifiable, output is returned uncertified and clearly labeled — never a false "verified".

What the certificate means

A certificate attests that the listed tests passed inside an isolated sandbox at generation time. It is signed (Ed25519) and checkable offline against the returned public key. It is not a warranty of fitness for any purpose — review output before production use.

Privacy

No training on your prompts. See the Soma Privacy & Data Policy at ${SOMA_BASE_URL}/privacy.

License

MIT.

Frequently asked questions

What is io.github.medianemi-beep/soma?

Execution-verified code generation and verification with signed, offline-checkable certificates.

How do I install io.github.medianemi-beep/soma?

It runs on your machine. In Claude Code: claude mcp add soma -e 'SOMA_API_KEY=<your soma_api_key>' -e 'SOMA_BASE_URL=<SOMA_BASE_URL>' -- npx -y soma-verify-mcp@0.1.0. For other clients, paste the JSON configuration from this page into their MCP settings.

Does io.github.medianemi-beep/soma need an API key?

Yes. It expects SOMA_API_KEY, which you set in its configuration.

Is io.github.medianemi-beep/soma open source?

Its code is public on GitHub, but the repository does not declare a standard license.

Who maintains io.github.medianemi-beep/soma?

It is published by medianemi-beep. AI.tn lists it but does not maintain or endorse it.

From the official MCP Registry. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.