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