Desarrollo · Servidor MCP local

gonzalgo

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

Visitar el sitio web de gonzalgo

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

RegistroPaqueteVersiónTransporteVariables de entorno
PyPIentorno de ejecución: uvxgonzalgo0.5.6stdioSin declarar

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)

Ver los 4 →
ServidorEjecuciónEndpoint o paquete
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

Más servidores de desarrollo

Ver los 5152 →
ServidorEjecuciónEndpoint o paquete
GoldenFlowStandardize, reshape, and normalize messy data - CSV, Excel, Parquet, S3, databases.Remoto y local · HTTP y stdioComprobación en directo: ✗ sin negociación inicialgoldenflow-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.Remoto · HTTPComprobación en directo: ✓ negociación inicialmcp.gogonka.com
GonkbotLog golf rounds in ChatGPT/Claude; scorecards, trends, unofficial WHS math.Remoto · HTTPComprobación en directo: requiere inicio de sesióngonkbot.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