io.github.vince-gonzalez/gonzalgo

gonzalgo

Is the gonzalgo MCP server down? No. It is up and needs args, probed 2026-10-26.

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

needs args probed 2026-11-15 · unchanged since 2026-10-26

MCP error -32000: Connection closed
usage: gonzalgo [-h]
                {lean-files,check,amplify,eligible,why,index,mcp,profile,trust,impact,audit,mm}

Run it: uvx gonzalgo@0.5.6 (stdio, probed in a container with the network off)
Host: pypi.org
Repository: https://github.com/vince-gonzalez/gonzalgo
Website: https://f-keys.com/gonzalgo/
Registry: active, updated 2026-09-11 · registry entry

Compare this server with others.

More servers

Other registry entries on pypi.org, the ones next to this name; all of them.

Flywizz io.github.victorlane/flywizz-mcp · crashed on start
io.github.vigneshv1cky/alphadesk-terminal · needs args
jobwatch io.github.vinayvobbili/jobwatch · alive
taxtrace io.github.vinayvobbili/taxtrace · needs args
SayDo io.github.vince-gonzalez/saydo · crashed on start
MetaTrader 5 MCP Bridge io.github.vincentwongso/mt5-trading-mcp · crashed on start
io.github.viniciuslazzari/bolsai-mcp · needs mcp<2
Argo CD io.github.vish288/mcp-argocd · needs env

Servers that mention gonzalgo or inherited or compiler.

gonzalgo io.github.zengineco/gonzalgo · needs args
com.clauxel.zerolangcompiler/zerolangcompiler-mcp · no DNS
Priority — TypeScript Compiler Intelligence dev.semanticreader/semantic-reader · alive
Slide-Deck-Automator io.github.Evozim/slide-factory · not found
Guild Wars 1 Build Compiler io.github.Graphmaxer/gw1-mcp · alive
Atomadic Forge io.github.atomadictech/atomadic-forge · alive
Compiler Explorer io.github.compiler-explorer/compiler-explorer · alive
io.github.jdhart81/disclosure-compiler · alive

Badge for the README

The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.

Atom feed

A mail when this server changes

Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.

For the publisher

The server needs command line arguments that the registry entry does not list. Add them to the package arguments in the registry entry.