Zum Inhalt springen

Verlauf von 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

Jede veröffentlichte Änderung an diesem Eintrag, die jüngste zuerst.

Änderungen
2026-09-08Verbindungswege (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-26Beschreibung (Rohangabe): – → Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
2026-08-16Im Register geändert am (Rohangabe): – → 2026-07-02
2026-08-16Im Register eingetragen am (Rohangabe): – → 2026-07-02
2026-08-16Statusmeldung des Registers (Rohangabe): – → –
2026-08-16Schemafassung des Rohsatzes (Rohangabe): – → https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json
2026-08-16Symbolformate (Rohangabe): – → –
2026-08-16Beschreibungen 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).
2026-08-16Formate der Umgebungsvariablen (Rohangabe): – → –
2026-08-16Bereitstellungsform (Rohangabe): – → paket
2026-08-16Remote-Hosts (Rohangabe): – → –
2026-08-16Remote-Adressen (Rohangabe): – → –
2026-08-16Laufzeithinweise (Rohangabe): – → uvx
2026-08-16Paketversionen (Rohangabe): – → 1.5.0
2026-08-16Paketbezeichner (Rohangabe): – → mathlas-mcp
2026-08-16Repository-Unterordner (Rohangabe): – → –
2026-08-16Repository-Plattform (Rohangabe): – → github
2026-08-16Pfad-Umgebungsvariablen (Rohangabe): – → –
2026-08-16Geheime Pflichtkopfzeilen (Rohangabe): – → –
2026-08-06Deklarierte Version: – → 1.5.0
2026-08-06Repository-Adresse geführt: – → ja
2026-08-06Pfadargument vorhanden: – → nein
2026-08-06Ausführungsort: – → lokal
2026-08-06Pflicht-Geheimnisse deklariert: – → nein
2026-08-06Paketquellen (Rohangabe): – → pypi
2026-08-06Repository (Rohangabe): – → https://github.com/Archerkattri/mathlas
2026-08-06Pfadargumente (Rohangabe): – → –
2026-08-06Transportarten (Rohangabe): – → stdio
2026-08-06Geheime Pflichtvariablen (Rohangabe): – → –
2026-08-06Umgebungsvariablen (Rohangabe): – → MATHLAS_SEED, MATHLAS_INDEX

tracevero · https://tracevero.de/mcp/io-github-archerkattri-mathlas/aenderungen