Developer · Local MCP server
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
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
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: uvx | gonzalgo | 0.5.6 | stdio |
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)
| Server | Runs |
|---|---|
| ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates. | Local · stdio |
| CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast. | Local · stdio |
| SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked. | Local · stdio |
More developer servers
| Server | Runs |
|---|---|
| GoModelSelf-hosted gateway aggregating upstream MCP servers behind one authenticated HTTP endpoint. | Local · HTTP |
| Gongio MCPMCP server for Gong.io - access calls, transcripts, and users. | Local · stdio |
| Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call. | Remote · HTTP |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | Remote · HTTP |
| goodbotbad.botThe MCP server behind goodbotbad.bot, where the crowd rules AI transcripts good bot or bad bot. | Remote · HTTP |
| Goodreads MCPRead-only MCP server for Goodreads (no API required): search, books, shelves, ratings. | Local · stdio |
| Google AdsGoogle Ads MCP server: 35 read tools, 10 opt-in preview-first writes. | Local · stdio |
| Google AdsMCP server for Google Ads — 22 tools for spend diagnosis, impression share, and asset performance. | Local · stdio |