Soma MCP Server

AIエージェントに、自分ではできない唯一のことを与えます。実際にコードをテストに対して実行し、合格したことを証明することです。

Somaは実行検証済みコードサービスです。このMCPサーバーは2つのツールを公開します:

• 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

設定

無料プレビューキーを入手するには: centrum.arvind@gmail.com までご連絡ください(プレビュー期間中は無料ティア)。

ツール

soma_verify_code

テストに対してコードを実行し、署名付きの判定を返します。

• language (文字列) — 例: python、javascript、go、rust。

• code (文字列) — 検証する完全なソースコード。

• tests (配列) — 次のいずれか:

  • 関数モード(デフォルト): [{ "input": [arg1, arg2], "expected": value }] に加えて entrypoint(関数名)。

  • stdioモード: mode: "stdio" を設定し、[{ "stdin": "...", "expected_stdout": "..." }] を使用。entrypointは不要。

• entrypoint (文字列、任意) — 関数モードでの関数名。

• mode ("function" | "stdio"、任意)。

戻り値: verdict、tests_passed、tests_total、およびオフラインで確認できる signature / public_key / sig_alg。

soma_generate_verified_code

タスクのコードを取得します。返される前に導出されたテストに対して実行済みです。

• prompt (文字列) — コーディングタスク。具体的な入出力例を含めてください(例: >>> f(2) == 4)。そうすることで、結果がベストエフォートではなく検証可能になります。

• max_tokens (整数、任意、デフォルト1500)。

戻り値: コード、certified (ブール値)、および検証が成功した場合の certificate (verdict、tests_passed、tests_total)。タスクが検証可能でない場合、出力は未認証として明確にラベル付けされて返されます — 誤った「検証済み」は決して返されません。

証明書の意味

証明書は、記載されたテストが生成時に隔離されたサンドボックス内で合格したことを証明します。Ed25519で署名されており、返された公開鍵に対してオフラインで検証可能です。これはいかなる目的に対する適合性の保証ではありません — 本番環境で使用する前に出力をレビューしてください。

プライバシー

プロンプトの学習には使用されません。Somaのプライバシーおよびデータポリシーは ${SOMA_BASE_URL}/privacy をご覧ください。

ライセンス

MIT。