Skip to main content
Glama
73,107 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

  • lean

    TensorGymnastic
    A
    license
    -
    quality
    B
    maintenance
    An MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.
    MIT

  • Database Tools for Claude AI

    elber-code
    A
    license
    B
    quality
    D
    maintenance
    MCP server that allows Claude AI to interact directly with MySQL databases, enabling query execution and table information retrieval through natural language.
    1
    0
    4
    MIT

  • mcp-tools

    egnaro9
    A
    license
    A
    quality
    B
    maintenance
    Provides five safe tools (calc, search, model_drift, compare_runs, grade_answer) for arithmetic, keyword search, model drift monitoring, eval comparison, and answer grading against sources, all implemented directly from the MCP spec with zero dependencies.
    5
    MIT

  • Docs-to-AI

    dorianmeric
    A
    license
    -
    quality
    C
    maintenance
    Enables LLMs to query documents using semantic search, supporting PDFs, Word, Excel, and more. Organizes documents by topics from folder structure and provides advanced search features like phrase matching and date filtering.
    1
    MIT

  • openevidence-tools

    drpwchen
    A
    license
    -
    quality
    A
    maintenance
    Enables clinical question answering via OpenEvidence with citation verification, including tools to ask questions, retrieve results, and follow up, plus an integrated skill to check citations against primary sources.
    3
    MIT

  • docs-to-mcp

    fayazara
    F
    license
    -
    quality
    D
    maintenance
    A Cloudflare Worker that transforms Cloudflare AI Search (AutoRAG) instances into an MCP server for querying documentation. It enables AI models to search and retrieve relevant information from custom document sets stored in R2 buckets.
    17

  • seo-tools-mcp

    antohins
    A
    license
    A
    quality
    B
    maintenance
    Five general-purpose stdio MCP servers for SEO: access to SERP, Wordstat, Google Search Console, Yandex.Webmaster and Yandex.Metrica straight from Claude Code (or any MCP client). All tools are read-only, output is strict JSON. Not tied to a specific site: defaults (GSC property, Webmaster host, Metrica counter) are configured on the fly.
    2
    11
    2
    MIT
  • registry-tools by NimbleBrainInc

    registry-toolsofficial

    NimbleBrainInc
    A
    license
    A
    quality
    F
    maintenance
    Search and resolve MCP server packages on the mpak registry, enabling agents to discover servers, inspect tools, and check credential requirements before installation.
    2
    MIT

  • mcp-for-apple-mail

    shaack
    A
    license
    A
    quality
    C
    maintenance
    MCP server that encapsulates Apple Mail on macOS via AppleScript, enabling invoice PDF search, attachment saving, and message flagging through natural language.
    5
    MIT

  • mcp-for-spotlight

    shaack
    A
    license
    A
    quality
    C
    maintenance
    An MCP server that exposes macOS Spotlight search as tools, wrapping mdfind and mdls to provide full-text and metadata file search across the system.
    2
    MIT

  • Text-to-GraphQL MCP Server

    Arize-ai
    F
    license
    A
    quality
    D
    maintenance
    Converts natural language queries into valid GraphQL queries and executes them against GraphQL APIs. Includes schema introspection, query validation, execution with authentication, and query history tracking.
    5
    24

  • db-tools-mcp

    urjeetpatel
    A
    license
    A
    quality
    C
    maintenance
    Exposes SQL Server and Snowflake schema metadata to AI coding agents, enabling schema search, join path discovery, and stored procedure metadata retrieval without live queries.
    18
    GPL 3.0

  • p2p-tools-mcp

    bonklek
    F
    license
    A
    quality
    B
    maintenance
    Provides MCP servers for VPN control (NordVPN) and torrent lifecycle management via Jackett search and qBittorrent operations, plus a unified CLI.
    5
  • Vublox Agent Tools by Vublox

    Vublox Agent Toolsofficial

    Vublox
    A
    license
    A
    quality
    B
    maintenance
    Enables AI agents to discover live and recent football matches, scores, and fan clips on Vublox. Supports searching by team, league, or keyword and retrieving match summaries.
    5
    55
    1
    MIT