MCP Servers 20,417

NobodyNamed

io.github.michaelcolenso/nobodynamed

A✓Verified

US baby name popularity data from SSA records (1880-2025): search, trends, geography, culture.

LeanforgeNew

io.github.sandraschi/leanforge-mcp

A✓Verified

MCP server for AI-driven formal proof search in Lean 4

Token Price API

io.github.Br0ski777/token-price

A✓Verified

Real-time crypto token prices — price, 24h change, market cap, volume.

User Agent Parser API

io.github.Br0ski777/user-agent-parser

A✓Verified

Parse user agents — browser, OS, device, bot detection.

Codasms

io.github.ajemba/codasms-mcp

A✓Verified

Receive one-time SMS/OTP verification codes via the CODASMS API: get a number, wait, release.

Delivery ScheduleNew

io.github.theluckystrike/delivery-schedule

A✓Verified

Dated deliverables against a quote or work order: due dates, sign-off, what is late, milestones.

Verified Googledocs

io.github.michaelrobertsutton/verified-googledocs-mcp

A✓Verified

MCP server for Google Docs with verified writes — every mutation returns before/after proof.

Conselho Regional de Odontologia PB: Cadastro

io.github.mcp-dir/cro_pb_cadastro-mcp

A✓Verified

Conselho Regional de Odontologia PB: Cadastro, official-source lookup.

IconotekaNew

io.github.turbaba/iconoteka

A✓Verified

Search 1298 open-source icons in 7 weights and 2 styles, and get paste-ready SVG.

DETRAN MG Taxa de Licenciamento: Emissão de DAE

io.github.mcp-dir/detran_mg_emissao_dae-mcp

A✓Verified

DETRAN MG Taxa de Vehicle Licensing: Issuance de DAE, official-source lookup.

Tribunal TJMS: Cadastro de Pedido de Certidão (1º grau)

io.github.mcp-dir/tribunal_tjms_pedido_cert-mcp

A✓Verified

Tribunal TJMS: Cadastro de Pedido de Certificate (1º grau), official-source lookup.

SecurityscanNew

io.github.securityscan-api/securityscan

A✓Verified

Security for AI agents: MCP audits, secret redaction, skill vetting, network scans, agent checkout.

BriefGateNew

io.github.sekera-radim/briefgate

A✓Verified

Your coding agent asks the client for logos, copy and credentials; BriefGate chases them for you.

Korea Public DataNew

io.github.sean-park-funda/korea-data-mcp

A✓Verified

Korea tourism (KR/EN), bus stops and climate normals for agents.

send21New

io.github.send21io/mcp

A✓Verified

Non-custodial payment drafts/pay links for BTC, USDC, USDT, EURC.

Ollama / vLLM BridgeNew

io.github.setheerwagen/mcp-ollama-vllm

A✓Verified

Call your local Ollama or vLLM model over MCP with schema-validated JSON output

ClassDojo Classroom MCP

io.github.Eason0in/classdojo-mcp

A✓Verified

Unofficial local-first MCP for ClassDojo roster imports and classroom skill synchronization.

Brand Intelligence MCP

io.github.FoundryNet/brand-intel-mcp

A✓Verified

Domain & brand intelligence: company enrichment, tech stack detection, brand research.

TIDAL MCPNew

io.github.sickn33/tidal-mcp

A✓Verified

Search, analyze, organize, and safely modify TIDAL through 112 typed MCP tools.

Docker MCP Server

io.github.hypnosis/docker-mcp-server

A✓Verified

Docker for AI agents — containers, compose stacks, logs and databases, locally or over SSH.

ImslpNew

io.github.smeet666/mcp-imslp

A✓Verified

Read IMSLP, the Petrucci Music Library: works, scores, editions, copyright.

PequerecetasNew

io.github.smeet666/mcp-pequerecetas

A✓Verified

Read Spanish family recipes from Pequerecetas and rescale them honestly.

Actually

io.github.Sofiia7/actually

A✓Verified

Matches news to Polymarket markets and returns the market's probability.

Open Agent PolityNew

io.github.societe-agents-ia-arch/open-agent-polity

A✓Verified

Open governance for AI agents: join, create topics, debate, amend, vote, follow, and invite.