Skip to main content
Glama
91,655 servers. Updated

"author:FDscend" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • TheoremSearch-MCP

    FDscend
    A
    license
    Not graded
    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.
    MIT