Ontwikkeling · Lokale MCP-server

gonzalgo

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

Naar de website van gonzalgo

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam
io.github.vince-gonzalez/gonzalgo
Versie
0.5.6
Status
Actief
Categorie
ontwikkeling
Transport
stdio (lokaal proces)
Pakket
PyPI
Gepubliceerd
11 september 2026
Bijgewerkt
11 september 2026
Uitgever
vince-gonzalez (GitHub) · 4 servers met een pagina hier
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/vince-gonzalez) · hoe
Website
f-keys.com/gonzalgo/
Repository
github.com/vince-gonzalez/gonzalgo
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
PyPIruntime: uvxgonzalgo0.5.6stdioNiets opgegeven

Zo verbind je gonzalgo

gonzalgo draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: gonzalgo, versie 0.5.6. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx gonzalgo. Vereiste argumenten: --from.

In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):

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

Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer van vince-gonzalez (GitHub)

Alle 4 →
ServerDraaitEndpoint of pakket
ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates.Lokaal · stdionpm: colorblind-mcp
CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.Lokaal · stdionpm: cvdsafe-mcp
SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.Lokaal · stdioPyPI: saydo

Meer servers in de categorie ontwikkeling

Alle 5.152 →
ServerDraaitEndpoint of pakket
GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases.Extern en lokaal · HTTP en stdioLivecontrole: ✗ geen handshakegoldenflow-mcp-production.up.railway.app
goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers.Lokaal · stdionpm: golive-mcp
Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call.Extern · HTTPLivecontrole: ✓ handshakemcp.gogonka.com
GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math.Extern · HTTPLivecontrole: inloggen vereistgonkbot.com
GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts.Lokaal · stdionpm: goodmemory
Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API.Lokaal · stdionpm: google-ai-search-mcp
Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions.Lokaal · stdionpm: mcp-google-apps-script
Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals.Lokaal · stdioPyPI: google-play-mcp