gonzalgo

io.github.vince-gonzalez/gonzalgo

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.5.6
Registry
active
Published
9/11/2026

More Developer Tools servers

Browse all Developer Tools →

SayDo

vince-gonzalez

Does the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.

Developer ToolsAdded 2 months ago

Cookie Consent Compliance Scanner

waivern-compliance

Cookie consent scanner: GDPR, CCPA, GCMv2. PASS/FAIL compliance checklists with fix recommendations.

Developer ToolsAdded 5 months ago

Devloop

vincentvella

Browser + dev-server logs on one correlated timeline, for Claude Code and AI agents.

Developer ToolsAdded 2 weeks ago

MetaTrader 5 MCP Bridge

vincentwongso

Let an AI agent read and trade a MetaTrader 5 account over MCP, behind a human-approval gate.

Developer ToolsAdded 4 months ago

FEC Checker (French accounting file pre-audit)

vincenz-cdf

Validate French FEC accounting files and flag audit risks before a tax audit.

Developer ToolsAdded 1 week ago

ConnectMeGuru eSIM Server

vineetgoyalhuf

Official ConnectMeGuru MCP server: search 190+ travel eSIM data plans and buy in-chat.

Developer ToolsAdded 1 month ago

Add the badge to your site

Show visitors that gonzalgo is listed here — it’s also the link we check for a free listing.

gonzalgo — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-vince-gonzalez-gonzalgo?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="gonzalgo — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![gonzalgo — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-vince-gonzalez-gonzalgo?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.