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 | 3d ago | 0 |
| Google Webtools MCP Google Search Console + GA4 for AI agents: properties, reports, indexing, verification, SE | 73 | 7 | - | MIT | 4d ago | 0 |
| blockrun-mcp Web search, deep research, prediction markets & crypto data for AI agents. Pay per call vi | 88 | 392 | 0 | MIT | 4d ago | 0 |
| shodh-memory Cognitive memory for AI agents — semantic search, Hebbian learning, knowledge graphs. | 87 | 309 | 0 | Apache-2.0 | 4d ago | 0 |
| tinysearch Fast discovery search and self-hosted web research for MCP agents. | 86 | 233 | - | MIT | 8d 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 | 2d ago | 0 |
| Google Maps MCP Server 18 Google Maps tools for AI agents — geocode, search, directions, weather, and more. | 85 | 471 | 0 | MIT | 20d ago | 0 |