https://pypi.org/project/mathlas-mcp/ Recent updates to the Python Package Index for mathlas-mcp en https://pypi.org/project/mathlas-mcp/1.1.2/ A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP. krishiattriwork@gmail.com Wed, 10 Jun 2026 00:30:06 GMT https://pypi.org/project/mathlas-mcp/1.1.1/ A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP. krishiattriwork@gmail.com Tue, 09 Jun 2026 23:52:34 GMT https://pypi.org/project/mathlas-mcp/1.1.0/ A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP. krishiattriwork@gmail.com Tue, 09 Jun 2026 23:39:45 GMT https://pypi.org/project/mathlas-mcp/1.0.1/ A tool FOR an AI (no API key, no LLM): search existing math over a 1.6M-doc index + airtight numeric/Lean verification + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP. krishiattriwork@gmail.com Sun, 07 Jun 2026 16:25:21 GMT https://pypi.org/project/mathlas-mcp/1.0.0/ A tool FOR an AI (no API key, no LLM): search existing math over a 1.6M-doc index + airtight numeric/Lean verification + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP. krishiattriwork@gmail.com Sun, 07 Jun 2026 15:20:01 GMT