MCP Servers 19,193

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.

Global Agent Memory

io.github.ozankasikci/global-agent-memory

B✓Verified

Shared, project-aware memory for Claude Code, Codex, and other agents with human review.

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

Weapp Agent

io.github.Chaixueyuan/weapp-agent-mcp

B✓Verified

Agent-first MCP server for WeChat Mini Program debugging & automation via WeChat DevTools.

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

ASP.NET Core Debugger — MCP Server for AI Agents

io.github.magna-nz/aspnetcore-debugger-mcp

A✓Verified

MCP server giving AI agents interactive .NET / ASP.NET Core debugging via netcoredbg + DAP.

Linksee Memory

io.github.michielinksee/linksee-memory

A✓Verified

Hand a project over with the reasons attached.

PEAC Protocol: Signed interaction receipts

io.github.peacprotocol/peac

A✓Verified

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