Skip to content
Agentmart
Submit a tool

Soma

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

Connector by medianemi-beep · GitHub account verified by the MCP Registry

IndexedLicense unknownLocal (stdio)
Write a review

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/medianemi-beep-soma

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools
2 read · 0 write · 0 deleteRead-only
Secrets
1 (API keys, tokens or passwords)
Install scripts
Not scanned yet
Runs as
Node.js package

Tools by what they do 2

Read from the source code; the running server may list different tools.

Read 2 · Look things up without changing anything.

  • soma_generate_verified_code
  • soma_verify_code

Secrets and settings it asks for

Secrets: values you paste in that let it act as you.

  • SOMA_API_KEY

Other settings (environment variables or headers).

  • SOMA_BASE_URL

Tools (2)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • soma_generate_verified_codeGenerate execution-verified coderead-only

    Ask Soma to write code for a task. When the task is verifiable, the returned code has been executed against derived tests in an isolated sandbox before it is returned, and a certificate (verdict + tests passed) is attached. Include concrete examples in the prompt (e.g. doctest-style '>>> f(2) == 4') to make the result verifiable rather than best-effort.

  • soma_verify_codeVerify code against tests (signed certificate)read-only

    Run candidate code against tests inside an isolated sandbox and return a PASS/FAIL verdict with a signed, offline-checkable certificate (Ed25519). Use this to independently confirm that code actually works before trusting it. Two test shapes: - function mode (default): tests = [{"input": [arg1, arg2], "expected": value}] and provide 'entrypoint' (the function name). - stdio mode: set mode='stdio' and tests = [{"stdin": "...", "expected_stdout": "..."}]; no entrypoint needed. Supported languages include python, javascript, typescript, go, c, cpp, java, rust, ruby, php, bash and more.

Signals

Stars
0
Forks
0
Open issues
0
Last commit
Aug 22, 2026 (2 months ago)
Last release
Aug 22, 2026 (2 months ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
io.github.medianemi-beep/soma
Version
0.1.0
Auth
API key
Packages
npm soma-verify-mcp
License
License unknown
Repository
github.com/medianemi-beep/soma-mcp
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql
Cite this page

Soma MCP server. Agent Mart. https://agentmart.dev/connectors/medianemi-beep-soma (last updated 2026-10-24)