Gonzalgo MCP Server

name. It reads the package description, which is this README. Removing the print axioms tells you whether one theorem depends on an axiom. It cannot tell you where an axiom is spent rather than inherited, how far that spending reaches, how much of it could be avoided, or - for a given theorem - which step introduced it. This does. It runs locally over stdio via the published package.

People connecting developer tools tools to Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-08-24 · ★ 2 · #65 OF 139 MAINTAINED DEVELOPER TOOLS · VERIFIED 2026-08-25

Apache-2.0 · Python servers · how we verify → /methodology

01 · Install Gonzalgo

Claude Code

claude mcp add zengineco-gonzalgo -- uvx gonzalgo

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "zengineco-gonzalgo": {
      "command": "uvx",
      "args": [
        "gonzalgo"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

repo age created 2026-08-04 - young repo, little track record yet

license Apache-2.0 - declared in the repository

pypi package gonzalgo - check the name against the project README before installing (PyPI has no namespace ownership)

registry namespace io.github.zengineco is GitHub-verified and matches the repo owner

03 · What Gonzalgo can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

v1.0.0 · 2026-08-04

Composite GitHub Action: fails a Lean 4 build when any theorem rests on an unfinished proof or on trusting the compiler rather than the kernel. Verified in CI against a clean project and one whose sorry is two steps…

04 · Who maintains Gonzalgo

gonzalgo is maintained by zengineco. It's the only MCP server we track from this author; the repo dates to Aug 2026.

05 · Facts

repository: github.com/zengineco/gonzalgo
website: https://f-keys.com/gonzalgo/
category: developer tools - ranked #65 of 139 actively-maintained developer tools servers as of 2026-08-25.
release cadence: 1 release in the last 90 days (latest 2026-08-04)
registry: io.github.zengineco/gonzalgo (active, first published 2026-08-05)
packages: pypi:gonzalgo

06 · Gonzalgo FAQ

What is Gonzalgo?

Is Gonzalgo still maintained?

Yes - as of 2026-08-25, its last commit was 2026-08-24 and it shipped 1 release in the last 90 days. We re-verify nightly.

How do I install Gonzalgo?

Run `uvx gonzalgo`. You can also paste the ready-made client config above.

Does Gonzalgo run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Gonzalgo

Alternatives to Gonzalgo

Maintained developer tools servers if Gonzalgo isn't the fit.

Pairs well with

Servers that cover what Gonzalgo doesn't - only shown when the pairing reason fits the companion.

More developer tools MCP servers · Sparda · Agentic HIL · Axint · Rtblint · Vastlint

More Python MCP servers · Zenml · Zernio · LLM Usage · Nanobanana MCP Server · Pyobfus MCP · see all