SocketlistSearch & web / mathlas
mathlas
io.github.Archerkattri/mathlas · v1.5.0
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Install
uvx mathlas-mcpTypical command from the package name. Check the README for required configuration and credentials before connecting it to real data.
Signals
| GitHub stars | 13 |
| npm weekly downloads | - |
| Last push | 2d ago |
| Licence | Apache-2.0 |
| Open issues | 0 |
| SECURITY.md | Yes |
| Language | Python |
| Latest version published | 2026-07-02 |
Signals captured from GitHub, npm and the official MCP Registry on October 15, 2026. See the scoring method.
Similar servers compare all →
Google Webtools MCP
Score 73Google Search Console + GA4 for AI agents: properties, reports, indexing, verification, SEO.
blockrun-mcp
Score 88Web search, deep research, prediction markets & crypto data for AI agents. Pay per call via x402.
Search Console MCP
Score 88Google Search Console + Bing + GA4 + AdSense — unified SEO intelligence for AI agents.