Skip to main content
Glama
22,810 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

  • Lean LSP MCP

    oOo0oOo
    A
    license
    A
    quality
    A
    maintenance
    Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
    Last updated
    22
    371
    MIT

  • MetaTrader 5 MCP Server

    Cloudmeru
    A
    license
    -
    quality
    B
    maintenance
    Provides read-only access to MetaTrader 5 market data, trading history, and technical analysis through Python execution. Supports querying price data, calculating indicators, creating charts, and generating forecasts with Prophet and ML models.
    Last updated
    2
    MIT

  • GitHub Repo Helper

    Niharikaasopa
    F
    license
    -
    quality
    C
    maintenance
    GitHub Repo Helper is a simple and beginner-friendly Model Context Protocol (MCP) server that takes a GitHub repository URL and returns a structured summary of the repo. It fetches metadata such as the repository name, description, languages used, README content (summarized), and dependency info
    Last updated

  • MCP FFmpeg Helper

    sworddut
    A
    license
    A
    quality
    C
    maintenance
    A lightweight server that exposes FFmpeg's video processing capabilities to AI assistants through the Model Context Protocol (MCP), supporting operations like video format conversion, audio extraction, and adding watermarks.
    Last updated
    8
    59
    25
    MIT

  • Commit Helper MCP

    jolfr
    F
    license
    B
    quality
    -
    maintenance
    A Model Context Protocol server that provides Commitizen functionality, enabling AI assistants to generate, validate, and work with conventional commit messages.
    Last updated
    21

  • All-in-MCP

    isomoes
    A
    license
    C
    quality
    B
    maintenance
    Enables academic research through paper search across multiple databases (IACR, CryptoBib, Crossref, Google Scholar), PDF processing, and GitHub repository browsing. Features modular architecture with FastMCP-based proxy server routing to specialized academic tools.
    Last updated
    7
    2
    MIT

  • Git Helper MCP

    LetsCodeTheBrain
    F
    license
    -
    quality
    C
    maintenance
    Enables Claude to interact with git repositories by providing real-time access to repository status, branch information, commit history, and file changes. Allows users to query their git workspace through natural language commands.
    Last updated

  • Test MCP Feb 5 MCP Server

    Traia-IO
    F
    license
    -
    quality
    C
    maintenance
    An MCP server that provides access to the Test MCP Feb 5 API, enabling AI agents to interact with its endpoints through standardized tools. It supports seamless AI integration via the Model Context Protocol and is designed for easy deployment using Docker or Google Cloud Run.
    Last updated

  • Startup Helper MCP

    re171113-byte
    F
    license
    B
    quality
    -
    maintenance
    Provides comprehensive startup consulting services including commercial area analysis, competitor research, policy funding recommendations, startup checklists, and business trends using Kakao Map API and public data.
    Last updated
    5

  • MCP AI Bug Helper

    meinzeug
    A
    license
    B
    quality
    C
    maintenance
    Provides emergency coding assistance by querying three AI coding models simultaneously through OpenRouter, with automatic premium fallback on rate limits, returning multiple expert opinions with cost and latency telemetry for debugging and problem-solving.
    Last updated
    1
    13
    MIT

  • Realty In Au MCP Server

    BACH-AI-Tools
    A
    license
    B
    quality
    C
    maintenance
    Enables access to Australian real estate data through the Realty In Au API, supporting property listings, agent/agency information, property details, school lookups, and property search with various filters.
    Last updated
    13
    MIT

  • Realty In Ca1 MCP Server

    BACH-AI-Tools
    A
    license
    B
    quality
    C
    maintenance
    Enables users to access the Realty In Ca1 API to search for residential and commercial property listings, view detailed property information, and retrieve neighborhood demographics or statistics. It supports filtering by geographic location, price range, building type, and other real estate characteristics.
    Last updated
    MIT

  • milvus-sdk-code-helper

    Shawnzheng011019
    A
    license
    -
    quality
    C
    maintenance
    An MCP server designed to assist with generating, converting, and translating Milvus SDK code by retrieving relevant documentation and snippets. It supports PyMilvus code generation, ORM-to-client conversion, and cross-language translation between Python, Java, Go, and other supported languages.
    Last updated
    2
    MIT

  • AppCan Helper MCP Server

    sandy1108
    A
    license
    -
    quality
    C
    maintenance
    Enables users to search and access AppCan mobile development platform documentation with intelligent fuzzy search, caching, and content retrieval. Provides comprehensive access to AppCan's API documentation, development guides, and tutorials through natural language queries.
    Last updated
    MIT