MCP MeasureMCP Measure

índice observado

verso

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

Instalar

Instalación con un clic

Agrega esto a tu archivo `claude_desktop_config.json`:

{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ]
    }
  }
}

Paquetes ejecutables

pypiverso-mcp0.4.2stdio

Qué puede hacer

Inventario de herramientas

No se ha registrado ninguna enumeración de herramientas publicable.

Comunidad

Califica este servidor

Evidencia

Observaciones recientes

Este servidor tiene metadatos del Registry pero aún no tiene ninguna ejecución de verificación pública.