gonzalgo MCP Server
by vince-gonzalezio.github.vince-gonzalez/gonzalgov0.5.6
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
context tax
queued
security
queued
cold start
queued
freshness
Active7d ago
Install gonzalgo MCP server
Install in Claude Code
claude mcp add gonzalgo -- uvx gonzalgo mcpInstall in Cursor
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo",
"mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo",
"mcp"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"gonzalgo": {
"type": "stdio",
"command": "uvx",
"args": [
"gonzalgo",
"mcp"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo",
"mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Active — last maintenance signal 7d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-10-03 · 7d ago · GitHub
Latest release
2026-08-04 · 2mo ago · GitHub · v1.0.0
Package published
no data · npm/PyPI
Registry entry updated
2026-09-11 · 29d ago · official registry · v0.5.6
FAQ
›How do I install the gonzalgo MCP server in Claude Code?
Run: claude mcp add gonzalgo -- uvx gonzalgo mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does gonzalgo require an API key?
No required environment variables are declared in its published metadata.
›Can I use gonzalgo as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is gonzalgo in the official MCP registry?
Yes, as io.github.vince-gonzalez/gonzalgo.