Desarrollo · Servidor MCP local

Mathlas

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

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.Archerkattri/mathlas
Versión
1.5.0
Estado
Activo
Categoría
desarrollo
Transporte
stdio (proceso local)
Paquete
PyPI
Publicado
2 de julio de 2026
Actualizado
2 de julio de 2026
Editor
Archerkattri (GitHub)
Espacio de nombres
Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/Archerkattri) · cómo
Repositorio
github.com/Archerkattri/mathlas
Fuente
Entrada en la API del registro

Paquetes

RegistroPaqueteVersiónTransporteVariables de entorno
PyPIentorno de ejecución: uvxmathlas-mcp1.5.0stdioMATHLAS_SEED y MATHLAS_INDEX

Cómo conectar Mathlas

Mathlas se ejecuta en local a partir de un paquete de Python publicado en PyPI: mathlas-mcp, versión 1.5.0. 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 mathlas-mcp. Lee estas variables de entorno: MATHLAS_SEED y MATHLAS_INDEX; hay que definirlas en la configuración del cliente para este servidor.

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": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "<valor>",
        "MATHLAS_INDEX": "<valor>"
      }
    }
  }
}

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 servidores de desarrollo

Ver los 5152 →
ServidorEjecuciónEndpoint o paquete
MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more.Local · stdioImagen OCI (Docker): docker.io/massdrivercloud/mcp-server:0.2.0
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.Local · stdioPyPI: masterytrace-cli
Mastyf.AiRuntime proxy for MCP security, cost governance & audit.Local · stdionpm: @mastyf_ai/server
matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT.Local · stdionpm: @mate-tools/mcp-server
matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data.Remoto y local · HTTP y stdioComprobación en directo: requiere inicio de sesiónmcp.matih.ai
MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.Local · stdioMCP Bundle (.mcpb): matlab/matlab-mcp-server/releases/download/v0.13
Maven DecoderLets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central.Local · stdionpm: maven-decoder-mcp
MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits.Local · stdionpm: maxaeo-ai-visibility-mcp