Skip to main content
Glama
73,156 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • 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

  • 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

  • Apple Tools MCP

    sfls1397
    A
    license
    -
    quality
    -
    maintenance
    Enables semantic search across Apple Mail, Messages, Calendar, and Contacts on macOS using natural language queries. All processing happens locally with privacy-first vector indexing for fast similarity search.

  • MCP PDF to PGVector

    sanskritiparmendranaval
    F
    license
    -
    quality
    C
    maintenance
    MCP server that ingests PDF documents into pgvector for semantic search and RAG pipelines. It handles extraction, chunking, local embeddings, and storage, enabling agents to make PDFs searchable via natural language.

  • Tiny Chat

    to-aoki
    A
    license
    D
    quality
    C
    maintenance
    A lightweight RAG system that provides an MCP server for searching and interacting with vector-based knowledge bases. It enables users to perform retrieval-augmented generation and search across Qdrant collections through a standardized interface.
    1
    2
    MIT

  • MCP Server for Milvus

    zilliztech
    A
    license
    -
    quality
    C
    maintenance
    An integration server implementing the Model Context Protocol that enables LLM applications to interact with Milvus vector database functionality, allowing vector search, collection management, and data operations through natural language.
    240
    Apache 2.0

  • EyeLevel RAG MCP Server

    wannabidr
    F
    license
    -
    quality
    -
    maintenance
    A local Retrieval-Augmented Generation system that enables users to ingest markdown files into a FAISS-powered vector knowledge base for semantic search. It provides tools for document indexing and context retrieval to support informed LLM queries without external dependencies.

  • AWS MCP Server

    Havoc24k
    A
    license
    B
    quality
    D
    maintenance
    Enables Claude to interact with core AWS services like S3, EC2, RDS, and CloudWatch, along with a generic SDK wrapper for any AWS operation. It also supports cost monitoring and optional vector store capabilities for document ingestion and search.
    10
    3
    The Unlicense

  • Graph RAG MCP Server for

    saselvan
    A
    license
    -
    quality
    D
    maintenance
    A local-first Graph-RAG system combining ChromaDB with metadata-based graph relationships and Gemini 2.5 Flash for intelligent Q&A over Obsidian vaults, supporting MCP clients like Claude Desktop, Cursor, and Raycast.
    MIT

  • privateGPT MCP Server

    Fujitsu-AI
    A
    license
    -
    quality
    D
    maintenance
    A server implementation that allows secure communication between MCP clients and privateGPT, enabling users to chat with privateGPT using knowledge bases and manage sources, groups, and users through a standardized Model Context Protocol.
    6
    MIT

  • Munin AI Memory

    3d-era
    F
    license
    -
    quality
    B
    maintenance
    Munin is a high-performance, pragmatic memory layer for AI agents (Cursor, Claude Code, OpenClaw, Gemini CLI,...). Unlike other solutions, Munin focuses on developer productivity with: * Multi-Project Support: Isolate memories into separate "brains" (Context Cores). * GraphRAG: Automatically builds a knowledge graph from your context. * Sub-200ms Search: Blazing fast Hybrid & Semantic
    3

  • MCP Router

    Maverick-LjXuan
    F
    license
    B
    quality
    D
    maintenance
    A service discovery and proxy for MCP servers that enables registration, discovery, and execution of tools on remote MCP servers. Uses vector-based similarity search through Alibaba Cloud services to intelligently route requests to appropriate MCP services.
    3
  • tigergraph-mcp by tigergraph

    tigergraph-mcpofficial

    tigergraph
    A
    license
    -
    quality
    B
    maintenance
    Model Context Protocol (MCP) server for TigerGraph that lets AI agents interact with TigerGraph through the MCP standard using pyTigerGraph's async APIs.
    3
    Apache 2.0
  • MCP MariaDB Server by MariaDB

    MCP MariaDB Serverofficial

    MariaDB
    A
    license
    -
    quality
    C
    maintenance
    An interface for managing and querying MariaDB databases that supports standard SQL operations alongside advanced vector and embedding-based search capabilities. It enables AI assistants to seamlessly integrate relational and vector data workflows through a standardized protocol.
    189
    MIT

  • ragx

    JIEAO-re
    A
    license
    -
    quality
    C
    maintenance
    RAGX MCP Server enables retrieval-augmented generation with document ingestion, hybrid search, and agentic answering using Claude, exposing tools for querying, searching, and managing documents.
    2
    MIT