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:

  • MCP Mathematics

    SHSharkar
    A
    license
    C
    quality
    C
    maintenance
    A comprehensive MCP server that turns any AI assistant into a powerful mathematical computation engine, providing 52 advanced functions, 158 unit conversions, financial calculations, and secure AST-based evaluation.
    18
    13
    MIT

  • lean

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

  • 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.
    23
    475
    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

  • click-to-mcp

    Coding-Dev-Tools
    A
    license
    -
    quality
    A
    maintenance
    Converts any Python Click or Typer CLI into an MCP server automatically — zero-code transformation that introspects CLI commands and exposes them as MCP tools.
    4
    Apache 2.0

  • Skill-to-MCP

    biocontext-ai
    A
    license
    A
    quality
    C
    maintenance
    Converts AI Skills (following Claude Skills format) into MCP server resources, enabling LLM applications to discover, access, and utilize self-contained skill directories through the Model Context Protocol. Provides tools to list available skills, retrieve skill details and content, and read supporting files with security protections.
    3
    27
    Apache 2.0
  • Agent Tools by AtmaticAI

    Agent Toolsofficial

    AtmaticAI
    A
    license
    -
    quality
    C
    maintenance
    Provides deterministic tools for transforming, formatting, and inspecting structured data for AI agents.
    15
    19
    Apache 2.0

  • 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

  • openapi-to-mcp

    AudienceLabV3
    A
    license
    -
    quality
    D
    maintenance
    Auto-generates MCP tools from your OpenAPI spec, allowing natural language interaction with any API via configurable headers and serverless deployment.
    28
    MIT

  • API to MCP Gateway

    volkan-m
    A
    license
    -
    quality
    C
    maintenance
    Acts as a bridge between standard REST/OpenAPI web APIs and the Model Context Protocol, dynamically converting REST endpoints into MCP tools for LLM clients like Cursor, Claude Desktop, and n8n.
    26
    Apache 2.0

  • OpenAPI to MCP

    EvilFreelancer
    A
    license
    -
    quality
    D
    maintenance
    A standalone proxy that transforms any OpenAPI or Swagger-described REST API into an MCP server by mapping API operations to executable MCP tools. It enables AI clients to interact with existing web services through automated HTTP requests based on their official documentation.
    28
    16
    MIT

  • Anything-to-NotebookLM

    joeseesun
    A
    license
    -
    quality
    D
    maintenance
    An MCP server that automates converting diverse content sources like WeChat articles, YouTube videos, and various document formats into AI-generated outputs such as podcasts and slide decks via Google NotebookLM. It integrates specialized tools for web scraping, OCR, and file transformation to facilitate seamless content generation through natural language.
    5,750
    MIT