Servidor MCP de Soma

Dale a tu agente de IA lo único que no puede hacer por sí mismo: ejecutar código real contra pruebas y demostrar que las ha superado.

Soma es un servicio de código verificado por ejecución. Este servidor MCP expone dos herramientas:

• soma_verify_code — ejecuta el código candidato contra pruebas en un sandbox aislado; obtén un veredicto PASS/FAIL además de un certificado firmado y comprobable sin conexión (Ed25519). Úsalo para confirmar de forma independiente que el código funciona antes de confiar en él.

• soma_generate_verified_code — pide a Soma que escriba código para una tarea; cuando la tarea es verificable, el código devuelto ya se ha ejecutado contra pruebas derivadas, con un certificado adjunto.

Se admiten más de 15 lenguajes para la verificación (Python, JavaScript/TypeScript, Go, C/C++, Java, Rust, Ruby, PHP, Bash y más).

Instalación

Requiere Node.js 18+. Se ejecuta sobre stdio.

Añádelo a la configuración de tu cliente MCP (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, añade el bloque anterior y reinicia.

• Cursor: Settings → MCP → Add, o coloca el mismo bloque en ~/.cursor/mcp.json.

Related MCP server: AI Workbench MCP

Configuración

Obtén una clave de vista previa gratuita: contacta con centrum.arvind@gmail.com (plan gratuito durante la vista previa).

Herramientas

soma_verify_code

Ejecuta código contra pruebas y devuelve un veredicto firmado.

• language (string) — p. ej. python, javascript, go, rust.

• code (string) — el código fuente completo a verificar.

• tests (array) — una de las siguientes opciones:

  • modo función (por defecto): [{ "input": [arg1, arg2], "expected": value }] más entrypoint (el nombre de la función).

  • modo stdio: establece mode: "stdio" y [{ "stdin": "...", "expected_stdout": "..." }]; sin entrypoint.

• entrypoint (string, opcional) — nombre de la función para el modo función.

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

Devuelve: verdict, tests_passed, tests_total y una signature / public_key / sig_alg que puedes comprobar sin conexión.

soma_generate_verified_code

Obtén código para una tarea, ejecutado contra pruebas derivadas antes de devolverse.

• prompt (string) — la tarea de programación. Incluye ejemplos concretos de entrada/salida (p. ej. >>> f(2) == 4) para que el resultado sea verificable y no un simple intento.

• max_tokens (int, opcional, por defecto 1500).

Devuelve: el código, certified (bool) y un certificate (verdict, tests_passed, tests_total) cuando la verificación se ha superado. Si una tarea no es verificable, la salida se devuelve sin certificar y claramente etiquetada; nunca un «verified» falso.

Qué significa el certificado

Un certificado atestigua que las pruebas enumeradas se superaron en un sandbox aislado en el momento de la generación. Está firmado (Ed25519) y se puede comprobar sin conexión con la clave pública devuelta. No es una garantía de idoneidad para ningún propósito: revisa la salida antes de usarla en producción.

Privacidad

No se entrena con tus prompts. Consulta la Política de Privacidad y Datos de Soma en ${SOMA_BASE_URL}/privacy.

Licencia

MIT.