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