gonzalgo MCP Server: Install & Setup

Install gonzalgo in Claude Code

Claude Code

claude mcp add gonzalgo -- uvx gonzalgo

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "gonzalgo": {
      "command": "uvx",
      "args": [
        "gonzalgo"
      ]
    }
  }
}

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

Run: claude mcp add gonzalgo -- uvx gonzalgo

Parallel-Platforms/hootlens-mcp

Read Hoot Lens recordings, replays, heatmaps, funnels and findings with your own account.

bjornj12/golf-coach

A stats-driven golf coach: Trackman + on-course rounds, turned into a practice plan.

shuji-bonji/houki-nta-mcp

Japan NTA tax notices (tsutatsu) and Q&A, marked with legal_status and linked back to the law.

benseverndev-oss/goldencheck

Auto-discover validation rules from data — scan, profile, health-score. No rules to write.

narendrachampaneri/htpd

Answer questions from PDFs converted to .htpd: exact text with pages, or 'Not found in this file.'

anandkaranubc/gitgoblin

Discover open-source repositories worth your time and evidence-backed contribution opportunities.