gonzalgo
Rank #14,298io.github.zengineco/gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
gonzalgo is a Model Context Protocol (MCP) server published by zengineco. It ranks #14,298 of 132,046 servers tracked on MCP Toplist, and its repository has 2 GitHub stars. gonzalgo is listed across 2 registries — Official MCP and Glama, with 2 tracked versions. It was first listed on Aug 4, 2026 and most recently updated on Sep 11, 2026.
Ranks ahead of 117,748 of 132,046 servers on MCP Toplist.
Use gonzalgo
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add gonzalgo -- uvx --from "gonzalgo[mcp]" gonzalgo mcp[mcp_servers.gonzalgo]
command = "uvx"
args = ["--from", "gonzalgo[mcp]", "gonzalgo", "mcp"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"--from",
"gonzalgo[mcp]",
"gonzalgo",
"mcp"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"--from",
"gonzalgo[mcp]",
"gonzalgo",
"mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"gonzalgo": {
"type": "stdio",
"command": "uvx",
"args": [
"--from",
"gonzalgo[mcp]",
"gonzalgo",
"mcp"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"--from",
"gonzalgo[mcp]",
"gonzalgo",
"mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"--from",
"gonzalgo[mcp]",
"gonzalgo",
"mcp"
]
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.zengineco%2Fgonzalgo)<a href="https://mcptoplist.com/server/io.github.zengineco%2Fgonzalgo"><img src="https://mcptoplist.com/badge/io.github.zengineco%2Fgonzalgo.svg" alt="MCP Toplist: Top 25% of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 4 registries
zengineco
Available versions (2)
| Version | Published |
|---|---|
| 0.5.6 | Sep 11, 2026 |
| 0.5.2 | Aug 5, 2026 |
Frequently asked questions
- Who maintains gonzalgo?
- gonzalgo is maintained by zengineco, which publishes 1 MCP server (2 total versions) tracked on MCP Toplist.
- Is gonzalgo listed on the Official MCP Registry?
- Yes — gonzalgo is listed on the Official MCP Registry, alongside Glama.
- How many versions does gonzalgo have?
- MCP Toplist tracks 2 versions of gonzalgo, most recently published on Sep 11, 2026.
- Where can I find the source code for gonzalgo?
- The source code for gonzalgo is hosted at github.com/zengineco/gonzalgo.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.