Entwicklung · Lokaler MCP-Server

gonzalgo

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

Zur Website von gonzalgo

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.vince-gonzalez/gonzalgo
Version
0.5.6
Status
Aktiv
Kategorie
Entwicklung
Transport
stdio (lokaler Prozess)
Paket
PyPI
Veröffentlicht
11. September 2026
Aktualisiert
11. September 2026
Herausgeber
vince-gonzalez (GitHub) · 4 Server mit eigener Seite hier
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/vince-gonzalez) · So wird verifiziert
Website
f-keys.com/gonzalgo/
Repository
github.com/vince-gonzalez/gonzalgo
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
PyPILaufzeitumgebung: uvxgonzalgo0.5.6stdioKeine deklariert

So verbinden Sie gonzalgo

gonzalgo wird lokal ausgeführt, und zwar aus einem auf PyPI veröffentlichten Python-Paket: gonzalgo, Version 0.5.6. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Python; Clients starten das Paket meist mit uvx (aus uv) oder nach pip install - der übliche Befehl lautet uvx gonzalgo. Erforderliche Argumente: --from.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

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

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Mehr von vince-gonzalez (GitHub)

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

Weitere Server der Kategorie Entwicklung

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