Soma MCP Server

Gib deinem KI-Agenten das Eine, das er nicht selbst tun kann: Code tatsächlich gegen Tests auszuführen und zu beweisen, dass er bestanden hat.

Soma ist ein Code-Dienst mit Ausführungsverifizierung. Dieser MCP-Server stellt zwei Werkzeuge bereit:

• soma_verify_code — führe Kandidatencode gegen Tests in einer isolierten Sandbox aus; erhalte ein PASS/FAIL-Urteil plus ein signiertes, offline prüfbares Zertifikat (Ed25519). Nutze es, um unabhängig zu bestätigen, dass der Code funktioniert, bevor du ihm vertraust.

• soma_generate_verified_code — bitte Soma, Code für eine Aufgabe zu schreiben; wenn die Aufgabe verifizierbar ist, wurde der zurückgegebene Code bereits gegen abgeleitete Tests ausgeführt und mit einem Zertifikat versehen.

15+ Sprachen werden für die Verifizierung unterstützt (Python, JavaScript/TypeScript, Go, C/C++, Java, Rust, Ruby, PHP, Bash und weitere).

Installation

Erfordert Node.js 18+. Läuft über stdio.

Füge es zu deiner MCP-Client-Konfiguration hinzu (Claude Desktop, Cursor usw.):

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

• Claude Desktop: Settings → Developer → Edit Config, füge den obigen Block hinzu und starte neu.

• Cursor: Settings → MCP → Add, oder füge denselben Block in ~/.cursor/mcp.json ein.

Related MCP server: AI Workbench MCP

Konfiguration

Erhalte einen kostenlosen Vorschau-Schlüssel: Kontaktiere centrum.arvind@gmail.com (kostenloses Kontingent während der Vorschau).

Werkzeuge

soma_verify_code

Führe Code gegen Tests aus und gib ein signiertes Urteil zurück.

• language (string) — z. B. python, javascript, go, rust.

• code (string) — der vollständige Quellcode, der verifiziert werden soll.

• tests (array) — eines von:

  • Funktionsmodus (Standard): [{ "input": [arg1, arg2], "expected": value }] plus entrypoint (der Funktionsname).

  • Stdio-Modus: setze mode: "stdio" und [{ "stdin": "...", "expected_stdout": "..." }]; kein entrypoint.

• entrypoint (string, optional) — Funktionsname für den Funktionsmodus.

• mode ("function" | "stdio", optional).

Gibt zurück: verdict, tests_passed, tests_total sowie eine signature / public_key / sig_alg, die du offline prüfen kannst.

soma_generate_verified_code

Erhalte Code für eine Aufgabe, der vor der Rückgabe gegen abgeleitete Tests ausgeführt wurde.

• prompt (string) — die Programmieraufgabe. Füge konkrete Eingabe-/Ausgabebeispiele hinzu (z. B. >>> f(2) == 4), damit das Ergebnis verifizierbar ist und nicht nur nach bestem Bemühen.

• max_tokens (int, optional, Standard 1500).

Gibt zurück: den Code, certified (bool) und ein certificate (verdict, tests_passed, tests_total), wenn die Verifizierung bestanden wurde. Wenn eine Aufgabe nicht verifizierbar ist, wird die Ausgabe ohne Zertifizierung und klar gekennzeichnet zurückgegeben — niemals ein falsches „verified“.

Was das Zertifikat bedeutet

Ein Zertifikat bestätigt, dass die aufgeführten Tests zum Zeitpunkt der Erstellung in einer isolierten Sandbox bestanden wurden. Es ist signiert (Ed25519) und offline anhand des zurückgegebenen öffentlichen Schlüssels prüfbar. Es ist keine Garantie für die Eignung für irgendeinen Zweck — überprüfe die Ausgabe vor dem Produktionseinsatz.

Datenschutz

Kein Training mit deinen Prompts. Siehe die Soma-Datenschutz- und Datenrichtlinie unter ${SOMA_BASE_URL}/privacy.

Lizenz

MIT.