MCP Servers 12,184
Filtersactive
Server
Build smart-glasses apps with AI agents: scaffold, validate, and simulate before real hardware.
dompruner-mcp
Strips layout noise via DOM AST; with a query, BM25 filters to relevant sections.
reMarkable MCP Server (Read/Write)
Read, write, and manage your reMarkable tablet — browse, upload, create folders, move, delete, OCR
FileToPDF
Convert files, HTML, and Markdown to PDF via the FileToPDF API.
VMware Storage
VMware vSphere storage management with 11 MCP tools: datastores, iSCSI, vSAN.
Marketnow
MCP marketplace with 8,845 security-audited skills.
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Infinitecampus
Infinite Campus (Campus Parent) for Claude — grades, attendance, assignments, messages
Job Search
Search Korean job postings from JobKorea and Saramin by company name
Megaplan
MCP server for Megaplan — tasks, deals management via API v3.
Airflow
Airflow MCP — list DAGs/runs/task instances, tail logs, trigger and clear (write-gated)
GLM MCP
GLM (Zhipu/Z.ai) as a ~10x cheaper file-editing subagent for AI coding agents.
ScrapeBadger
Twitter/X scraping API for AI agents.
Qorami
Check an email before an AI agent sends it: send / ask a human / block.
Southwest
MCP server for Southwest Airlines - search flights, manage bookings
Tablecloth
Open Korean e-Gov and finance sites in a clean, disposable Windows Sandbox with security programs.
Nodedex
Your project's decision history for agents: decisions, dead-ends, constraints - queryable, local.
Pipe Docs (SPR) MCP Server
Docs + source RAG for Pipe language: semantic search, cited answers, code symbol lookup.
Telemetry Server
Streams live progress from mcp-telemetry-sdk-instrumented tools to any connected MCP client.
Paradex Trading
MCP server for Paradex perp trading.
XAPS MCP Server
Pre-execution audit for autonomous agents.
