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

RegisterPakketVersieTransportOmgevingsvariabelen
PyPIruntime: uvxmathlas-mcp1.5.0stdioMATHLAS_SEED en MATHLAS_INDEX

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

Alle 5.152 →
ServerDraaitEndpoint of pakket
MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more.Lokaal · stdioOCI-image (Docker): docker.io/massdrivercloud/mcp-server:0.2.0
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.Lokaal · stdioPyPI: masterytrace-cli
Mastyf.AiRuntime proxy for MCP security, cost governance & audit.Lokaal · stdionpm: @mastyf_ai/server
matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT.Lokaal · stdionpm: @mate-tools/mcp-server
matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data.Extern en lokaal · HTTP en stdioLivecontrole: inloggen vereistmcp.matih.ai
MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.Lokaal · 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.Lokaal · stdionpm: maven-decoder-mcp
MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits.Lokaal · stdionpm: maxaeo-ai-visibility-mcp