mathlas im Namensraum io.github
Lokaler Paketweg angegebenKeine Zugangsdaten angegebenRepository von der Quelle angegebenStand 2026-07-02
io.github.Archerkattri/mathlas · Registerstatus: aktiv
Die Quelle liefert zu diesem Eintrag keinen eigenen Namen. In der Überschrift steht deshalb der hintere Teil des Bezeichners; vollständig steht er als Koordinate darunter.
Angaben zu diesem Eintrag melden
Auf einen Blick
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Beschreibung des Anbieters, unübersetzt und ungeprüft
- Ausführungsort
- Lokaler Paketweg angegebenMCP-Register · 2026-08-06
- Pflicht-Geheimnisse deklariert
- Keine Zugangsdaten angegebenMCP-Register · 2026-08-06
- Deklarierte Version und Änderung
1.5.0· Änderung, von der Quelle gemeldet 2026-07-02MCP-Register · 2026-08-06- Repository laut Rohsatz
- github.com/Archerkattri/mathlasMCP-Register · 2026-08-06
- Konfiguration
- baubar aus der offengelegten Startvorlage
Verbindungswege und Voraussetzungen ansehen
Verwandte Kategorien
- MCP-Server ohne deklarierte Pflicht-Geheimnisse35.800
- Lokal ausgeführte MCP-Server17.056
- MCP-Server mit Repository-Adresse30.107
- Lokale MCP-Server ohne deklarierte Pflicht-Geheimnisse13.238
- Lokale MCP-Server mit Repository-Adresse16.152
- MCP-Server nur über stdio13.710
6 von 10 Kategorien. Alle Kategorien im Themenkatalog
Seite zuletzt geändert:
Quellen und Erhebung
- Läuft
- Lokaler Paketweg angegeben
- Zugangsdaten
- Keine Zugangsdaten angegeben
- Im Register geändert
- 2026-07-02
- Einrichtung
- Vorlage vorhanden
- Registername
io.github.Archerkattri/mathlas- Paketkoordinate
pypi:mathlas-mcp- Deklarierte Version
1.5.0- Eintragung, von der Quelle gemeldet
- 2026-07-02
- Änderung, von der Quelle gemeldet
- 2026-07-02
- Von tracevero erstmals gesehen
- 2026-08-06
- Homepage des Anbieters
- https://github.com/Archerkattri/mathlas
Beleg dieser Seite: Die Werte dieser Seite stammen aus mehreren Erhebungen. Jede Zeile nennt ihre Herkunft deshalb selbst. Was die Vertrauensgrade bedeuten
Gemessene Werte
| Pflicht-Geheimnisse deklariert | Keine Zugangsdaten angegeben nein Originalangabe – Geheime Pflichtvariablen (Rohangabe): nachweislich nicht vorhanden Originalangabe – Geheime Pflichtkopfzeilen (Rohangabe): nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
|---|---|
| Ausführungsort | Lokaler Paketweg angegeben lokal Originalangabe – Transportarten (Rohangabe): stdio Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
| Pfadargument vorhanden | nein Originalangabe – Pfadargumente (Rohangabe): nachweislich nicht vorhanden Originalangabe – Pfad-Umgebungsvariablen (Rohangabe): nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
| Repository-Adresse geführt | Repository von der Quelle angegeben ja Originalangabe – Repository (Rohangabe): https://github.com/Archerkattri/mathlas Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
| Deklarierte Version | 1.5.0 Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
Gemessen ist, was ein Manifest erklärt, nicht was eine Software tut. Dieses Register ruft keine Repository-Adresse auf, keinen Endpunkt und keinen Paketindex; nichts hier ist nachgeprüft. Welche Angabe aus welcher Quelle stammt und nach welcher Regel sie gebildet ist, steht in der Methodik.
Daten der Quelle25
Beleg dieser Seite: Die Werte dieser Seite stammen aus mehreren Erhebungen. Jede Zeile nennt ihre Herkunft deshalb selbst.
| Beschreibung (Rohangabe) | Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key. Quelle: MCP-Register · erhoben am 2026-08-26 · Selbstauskunft |
|---|---|
| Umgebungsvariablen (Rohangabe) | MATHLAS_SEED, MATHLAS_INDEX Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Geheime Pflichtvariablen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Transportarten (Rohangabe) | stdio Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Pfadargumente (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Repository (Rohangabe) | https://github.com/Archerkattri/mathlas Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Paketquellen (Rohangabe) | pypi Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Geheime Pflichtkopfzeilen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Pfad-Umgebungsvariablen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Remote-Adressen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Remote-Hosts (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Statusmeldung des Registers (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Im Register eingetragen am (Rohangabe) | 2026-07-02 Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Im Register geändert am (Rohangabe) | 2026-07-02 Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Schemafassung des Rohsatzes (Rohangabe) | https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Bereitstellungsform (Rohangabe) | paket Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Repository-Plattform (Rohangabe) | github Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Repository-Unterordner (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Paketbezeichner (Rohangabe) | mathlas-mcp Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Paketversionen (Rohangabe) | 1.5.0 Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Laufzeithinweise (Rohangabe) | uvx Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Formate der Umgebungsvariablen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Beschreibungen der Umgebungsvariablen (Rohangabe) | MATHLAS_INDEX=Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent). · MATHLAS_SEED=Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start). Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Symbolformate (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-16 · Selbstauskunft |
| Verbindungswege (Quellstruktur) | {"packages":[{"registryType":"pypi","identifier":"mathlas-mcp","version":"1.5.0","runtimeHint":"uvx","transport":"stdio","environment":[{"name":"MATHLAS_SEED","description":"Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).","required":false,"secret":false},{"name":"MATHLAS_INDEX","description":"Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).","required":false,"secret":false}],"additional_arguments_declared":false}],"remotes":[]} Quelle: MCP-Register · erhoben am 2026-09-08 · Selbstauskunft |
Abzeichen einbetten
Diese Zeile setzt das Abzeichen in eine eigene README-Datei. Es zeigt, wie viele Werte dieses Register zu dem Eintrag führt und wann es zuletzt nachgesehen hat, und es führt von dort auf diese Seite zurück.
[](https://tracevero.de/mcp/io-github-archerkattri-mathlas)
Das Bild wird bei jedem Abruf neu gerechnet und nennt darum immer den heutigen Stand; die eingefügte Zeile bleibt unverändert. Es enthält keine Bewertung und keine Ampel – nur die beiden gemessenen Angaben.
Änderungen
| 2026-09-08 | Verbindungswege (Quellstruktur): – → {"packages":[{"registryType":"pypi","identifier":"mathlas-mcp","version":"1.5.0","runtimeHint":"uvx","transport":"stdio","environment":[{"name":"MATHLAS_SEED","description":"Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).","required":false,"secret":false},{"name":"MATHLAS_INDEX","description":"Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).","required":false,"secret":false}],"additional_arguments_declared":false}],"remotes":[]} |
|---|---|
| 2026-08-26 | Beschreibung (Rohangabe): – → Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key. |
| 2026-08-16 | Im Register geändert am (Rohangabe): – → 2026-07-02 |
Hier stehen die 3 jüngsten Änderungen dieses Eintrags. Vollständiger Verlauf
tracevero · https://tracevero.de/mcp/io-github-archerkattri-mathlas