Ontwikkeling · Lokale MCP-server
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
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
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| PyPIruntime: uvx | gonzalgo | 0.5.6 | stdio |
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)
| Server | Draait |
|---|---|
| ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates. | Lokaal · stdio |
| CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast. | Lokaal · stdio |
| SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked. | Lokaal · stdio |
Meer servers in de categorie ontwikkeling
| Server | Draait |
|---|---|
| GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases. | Extern en lokaal · HTTP en stdioLivecontrole: ✗ geen handshake |
| goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers. | Lokaal · stdio |
| Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call. | Extern · HTTPLivecontrole: ✓ handshake |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | Extern · HTTPLivecontrole: inloggen vereist |
| GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts. | Lokaal · stdio |
| Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API. | Lokaal · stdio |
| Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions. | Lokaal · stdio |
| Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals. | Lokaal · stdio |