Popular MCP Servers

Compiles 10 languages into a local AST and Stack Graphs relational index, exposing 12 MCP tools for sub-50ms blast-radius, centrality, and pathfinding queries that cut agent context token burn by ~85%. It also enforces architectural compliance through in-memory Virtual AST workspaces, embedded Datalog policy proofs, zero-config Louvain modularity (ΔQ) gates, and post-edit scope-creep audits.

Read-only recall over your past Claude Code, Codex, pi and Hermes sessions: semantic search for past decisions, rationale and findings, plus tools to list sessions, get the gist of one, find exact strings in it and read its turns. Works on your local memory or on any memory published as a Hugging Face dataset.

Headless browser for AI agents with Chrome's fingerprint that passes Cloudflare challenges.

Verify sealed voice recordings (WAV) from any AI assistant: verdict (verified, unsealed, warning, alert) and the seconds that changed after sealing. Verify-only, no secrets.

Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.

Instant, code-aware local search engine

Debug VCD, FST and GHW waveforms: decode AXI, SPI and UART, search cycles, show evidence in the user's viewer.

Kin is an open-source code repository for people and AI agents. It versions code and recorded relationships together.

Enables AI agents to inspect, convert, and compress 3D Gaussian splat files, extract mesh colliders, and drive cloud radiance-field generation or local RTX training through a stdio MCP interface. It also runs headless benchmark recipes that emit run.json and markdown reports.

Self-hosted MCP gateway that registers upstream MCP servers and fronts them behind one governed Streamable HTTP endpoint: per-tool access control by caller API key, guardrails over tool arguments and results, rate limits, and usage logs. The same Rust gateway also proxies LLM and A2A agent traffic.

Enables AI agents to search, read, organize, and draft across multiple Gmail and IMAP mailboxes through one self-hosted MCP endpoint with per-agent scoped permissions and safe draft-based workflows.

Provides LLMs with structured access to critical biomedical databases including PubTator3 (PubMed/PMC), ClinicalTrials.gov, and MyVariant.info through the Model Context Protocol.

Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.

Geniuz stores everything in a local database locally on Mac, Windows, Linux, Raspberry Pi. No cloud. No account. No API keys. Nothing leaves your machine. It's open source; you can read every line of code.

Local stdio MCP server (npx -y caveat-lang mcp) with five tools that validate, check, test and explain programs in Caveat, a rules language whose decisions keep their evidence, grounds and caveats. It also finds what depends on a piece of evidence, so a withdrawn input still leaves a past decision's original basis on record.

Reads raw lab-instrument files (microscopy, mass spectrometry, chromatography, flow cytometry, NMR, electrophysiology, spectroscopy, plate readers, qPCR) without vendor software, returning metadata, images, spectra and traces as JSON. It also checks files for damage, runs common analyses, and exports to open formats such as OME-TIFF, OME-Zarr, mzML, Parquet and NWB.

The tower of guard for parallel coding agents. Keeps parallel coding agents from stepping on each other. Claims, contracts and change notices over MCP.

GroundLens verifies what an AI system says and does, and seals the result as a signed, offline-verifiable evidence record. This MCP server exposes three tools any agent or client can call: verify_answer (check an answer against its sources under a policy), verify_run (gate an execution trace as ALLOW, REVIEW or DENY), and verify_records (verify a log of evidence records).

Open-source TallyPrime MCP server for Claude Desktop: reads your books, proposes vouchers from bank statement PDFs, and posts only if you turn posting on and approve each voucher. Windows x64 and Apple Silicon Mac.

AI agent file editing via MCP: JSON/YAML/TOML, AST renames, markdown, batch.

Local persistent memory for AI agents with recall, semantic search, forgetting, and encrypted storage.

Local search over your code and documents for AI agents. Hybrid search and a code graph over your code and documents (PDF, Word, PowerPoint, Excel, EPUB), served over MCP with file and line spans, from one Rust binary on your machine.

It converts documents to Markdown or docling JSON for AI agents. That covers PDFs with layout analysis, table structure and OCR, plus DOCX, PPTX, XLSX, HTML, EPUB, e-mail, images and audio. It serves MarkItDown's "convert_to_markdown" tool under the same name and contract, along with "convert" and "list_input_formats".

Local long-term memory for AI assistants, written in Rust: hybrid search with reranking over a local Qdrant, a fact store that resolves contradictions, and a hash-chained audit log. Runs fully offline, no API keys.

Governed, bitemporal knowledge graph for AI agents (RDF, SPARQL, SHACL on SQLite): writes are checked against shapes before they commit, past states stay queryable, and every fact keeps its provenance. Runs as a local stdio MCP server, CLI, REST server, Rust library, or in the browser via WebAssembly, with change events and shareable, mergeable knowledge packs.

Browser automation MCP server and CLI for AI agents. A single Rust binary drives Chrome or Lightpanda over CDP and returns pages as accessibility-tree snapshots with element refs, with persistent named sessions. The MCP server runs as navigera mcp over stdio.

Read-only access to your local shell history and AI coding agent sessions: search past commands, recent failures and what fixed them, assess a command's risk, and see what each agent session changed in git.

Move data between Kafka, NATS, RabbitMQ, MQTT, IBM MQ, SQL databases, MongoDB, files and HTTP: publish messages and run copy routes with endpoints given inline as JSON, while the rows never pass through the model's context.

Self-hosted MCP-native agent memory server. Gives AI agents persistent, decay-weighted memory via 83 MCP tools — no cloud, full control. RocksDB+HNSW backend. Works with Claude Code, Cursor, and any MCP-compatible agent.

An MCP server for SEC EDGAR written in Rust: company filings, full-text search, XBRL financials, insider transactions and company info. A single native binary; no API key.

Enables coding agents to query a repository's code graph and project memory through cited excerpts, navigate symbols and dependencies, and optionally inspect pull requests, all within a configurable token budget.

Connects Claude and other MCP clients to Elasticsearch data, allowing users to interact with their Elasticsearch indices through natural language conversations.

Copy/paste (duplicate code) detection for codebases. The jscpd detector's built-in MCP server lets AI agents check snippets and files for duplication against a scanned project over stdio (jscpd --mcp).

Agent tools for the Ophis intent-based DEX: parse, quote, build, relay orders, look up fee tiers.

Just to be clear about the final JSON: the MCP server is named herdr-inbox, and it enables Claude Code agents in herdr to ask questions asynchronously without stalling, with all open questions answered from one popup and answers routed back to the asking agent.

Unofficial Money Lover MCP server in Rust: read wallets, categories and transactions, summarize spending, and optionally add transactions behind server-enforced limits. Not affiliated with Money Lover.

A small native HTTP client whose MCP server (plunger mcp) lets an AI agent send requests safely: undefined variables are refused, secrets are filled in by name and masked in results, and every request is recorded in a history you can see in the window. MIT licensed, for Windows, with a Linux build of the CLI and MCP server.

US/HK markets — 110 tools: real-time quotes, options, orders, fundamentals, alerts, DCA & portfolio

MCP server for searching French and European law, providing natural language access to jurisprudence, consolidated legal texts, and related legal information via tools like search_decisions and search_legal_texts.

The toolchain of Renyi, a programming language for AI agents: check, format, run and test programs, and read the project map with every function's effects, semantic diffs and chunks for retrieval. One binary, renyi mcp.