Ontwikkeling · Lokale MCP-server
Mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.Archerkattri/mathlas- Versie
- 1.5.0
- Status
- Actief
- Categorie
- ontwikkeling
- Transport
- stdio (lokaal proces)
- Pakket
- PyPI
- Gepubliceerd
- 2 juli 2026
- Bijgewerkt
- 2 juli 2026
- Uitgever
- Archerkattri (GitHub)
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/Archerkattri) · hoe
- Repository
- github.com/Archerkattri/mathlas
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| PyPIruntime: uvx | mathlas-mcp | 1.5.0 | stdio |
Zo verbind je Mathlas
Mathlas draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: mathlas-mcp, versie 1.5.0. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx mathlas-mcp. Hij leest deze omgevingsvariabelen: MATHLAS_SEED en MATHLAS_INDEX; stel ze in de configuratie van de client voor deze server in.
In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
],
"env": {
"MATHLAS_SEED": "<waarde>",
"MATHLAS_INDEX": "<waarde>"
}
}
}
}Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer servers in de categorie ontwikkeling
| Server | Draait |
|---|---|
| MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more. | Lokaal · stdio |
| MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking. | Lokaal · stdio |
| Mastyf.AiRuntime proxy for MCP security, cost governance & audit. | Lokaal · stdio |
| matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT. | Lokaal · stdio |
| matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data. | Extern en lokaal · HTTP en stdioLivecontrole: inloggen vereist |
| MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP. | Lokaal · stdio |
| Maven DecoderLets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central. | Lokaal · stdio |
| MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits. | Lokaal · stdio |