Développement · Serveur MCP local

gonzalgo

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

Visiter le site de gonzalgo

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.vince-gonzalez/gonzalgo
Version
0.5.6
Statut
Actif
Catégorie
développement
Transport
stdio (processus local)
Paquet
PyPI
Publié
11 septembre 2026
Mis à jour
11 septembre 2026
Éditeur
vince-gonzalez (GitHub) · 4 serveurs avec une page ici
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/vince-gonzalez) · comment
Site web
f-keys.com/gonzalgo/
Dépôt
github.com/vince-gonzalez/gonzalgo
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
PyPIenvironnement d’exécution : uvxgonzalgo0.5.6stdioAucune déclarée

Comment connecter gonzalgo

gonzalgo s’exécute en local depuis un paquet Python publié sur PyPI : gonzalgo, version 0.5.6. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx gonzalgo. Arguments obligatoires : --from.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Du même éditeur : vince-gonzalez (GitHub)

Voir les 4 →
ServeurExécutionPoint de terminaison ou paquet
ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates.Local · stdionpm : colorblind-mcp
CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.Local · stdionpm : cvdsafe-mcp
SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.Local · stdioPyPI : saydo

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases.Distant et local · HTTP et stdioVérification en direct : ✗ pas de poignée de maingoldenflow-mcp-production.up.railway.app
goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers.Local · stdionpm : golive-mcp
Gonka Second Opinion (multi-model)A second opinion for AI agents: one prompt across several live Gonka models + roles, one call.Distant · HTTPVérification en direct : ✓ poignée de mainmcp.gogonka.com
GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math.Distant · HTTPVérification en direct : connexion requisegonkbot.com
GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts.Local · stdionpm : goodmemory
Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API.Local · stdionpm : google-ai-search-mcp
Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions.Local · stdionpm : mcp-google-apps-script
Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals.Local · stdioPyPI : google-play-mcp