lookupd

io.github.mrfentmen/metamath-mcp

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

Metamath MCP: 20 real tools to read, check, lint, scaffold, build and run Metamath code.

Summary by lookupd

Lets an agent read, check, lint, scaffold, build and run Metamath proof code through 20 tools.

Install

Claude Code, npm package (stdio)

claude mcp add metamath -- npx -y @mrfentmen/metamath-mcp

Codex, npm package (stdio)

codex mcp add metamath -- npx -y @mrfentmen/metamath-mcp

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "metamath": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/metamath-mcp"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.mrfentmen/metamath-mcp

[![lookupd status](https://lookupd.com/badge/io.github.mrfentmen/metamath-mcp.svg)](https://lookupd.com/servers/io.github.mrfentmen/metamath-mcp)