Rohangaben zu mathlas im Namensraum io.github
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
Was die Quelle wörtlich erklärt hat, unverändert und ohne Deutung. Die abgeleiteten Werte auf der Überblicksseite rechnen darauf.
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 |
Einordnung im Bestand
Wie viele der 42.239 ausgelieferten Einträge denselben gemessenen Wert tragen. Eine Bezugsgröße, keine Bewertung.
- Pflicht-Geheimnisse deklariertnein36.126 von 42.239 tragen diesen Wert (86 %)Diese Einträge ansehen
- Ausführungsortlokal17.143 von 42.239 tragen diesen Wert (41 %)Diese Einträge ansehen
- Pfadargument vorhandennein41.736 von 42.239 tragen diesen Wert (99 %)Diese Einträge ansehen
- Repository-Adresse geführtja30.309 von 42.239 tragen diesen Wert (72 %)Diese Einträge ansehen
Alle 4 Werte zusammen tragen 12.199 von 42.239 Einträgen.
tracevero · https://tracevero.de/mcp/io-github-archerkattri-mathlas/rohangaben