Sviluppo · Server MCP locale
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.vince-gonzalez/gonzalgo- Versione
- 0.5.6
- Stato
- Attivo
- Categoria
- sviluppo
- Trasporto
- stdio (processo locale)
- Pacchetto
- PyPI
- Pubblicato
- 11 settembre 2026
- Aggiornato
- 11 settembre 2026
- Editore
- vince-gonzalez (GitHub) · 4 server con una pagina qui
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/vince-gonzalez) · come funziona
- Sito web
- f-keys.com/gonzalgo/
- Repository
- github.com/vince-gonzalez/gonzalgo
- Fonte
- Voce nell’API del registro
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| PyPIruntime: uvx | gonzalgo | 0.5.6 | stdio |
Come collegare gonzalgo
gonzalgo viene eseguito in locale a partire da un pacchetto Python pubblicato su PyPI: gonzalgo, versione 0.5.6. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Python; i client in genere lo avviano con uvx (di uv) o dopo pip install - il comando abituale è uvx gonzalgo. Argomenti obbligatori: --from.
Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo"
]
}
}
}Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server di vince-gonzalez (GitHub)
| Server | Esecuzione |
|---|---|
| ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates. | Locale · stdio |
| CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast. | Locale · stdio |
| SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked. | Locale · stdio |
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases. | Remoto e locale · HTTP e stdioVerifica live: ✗ nessun handshake |
| goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers. | Locale · stdio |
| Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call. | Remoto · HTTPVerifica live: ✓ handshake |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | Remoto · HTTPVerifica live: accesso richiesto |
| GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts. | Locale · stdio |
| Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API. | Locale · stdio |
| Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions. | Locale · stdio |
| Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals. | Locale · stdio |