"author:FDscend" matching MCP servers:

• TheoremSearch-MCP

  FDscend

  A

  license

  -

  quality

  C

  maintenance

  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.

  Last updated 2026-08-05

  MIT