mcp-server-search
Verified · 6 days agoMCP server for web search operations
mathlas
Verified · 9 days agoAirtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Install
claude mcp add mathlas -- uvx mathlas-mcp
Our take
Mathlas is a research-oriented search and verification server for formal mathematics, combining theorem search with numeric and Lean-based checking. It is best suited to technical users working on theorem proving, formal methods, or high-assurance agent workflows; the positioning is specific and credible, though its narrow audience and small public footprint suggest an early but serious project rather than a general-purpose search tool.
Verification record
- 9 days ago
- 9
- 26 days ago
- no
- Apache-2.0
- 2026-07-02
More in search
browse all →screenpipe
Verified · 22 days agoSearch your local screen recordings, audio transcripts, and computer activity from screenpipe.
Sui Knowledge Base (kapa.ai)
Verified · 21 days agoSemantic search across Sui documentation and knowledge sources, powered by kapa.ai
Firecrawl MCP Server
Verified · 9 days agoMCP server for Firecrawl — web search, scraping, and biomedical/arXiv paper search.
Airweave Search
Verified · 7 days agoMCP server for searching Airweave collections with natural language queries.
Claude Code Explorer MCP
Verified · todayExplore the Claude Code CLI source — browse tools, commands, search code, and more.