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
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| PyPIentorno de ejecución: uvx | mathlas-mcp | 1.5.0 | stdio |
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
| Servidor | Ejecución |
|---|---|
| MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more. | Local · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | Local · stdio |
| Mastyf.AiRuntime proxy for MCP security, cost governance & audit. | Local · stdio |
| matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT. | Local · stdio |
| 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ón |
| MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP. | Local · stdio |
| Maven DecoderLets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central. | Local · stdio |
| MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits. | Local · stdio |