"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

An MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.

Provides MCP tools to search, retrieve, and answer questions from the public Open Finance Brasil Confluence documentation using BM25-based local indexing.

MCP server that allows Claude AI to interact directly with MySQL databases, enabling query execution and table information retrieval through natural language.

Enables enterprise knowledge search through a chat interface, comparing traditional RAG with MCP-driven retrieval using hybrid BM25 and dense vector search, Ollama-powered answer generation, and question routing to domain-specific retrieval tools.

A Python-based MCP server that exposes SQLite database CRUD and search operations on Users, Products, and Orders as tools for AI clients like Claude Desktop.

Enables semantic search over local knowledge bases like Obsidian notes, SQLite, and plaintext files, exposing results to Claude via MCP server.

Provides search and retrieval over a local database of Pathfinder 2e rules. Enables Claude Code to answer rules questions with cited, accurate answers from fetched entries.

A server that enables interaction with PostgreSQL, MySQL, MariaDB, or SQLite databases through Claude Desktop using natural language queries.

An MCP server that provides access to the Library of Babel, allowing users to retrieve exact page contents by address, search for text to find its location, and generate random pages.

MCP server for personal knowledge management providing AI-powered tools for semantic search, audio transcription, image generation, and PPT creation.

Provides five safe tools (calc, search, model_drift, compare_runs, grade_answer) for arithmetic, keyword search, model drift monitoring, eval comparison, and answer grading against sources, all implemented directly from the MCP spec with zero dependencies.

Enables AI assistants to search YouTube, fetch transcripts, and get AI summaries of videos without API keys.

Enables searching and retrieving documentation from crawled documentation sites as an MCP server, allowing coding agents to query real docs instead of relying on training data.

Fetches Wordle solutions from the Wordle API for dates ranging from May 19, 2021 to 23 days in the future.

An MCP server that enables users to fetch Python documentation using the Brave Search API through natural language queries.

Implements the Chain of Draft reasoning approach to generate minimalistic intermediate reasoning outputs while solving tasks, significantly reducing token usage while maintaining accuracy.

Enables LLMs to query live data from over 250+ sources via CData Python Connectors using natural language. Wraps connectors as a Model Context Protocol server.

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.

A collection of simple, practical MCP servers that require zero configuration, enabling web search via DuckDuckGo (no API key needed) and management of Hexo blogs through AI.

The local PDF workflow for Claude Desktop and MCP hosts: fill, sign, merge, split, extract, and analyze PDFs without sending files to a web app.