Skip to content

History of mathlas in namespace io.github

io.github.Archerkattri/mathlas · Registry status: active

No name of its own reaches this register for this entry. The heading therefore carries the trailing segment of the identifier; the identifier itself is listed below as a coordinate.

Report data on this entry

Every published change to this entry, most recent first.

Changes
2026-09-08Connection paths (source structure): – → {"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-26Description (raw): – → Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
2026-08-16Last changed in the registry (raw): – → 2026-07-02
2026-08-16First listed in the registry (raw): – → 2026-07-02
2026-08-16Registry status message (raw): – → –
2026-08-16Schema version of the raw record (raw): – → https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json
2026-08-16Icon formats (raw): – → –
2026-08-16Environment variable descriptions (raw): – → 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-16Environment variable formats (raw): – → –
2026-08-16Delivery form (raw): – → package
2026-08-16Remote hosts (raw): – → –
2026-08-16Remote URLs (raw): – → –
2026-08-16Runtime hints (raw): – → uvx
2026-08-16Package versions (raw): – → 1.5.0
2026-08-16Package identifiers (raw): – → mathlas-mcp
2026-08-16Repository subfolder (raw): – → –
2026-08-16Repository platform (raw): – → github
2026-08-16Path environment variables (raw): – → –
2026-08-16Required secret headers (raw): – → –
2026-08-06Declared version: – → 1.5.0
2026-08-06Repository URL listed: – → yes
2026-08-06Path argument present: – → no
2026-08-06Execution location: – → local
2026-08-06Required secrets declared: – → no
2026-08-06Package registries (raw): – → pypi
2026-08-06Repository (raw): – → https://github.com/Archerkattri/mathlas
2026-08-06Path arguments (raw): – → –
2026-08-06Transports (raw): – → stdio
2026-08-06Required secret variables (raw): – → –
2026-08-06Environment variables (raw): – → MATHLAS_SEED, MATHLAS_INDEX

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