Desarrollo · Servidor MCP local
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
io.github.vince-gonzalez/gonzalgo- Versión
- 0.5.6
- Estado
- Activo
- Categoría
- desarrollo
- Transporte
- stdio (proceso local)
- Paquete
- PyPI
- Publicado
- 11 de septiembre de 2026
- Actualizado
- 11 de septiembre de 2026
- Editor
- vince-gonzalez (GitHub) · 4 servidores con página aquí
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/vince-gonzalez) · cómo
- Sitio web
- f-keys.com/gonzalgo/
- Repositorio
- github.com/vince-gonzalez/gonzalgo
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| PyPIentorno de ejecución: uvx | gonzalgo | 0.5.6 | stdio |
Cómo conectar gonzalgo
gonzalgo se ejecuta en local a partir de un paquete de Python publicado en PyPI: gonzalgo, versión 0.5.6. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Python; los clientes suelen iniciarlo con uvx (de uv) o tras pip install - el comando habitual es uvx gonzalgo. Argumentos obligatorios: --from.
En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo"
]
}
}
}Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más de vince-gonzalez (GitHub)
| Servidor | Ejecución |
|---|---|
| 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 |
Más servidores de desarrollo
| Servidor | Ejecución |
|---|---|
| GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases. | Remoto y local · HTTP y stdioComprobación en directo: ✗ sin negociación inicial |
| 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. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| 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 |