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

  • Lean Reader

    AIMento
    A
    license
    A
    quality
    D
    maintenance
    MCP server that converts URLs into token-minimized clean text for LLMs, providing a receipt of token and cost savings.
    1
    63
    MIT

  • lean-memory

    Wuesteon
    A
    license
    A
    quality
    A
    maintenance
    Embedded, local-first agent memory: facts extracted into a per-namespace SQLite file (vec0 + FTS5) with hybrid retrieval and point-in-time (time-travel) queries. ADD-only history over stdio — no server process, no cloud dependency.
    16
    7
    47
    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

  • TurboQuant Tools

    FreezeVII
    A
    license
    -
    quality
    A
    maintenance
    MCP server for compressing AI embeddings by 5-7x using TurboQuant (PolarQuant + QJL), with tools to compress, decompress, estimate savings, and embed+compress vectors.
    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

  • agent-tools

    garnetlyx
    A
    license
    -
    quality
    C
    maintenance
    A multi-function Streamable HTTP MCP tool aggregation server that provides web search via Brave, Exa, and SearXNG with multi-key rotation and cross-provider fallback, and supports extensible tool families (URL fetch, code search, RAG) through a pluggable architecture.
    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

  • exa-mcp-server-for-operit

    x15907982411
    A
    license
    A
    quality
    A
    maintenance
    An Operit-compatible adapter of the Exa MCP server, enabling web search, code search, and company research capabilities in AI assistants. It fixes MCP handshake compatibility issues, allowing tools like web_search_exa and web_fetch_exa to load and run reliably.
    2
    18,221
    MIT

  • mcp-for-azure-devops-boards

    danielealbano
    A
    license
    B
    quality
    A
    maintenance
    MCP for Azure DevOps Boards is a MCP server that lets your favourite AI browse, query and update Azure DevOps work items as if it were a project manager. Written in Rust and optimized for tokens usagem, It runs via stdio or HTTP mode and uses standard Azure authentication with az login.
    24
    6
    MIT