Loading MCP server directory, please wait...
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
npx @getmcp/cli add io.github.zengineco/gonzalgoRequires Python 3.10+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"io.github.zengineco/gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo[mcp]",
"gonzalgo",
"mcp"
]
}
}
}