Sviluppo · Server MCP locale

gonzalgo

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

Vai al sito web di gonzalgo

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

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
PyPIruntime: uvxgonzalgo0.5.6stdioNessuna dichiarata

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)

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

Altri server della categoria sviluppo

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