MCP MeasureMCP Measure

índice observado

mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Instalar

Instalación con un clic

Agrega esto a tu archivo `claude_desktop_config.json`:

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

Paquetes ejecutables

pypimathlas-mcp1.5.0stdio

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.