Semantic Search over 9 Million Mathematical Theorems
A semantic search engine over arXiv, the Stacks Project and other sources that finds mathematical theorems and the papers containing them, offered as a REST API and as an MCP tool for AI agents.
TheoremSearch indexes theorems from arXiv, the Stacks Project and six other mathematical sources and lets a query in natural language retrieve either the exact matching theorem statement or the paper that contains it. Its authors report their retrieval as more accurate than querying frontier chat models directly on the same task, with results returned in a few seconds.
It is offered as a production REST API that returns theorem-level results with metadata and similarity scores, and separately as a single MCP tool, theorem_search, so any MCP-compatible AI agent can query it directly. The project describes itself as built for mathematicians and math-proving agents that need fast, targeted theorem search rather than a general web search.