# TheoremSearch-MCP

> TheoremSearch-MCP — fdscend-theoremsearch-mcp. Use this tool when you need to search and discover mathematical theorems and statements from large databases like arXiv and Stacks Project. It solves problems of information overload and relevance by providing filtered search, citation weighting, and dependency graph traversal capabilities. The tool takes in search queries and parameters as input and outputs relevant mathematical statements and their relationships.

Canonical page: https://skillsregistry.net/skills/fdscend-theoremsearch-mcp  
JSON: https://api.skillsregistry.net/v1/skills/fdscend-theoremsearch-mcp

## Description

An MCP server for semantic search over 9.27 million mathematical statements from sources like arXiv and Stacks Project, offering 5 tools for filtered search, citation weighting, and dependency graph traversal.

## Trust

- **Trust score (0–1):** 0.70
- **Verification tier:** verified
- **Last scanned:** 2026-08-29

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** search
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/d9sf39gf20)
- **Repository:** <https://github.com/FDscend/TheoremSearch-MCP>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "fdscend-theoremsearch-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/fdscend-theoremsearch-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/fdscend-theoremsearch-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt