Developer · Local MCP server

gonzalgo

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

Visit gonzalgo's website

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.vince-gonzalez/gonzalgo
Version
0.5.6
Status
Active
Category
developer
Transport
stdio (local process)
Package
PyPI
Published
2026-09-11
Updated
2026-09-11
Publisher
vince-gonzalez (GitHub) · 4 servers with pages here
Website
f-keys.com/gonzalgo/
Repository
github.com/vince-gonzalez/gonzalgo
Source
Registry API entry

Packages

RegistryPackageVersionTransportEnvironment variables
PyPIruntime: uvxgonzalgo0.5.6stdioNone declared

How to connect gonzalgo

gonzalgo runs locally from a Python package published to PyPI: gonzalgo version 0.5.6. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx gonzalgo. Required arguments: --from.

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

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

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

More from vince-gonzalez (GitHub)

ServerRunsEndpoint or package
ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates.Local · stdionpm: colorblind-mcp
CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.Local · stdionpm: cvdsafe-mcp
SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.Local · stdioPyPI: saydo

More developer servers

All 6,250 →
ServerRunsEndpoint or package
GoModelSelf-hosted gateway aggregating upstream MCP servers behind one authenticated HTTP endpoint.Local · HTTPOCI image (Docker): docker.io/enterpilot/gomodel:0.1.99
Gongio MCPMCP server for Gong.io - access calls, transcripts, and users.Local · stdionpm: gongio-mcp
Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call.Remote · HTTPmcp.gogonka.com
GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math.Remote · HTTPgonkbot.com
goodbotbad.botThe MCP server behind goodbotbad.bot, where the crowd rules AI transcripts good bot or bad bot.Remote · HTTPgoodbotbad.bot
Goodreads MCPRead-only MCP server for Goodreads (no API required): search, books, shelves, ratings.Local · stdioPyPI: goodreads-mcp-ai
Google AdsGoogle Ads MCP server: 35 read tools, 10 opt-in preview-first writes.Local · stdionpm: @getmcpads/google-ads-mcp-server
Google AdsMCP server for Google Ads — 22 tools for spend diagnosis, impression share, and asset performance.Local · stdionpm: @zleventer/google-ads-mcp