Développement · Serveur MCP local
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
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
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| PyPIenvironnement d’exécution : uvx | gonzalgo | 0.5.6 | stdio |
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)
| Serveur | Exécution |
|---|---|
| ColorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates. | Local · stdio |
| CvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast. | Local · stdio |
| SayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked. | Local · stdio |
Autres serveurs : développement
| Serveur | Exécution |
|---|---|
| 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 main |
| goliveCheck a site before you share it: link previews, SPA refresh 404s, noindex, security headers. | Local · stdio |
| 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 main |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | Distant · HTTPVérification en direct : connexion requise |
| GoodMemoryDurable user/project memory for MCP clients: recall context and remember selected facts. | Local · stdio |
| Google AI Search MCPGoogle AI search and documentation tools for MCP clients using Vertex AI or the Gemini API. | Local · stdio |
| Google Apps Script MCPMCP server for the Google Apps Script API: projects, code, versions, deployments and executions. | Local · stdio |
| Google Play Console MCPGoogle Play release lifecycle: tracks, testers, rollout, and Android Vitals. | Local · stdio |