Socketlistmathlas / Alternatives
mathlas alternatives
6 similar MCP servers in Search & web, compared side by side. Matches are chosen automatically from the same category by overlap in descriptions, then ordered by closeness and score.
| Server | Score | Stars | npm/wk | Licence | Last push | Flags |
|---|---|---|---|---|---|---|
| mathlas Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, | 80 | 13 | - | Apache-2.0 | 2d ago | 0 |
| Google Webtools MCP Google Search Console + GA4 for AI agents: properties, reports, indexing, verification, SE | 73 | 7 | - | MIT | 3d ago | 0 |
| blockrun-mcp Web search, deep research, prediction markets & crypto data for AI agents. Pay per call vi | 88 | 392 | 0 | MIT | 2d ago | 0 |
| Search Console MCP Google Search Console + Bing + GA4 + AdSense — unified SEO intelligence for AI agents. | 88 | 302 | 773 | MIT | 1mo ago | 0 |
| shodh-memory Cognitive memory for AI agents — semantic search, Hebbian learning, knowledge graphs. | 87 | 309 | 0 | Apache-2.0 | 3d ago | 0 |
| tinysearch Fast discovery search and self-hosted web research for MCP agents. | 86 | 233 | - | MIT | 7d ago | 0 |
| gtm-api: LinkedIn MCP Server Managed LinkedIn MCP server for AI agents: search, connect, message and enrich on accounts | 85 | 90 | 0 | MIT | 1d ago | 0 |