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

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

Enables MCP clients like Claude Desktop, Claude Code, and Cursor to fetch and process arXiv papers' LaTeX sources, so equations and notation are interpreted accurately; it exposes tools for retrieving a paper's full flattened LaTeX, abstract, section headings, and individual sections.

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

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.

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.

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.

MCP tool server that gives any AI agent the ability to search, scrape, and analyze content across the internet.

Enables a family assistant to search documents, inspect, fill, edit, and sign files, manage scheduled work and runs, and perform web searches, with each tool gated by the caller's groups.

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.

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.

Enables AI assistants to search a curated database of 200+ AI tool cards with pricing, platforms, use cases, and source links, so users can ask which tool to use for a task and get grounded recommendations.

Five general-purpose stdio MCP servers for SEO: access to SERP, Wordstat, Google Search Console, Yandex.Webmaster and Yandex.Metrica straight from Claude Code (or any MCP client). All tools are read-only, output is strict JSON. Not tied to a specific site: defaults (GSC property, Webmaster host, Metrica counter) are configured on the fly.

Odds are, most of what you want to build is already open source. Tell your AI agent what you're making, and it finds it: which repos to use as they are, which to adapt, and what's left for you to write. Every repo it names is real, licensed for your use or flagged, and checked live.

A production-grade MCP server that provides a centralized microservice toolkit for LLM agents, enabling web search and extensible tool integration.

Search and resolve MCP server packages on the mpak registry, enabling agents to discover servers, inspect tools, and check credential requirements before installation.