MCP Servers 15,996

SageMath

io.github.XBP-Europe/sagemath-mcp

A✓Verified

Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.

Orca MCP Server

io.github.jascal/orca-mcp-server

C✓Verified

Go from natural language to verified finite state machines — topology bugs caught before code runs.

PapersFlow

io.github.papersflow-ai/papersflow

C✓Verified

Academic research MCP server for paper search, citation checks, graphs, and deep research.

Sap Adt

io.github.yzonur/sap-adt-mcp

A✓Verified

Give Claude live access to SAP ABAP via ADT: read, search, check, test, and edit objects.

MailFathom

io.github.Krzysztof318/mailfathom

A✓Verified

Security-first, self-hosted email archive with search, cited answers, and sending for AI agents.

Semantic Scholar MCP Server

io.github.smaniches/semantic-scholar-mcp

A✓Verified

MCP server for the Semantic Scholar API: search 200M+ papers, citations, authors, recommendations.

Repo Graph

io.github.James-Chahwan/repo-graph

B✓Verified

Structural graph map of any codebase so LLMs navigate by structure, not guesswork.

Sidclaw Governance

io.github.VladUZH/sidclaw-governance-mcp

A✓Verified

Governance proxy for MCP servers — policy evaluation, human approval, audit trails.

CogniRepo

io.github.ashlesh-t/cognirepo

A✓Verified

FAISS, call graph, AST, BM25 — 34 MCP tools for AI agents.

Lore

io.github.jordanhindo/lore

B✓Verified

Lightweight MCP for infinite agent memory.

Memoir

io.github.camgitt/memoir

A✓Verified

Persistent memory for AI coding tools via MCP.

Attestor

io.github.bolnet/attestor

B✓Verified

Self-hosted memory for agent teams.

TypeDB

io.github.typedb/typedb-mcp

B✓Verified

Execute TypeQL queries and manage databases and users on a TypeDB server.

Hindsight MemPalace

io.github.holetron/hindsight-mempalace

B✓Verified

Self-hosted long-term memory for AI agents over MCP — hierarchical recall backed by pgvector

Sourcegraph MCP Server

io.github.sourcegraph/mcp

C✓Verified

Sourcegraph code search, semantic search, go-to-definition, find-references, and diff search.

OfficeAgent.NET

io.github.ilia-sokolov/officeagent

A✓Verified

Create and edit real Word documents (filesystem or SharePoint): typed change plans, tracked changes

MCP Dataverse

io.github.codeurali/dataverse

B✓Verified

73 tools for Microsoft Dataverse: CRUD, FetchXML, metadata, audit, batch, role privileges and more.

Cashfree

io.github.cashfree/cashfree-mcp

C✓Verified

Cashfree MCP server for cashfree docs and APIs

Openroad

io.github.The-OpenROAD-Project/openroad-mcp

A✓Verified

The OpenROAD MCP server - interactive EDA sessions via Model Context Protocol

PEAC Protocol: Signed interaction receipts

io.github.peacprotocol/peac

A✓Verified

Portable signed records for agent, API, MCP, and cross-runtime interactions.

Openroad

io.github.luarss/openroad-mcp

A✓Verified

The OpenROAD MCP server - interactive EDA sessions via Model Context Protocol

Cochlea

io.github.richer-richard/cochlea-mcp

A✓Verified

Render, analyze, and verify audio (WAV/FLAC/mp3/ogg) offline and deterministically via MCP tools.

memo

io.github.jagoff/memo

A✓Verified

Memory for AI agents — MLX (Apple Silicon) or CPU (Linux), sqlite-vec + BM25, zero cloud.

Bilibili MCP Server

io.github.XZXZZX-Ai/bilibili-mcp

A✓Verified

Bilibili MCP tool for video metadata, transcripts, subtitles, and comment summarization