mcp-server-search
Verified · 22 days agoMCP server for web search operations
mathlas
Verified · 28 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
- 28 days ago
- 12
- 2 mo ago
- no
- Apache-2.0
- 2026-07-02
More in search
browse all →Repomix
Verified · 13 days agoPack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search
screenpipe
Verified · 15 days agoSearch your local screen recordings, audio transcripts, and computer activity from screenpipe.
Sui Knowledge Base (kapa.ai)
Verified · 9 days agoSemantic search across Sui documentation and knowledge sources, powered by kapa.ai
Firecrawl MCP Server
Verified · 29 days agoMCP server for Firecrawl — web search, scraping, and biomedical/arXiv paper search.
Robin: AI-Powered Dark Web OSINT
Verified · 9 days agoDark web OSINT over Tor: search onion engines, scrape pages, report with your own model.