Mina MCP Server

Mina MCP Server runs locally from a Node.js package published to the npm registry: @o1-labs/mina-mcp-server version 0.7.3. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Node.js; clients usually start it with npx — the usual command is npx -y @o1-labs/mina-mcp-server@0.7.3.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

{
  "mcpServers": {
    "mina-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@o1-labs/mina-mcp-server@0.7.3"
      ]
    }
  }
}

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect