MCP server

gonzalgo

io.github.vince-gonzalez/gonzalgo

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Runs on your computer

Website Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add gonzalgo -- uvx gonzalgo@0.5.6

Claude Desktop

{"mcpServers":{"gonzalgo":{"command":"uvx","args":["gonzalgo@0.5.6"]}}}

Codex (config.toml)

[mcp_servers.gonzalgo]
command = "uvx"
args = ["gonzalgo@0.5.6"]

Gemini CLI

{"mcpServers":{"gonzalgo":{"command":"uvx","args":["gonzalgo@0.5.6"]}}}

Cursor

{"mcpServers":{"gonzalgo":{"command":"uvx","args":["gonzalgo@0.5.6"]}}}

VS Code

{"servers":{"gonzalgo":{"type":"stdio","command":"uvx","args":["gonzalgo@0.5.6"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Kaiku
Issue tracker and wiki for teams and their agents: find, file and update issues, write pages.
Innovalyxx Sovereign Edge
Verified cyber-physical AI tools. 25 MCP tools, x402-payable on Base.
prxhub
Search, cite, download, and publish .prx research bundles on prxhub.com.
Swarm Tips — Earn, Spend, and Discover for AI Agents
51 tools: on-chain verified tasks, staked games, x402 video, MCP search, agent reputation.
Proof Holdings
One API, all things verified — control, delegation, human approval, anti-impersonation.
Pure Report — Neutral News
Neutral, bias-scored news for AI agents: compare left/right media-bias framing, fact-check receipts.
Governance Platform
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
ECLYPSE Sanctuary
Voluntary agent pauses, solar geometry, creativity, reflection and three free tracked sessions.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.vince-gonzalez/gonzalgo.svg)](https://aptlynx.net/servers/io.github.vince-gonzalez/gonzalgo)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents