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

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.

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.

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.

A Machine Control Protocol (MCP) server that enables storing and retrieving information from a Qdrant vector database with semantic search capabilities.

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.

A project search MCP server based on Milvus vector database, supporting semantic search, hybrid search, and exact scalar queries.

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.

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.

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.

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.

Enables LLMs to interact with Zvec vector database through tools for collection management, document operations, vector search, and AI-powered embeddings.

An MCP server that integrates with LangChain and ChromaDB to provide documentation search for AI libraries and vector database management.

Provides semantic search capabilities by connecting Claude Desktop to a Cloudflare Workers backend powered by Vectorize. It enables natural language querying of knowledge bases using vector similarity and edge-based embedding generation.

A server that enables vector and keyword search capabilities in Typesense databases through the Model Context Protocol, providing tools for collection management, document operations, and search functionality.

mcp-server-test

An MCP server that provides semantic memory on top of Qdrant vector search, with tools to store and retrieve information using embeddings.

A local-first knowledge base server that enables AI clients to store, retrieve, and manage documents using semantic search. Provides privacy-focused, offline-capable memory for AI assistants with tools for ingesting, querying, updating, and deleting knowledge.

Enables AI agents to autonomously create and manage topic-specific vector knowledge bases with end-to-end functionality including project creation, content ingestion from URLs, semantic search, and progress tracking. Provides a complete research workflow without exposing low-level APIs.

A server that provides access to Baidu Cloud Vector Database functionality through the Model Context Protocol, enabling LLM applications to perform vector searches and database operations via natural language.

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.