--- bezeichner: "io.github.Archerkattri/mathlas" art: "mcp_server" slug: "io-github-archerkattri-mathlas" paketkoordinate: "pypi:mathlas-mcp" status: "aktiv" homepage: "https://github.com/Archerkattri/mathlas" erhebungsstand: "2026-10-10T01:17:01.464Z" namensraum: "io.github.Archerkattri" registerseite: "https://tracevero.de/mcp/io-github-archerkattri-mathlas" abgerufen_am: "2026-10-10" zugangsdaten_erforderlich: false ausfuehrungsort: "lokal" dateisystem_pfadargument: false quelloffen_einsehbar: true roh_beschreibung: "Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key." version: "1.5.0" roh_umgebungsvariablen: "MATHLAS_SEED, MATHLAS_INDEX" roh_geheime_pflichtvariablen: "" roh_transportarten: "stdio" roh_pfadargumente: "" roh_repository_url: "https://github.com/Archerkattri/mathlas" roh_paketquellen: "pypi" roh_geheime_pflichtkopfzeilen: "" roh_pfad_umgebungsvariablen: "" roh_remote_adressen: "" roh_remote_hosts: "" roh_statusmeldung: "" roh_veroeffentlicht_am: "2026-07-02" roh_aktualisiert_am: "2026-07-02" roh_schemafassung: "https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json" roh_bereitstellungsform: "paket" roh_repository_quelle: "github" roh_repository_unterordner: "" roh_paketbezeichner: "mathlas-mcp" roh_paketversionen: "1.5.0" roh_laufzeithinweise: "uvx" roh_umgebungsformate: "" roh_umgebungsbeschreibungen: "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)." roh_symbolformate: "" roh_verbindungswege: "{\"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\":[]}" --- # io.github.Archerkattri/mathlas ## Gemessene Werte | Merkmal | Wert | Quelle | Erhoben am | Vertrauensgrad | Rohangabe | | --- | --- | --- | --- | --- | --- | | Pflicht-Geheimnisse deklariert | false | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_geheime_pflichtvariablen: ; roh_geheime_pflichtkopfzeilen: | | Ausführungsort | lokal | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_transportarten: stdio | | Pfadargument vorhanden | false | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_pfadargumente: ; roh_pfad_umgebungsvariablen: | | Repository-Adresse geführt | true | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_repository_url: https://github.com/Archerkattri/mathlas | | Beschreibung (Rohangabe) | Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key. | MCP-Register | 2026-08-26T16:45:01.514Z | selbstauskunft | | | Deklarierte Version | 1.5.0 | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Umgebungsvariablen (Rohangabe) | MATHLAS_SEED, MATHLAS_INDEX | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Geheime Pflichtvariablen (Rohangabe) | | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Transportarten (Rohangabe) | stdio | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Pfadargumente (Rohangabe) | | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Repository (Rohangabe) | https://github.com/Archerkattri/mathlas | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Paketquellen (Rohangabe) | pypi | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft | | | Geheime Pflichtkopfzeilen (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Pfad-Umgebungsvariablen (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Remote-Adressen (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Remote-Hosts (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Statusmeldung des Registers (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Im Register eingetragen am (Rohangabe) | 2026-07-02 | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Im Register geändert am (Rohangabe) | 2026-07-02 | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Schemafassung des Rohsatzes (Rohangabe) | https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Bereitstellungsform (Rohangabe) | paket | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Repository-Plattform (Rohangabe) | github | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Repository-Unterordner (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Paketbezeichner (Rohangabe) | mathlas-mcp | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Paketversionen (Rohangabe) | 1.5.0 | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Laufzeithinweise (Rohangabe) | uvx | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Formate der Umgebungsvariablen (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | 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). | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft | | | Symbolformate (Rohangabe) | | MCP-Register | 2026-08-16T01:17:01.420Z | 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":[]} | MCP-Register | 2026-09-08T01:17:01.649Z | selbstauskunft | | ## Verweise - Namensraum: [[namensraum/io-github-archerkattri|io.github.Archerkattri]] --- - Registerseite: - Abgerufen am: 2026-10-10