Soma MCP Server
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 키. |
| 아니요 |
| Soma API 기본 URL. |
| 아니요 |
| 요청당 제한 시간. |
무료 미리보기 키 받기: 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.
Maintenance
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
- AlicenseNot gradedqualityDmaintenanceEnables secure cloud-based execution of code across 14+ programming languages within a sandboxed environment. It supports file management, standard input/output handling, and automatic generation of visual artifacts like plots and charts.MIT
- AlicenseCqualityCmaintenanceEnables acceptance gates for AI coding-agent runs by recording evidence, running deterministic validation, applying a quality gate, and rendering auditable outcomes.7Apache 2.0
- AlicenseNot gradedqualityCmaintenanceProvides isolated sandbox environments for AI agents to execute code securely, generating signed receipts for every execution to ensure auditability and trust.174MIT
- AlicenseAqualityCmaintenanceEnables creating portable, reviewable bug reproduction capsules from bug reports with safe, bounded execution and redacted evidence.10MIT
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.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
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