Entwicklung · Lokaler MCP-Server
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| PyPILaufzeitumgebung: uvx | gonzalgo | 0.5.6 | stdio |
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)
| Server | Ausführung |
|---|---|
| ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates. | Lokal · stdio |
| CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast. | Lokal · stdio |
| SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked. | Lokal · stdio |
Weitere Server der Kategorie Entwicklung
| Server | Ausführung |
|---|---|
| GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases. | Remote und lokal · HTTP und stdioLive-Prüfung: ✗ kein Handshake |
| goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers. | Lokal · stdio |
| 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: ✓ Handshake |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts. | Lokal · stdio |
| Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API. | Lokal · stdio |
| Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions. | Lokal · stdio |
| Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals. | Lokal · stdio |