Skip to main content
Glama
jarski

mathlib-mcp

by jarski
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to mathlib-mcp

No user-submitted related servers found.

    Related Servers

    • cudaq-docs-mcp

      rogerawong
      A
      license
      A
      quality
      A
      maintenance
      Provides AI agents with version-pinned NVIDIA CUDA-Q documentation, API reference, and runnable examples via MCP, using offline SQLite full-text search. It resolves docs to match the installed cudaq package to avoid version skew.
      5
      27 PyPI
      1
      Apache 2.0

    • Context7

      falcon077
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI assistants to access up-to-date library documentation through MCP tools for resolving library IDs and querying docs.
      55 npm
      MIT

    • knownpath

      nasyx-rakeeb
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding agents to search and retrieve verified, reusable engineering solutions from a shared knowledge network through MCP tools.
      3
      Apache 2.0

    • LiveDocs MCP

      NoumanZahid-85
      A
      license
      A
      quality
      C
      maintenance
      It enables AI engineers to retrieve real-time official documentation for 45+ libraries, search across frameworks, and extract code examples directly inside MCP-compatible assistants, eliminating stale training data and outdated API usage.
      5
      MIT

    • CodeGraph

      Phoenixrr2113
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to search code by meaning, explore codebase structure, store and query knowledge with temporal facts, and read source code through a set of MCP tools.
      301 npm
      7
      MIT

    • knowlib

      uladzimir23
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables LLM agents to query a structured knowledge library for search, explanations, related concepts, learning paths, examples, and cross-domain references via MCP.
      Apache 2.0
    Deploy Server
    Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

    TDQS

    A3.9/5.0

    Scored across 4 tools

    Disambiguation4/5

    Each tool has a fairly distinct role: search_api discovers APIs by task/name, get_api_card details one exact name, get_example returns task-based example code, and check_snippet validates user code. The main overlap is between search_api and get_example, since both accept a task description and surface relevant APIs/examples, but the distinction (discovery vs. runnable example) is workable.

    Naming Consistency5/5

    All four tools follow a clean, predictable verb_noun snake_case pattern (search_api, get_api_card, get_example, check_snippet). No mixed conventions or vague verbs; names clearly signal the action.

    Tool Count5/5

    Four tools is well-scoped for a focused API-assistant server, covering the natural workflow of discover, inspect, exemplify, and validate. Each tool earns its place with no redundant surface.

    Completeness4/5

    The surface covers discovery, detail, examples, and static validation, which handles the core code-writing lifecycle for CuPy/nvmath-python. Minor gaps exist, such as no way to browse/list a module's full API set or check multiple snippets, but agents can work around these via search.

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources