Sviluppo · Server MCP locale

Mathlas

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

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.Archerkattri/mathlas
Versione
1.5.0
Stato
Attivo
Categoria
sviluppo
Trasporto
stdio (processo locale)
Pacchetto
PyPI
Pubblicato
2 luglio 2026
Aggiornato
2 luglio 2026
Editore
Archerkattri (GitHub)
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/Archerkattri) · come funziona
Repository
github.com/Archerkattri/mathlas
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
PyPIruntime: uvxmathlas-mcp1.5.0stdioMATHLAS_SEED e MATHLAS_INDEX

Come collegare Mathlas

Mathlas viene eseguito in locale a partire da un pacchetto Python pubblicato su PyPI: mathlas-mcp, versione 1.5.0. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Python; i client in genere lo avviano con uvx (di uv) o dopo pip install - il comando abituale è uvx mathlas-mcp. Legge queste variabili d’ambiente: MATHLAS_SEED e MATHLAS_INDEX; vanno impostate nella configurazione del client per questo server.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "<valore>",
        "MATHLAS_INDEX": "<valore>"
      }
    }
  }
}

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server della categoria sviluppo

Tutti e 5152 →
ServerEsecuzioneEndpoint o pacchetto
MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more.Locale · stdioImmagine OCI (Docker): docker.io/massdrivercloud/mcp-server:0.2.0
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.Locale · stdioPyPI: masterytrace-cli
Mastyf.AiRuntime proxy for MCP security, cost governance & audit.Locale · stdionpm: @mastyf_ai/server
matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT.Locale · stdionpm: @mate-tools/mcp-server
matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data.Remoto e locale · HTTP e stdioVerifica live: accesso richiestomcp.matih.ai
MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.Locale · 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.Locale · stdionpm: maven-decoder-mcp
MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits.Locale · stdionpm: maxaeo-ai-visibility-mcp