io.github.zengineco/gonzalgo
Dev Tools
Local
Official
Enables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.
How to connect
1
Glama registry
View https://glama.ai/mcp/servers/tkrx65cnul for deploy options, or install from https://github.com/zengineco/gonzalgo (see README for MCP config).
2
GitHub
Install from https://github.com/zengineco/gonzalgo and add the server to your MCP client configuration (see repository README).
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.