Entwicklung · Lokaler MCP-Server

Mathlas

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

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.Archerkattri/mathlas
Version
1.5.0
Status
Aktiv
Kategorie
Entwicklung
Transport
stdio (lokaler Prozess)
Paket
PyPI
Veröffentlicht
2. Juli 2026
Aktualisiert
2. Juli 2026
Herausgeber
Archerkattri (GitHub)
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/Archerkattri) · So wird verifiziert
Repository
github.com/Archerkattri/mathlas
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
PyPILaufzeitumgebung: uvxmathlas-mcp1.5.0stdioMATHLAS_SEED und MATHLAS_INDEX

So verbinden Sie Mathlas

Mathlas wird lokal ausgeführt, und zwar aus einem auf PyPI veröffentlichten Python-Paket: mathlas-mcp, Version 1.5.0. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Python; Clients starten das Paket meist mit uvx (aus uv) oder nach pip install - der übliche Befehl lautet uvx mathlas-mcp. Der Server liest diese Umgebungsvariablen: MATHLAS_SEED und MATHLAS_INDEX; legen Sie sie in der Konfiguration des Clients für diesen Server fest.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

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

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Weitere Server der Kategorie Entwicklung

Alle 5.152 →
ServerAusführungEndpunkt oder Paket
MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more.Lokal · 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.Lokal · stdioPyPI: masterytrace-cli
Mastyf.AiRuntime proxy for MCP security, cost governance & audit.Lokal · stdionpm: @mastyf_ai/server
matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT.Lokal · stdionpm: @mate-tools/mcp-server
matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data.Remote und lokal · HTTP und stdioLive-Prüfung: Anmeldung erforderlichmcp.matih.ai
MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.Lokal · 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.Lokal · stdionpm: maven-decoder-mcp
MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits.Lokal · stdionpm: maxaeo-ai-visibility-mcp