Mina Mcp Server

Connect Runs on your machine

claude mcp add mina-mcp-server -- npx -y @o1-labs/[email protected]

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

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

{
  "servers": {
    "mina-mcp-server": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@o1-labs/[email protected]"
      ]
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

More databases servers See all

• VibeScale

  Pre-launch checks for AI-built apps: leaked keys, Supabase RLS gaps, browser-exposed env vars.

• Imf Mcp Server

  Query IMF SDMX 3.0 macroeconomic dataflows — WEO, BOP, CPI, exchange rates, 190 countries.

• Apex DB

  Vehicle specifications, emissions, and powertrain data with source provenance.

• TrialBase DB

  Clinical trials across multiple registries with identifiers and source links.

• PatchLabs

  Security checks for AI-built apps (Lovable, Supabase, Bolt): RLS, headers, monitoring, fixes.

• Tidy Byte Tools API

  Remote MCP for JSON repair, hashing, formatting, IDs, dates, units, and other small tools.