MCP Servers 2,806

gonzalgo

io.github.zengineco/gonzalgo

A✓Verified

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Inav

io.github.starlordz12/inav-mcp

B✓Verified

MCP server for iNAV flight-controller configuration and diagnostics

Codecanvas

io.github.donggyun112/codecanvas

A✓Verified

Python code intelligence for coding agents: call paths, control flow, and change impact.

Heddle

io.github.davet47/heddle

B✓Verified

Content-addressed contracts and a verification cache that cut agent context by skipping proven code.

LLM PreflightNew

io.github.feronovak/llm-preflight

A✓Verified

Local, cross-provider preflight checks for LLM integration changes.

Br8n

io.github.anthonysuherli/br8n

B✓Verified

Capture dev context on interrupt; replay it as a 30-second resume card.

NVEIL

io.github.nveil-ai/nveil

B✓Verified

Data processing and visualization toolkit — 50+ chart types, raw data stays local.

OpenHire · 哨兵

io.github.gzchenhao/openhire

A✓Verified

Radar for remote AI/Infra jobs from employer ATS; your résumé never transits the server.

Zoekt

io.github.radiovisual/zoekt-mcp

B✓Verified

Fast indexed code search for AI agents, powered by Sourcegraph Zoekt.

Amazing Marvin (complete)

io.github.andreasd083/amazing-marvin-complete-mcp

A✓Verified

Amazing Marvin task manager: complete public-API coverage (37 tools) with built-in rate limiting

Winsight

io.github.TheoEwzZer/winsight

B✓Verified

Windows Screen Capture MCP Server — give Claude Code eyes on your desktop.

QuantGist

io.github.QuantGist-Technologies/quantgist-mcp

B✓Verified

Macro events, earnings & market data from QuantGist for Claude and other AI agents.

SQL Benchmarks Lab

io.github.rctruta/sqlbenchdag

A✓Verified

Query pre-computed SQL engine benchmarks.

GCP Platform EngineerNew

io.github.deBilla/platform-mcp

A✓Verified

Read-only GCP tools for debugging incidents and finding cost savings

OpenAdapt Agent (openadapt-flow bridge)

io.github.OpenAdaptAI/openadapt-agent

A✓Verified

Local Beta bridge for governed openadapt-flow workflows and attended actions.

Memento

io.github.annibale-x/mcp-memento

B✓Verified

An MCP server that provides persistent memory and context management across sessions

Cookidoo MCP

io.github.vitaliemiron/cookidoo-mcp

B✓Verified

Create, translate, and plan Cookidoo recipes with guided Thermomix actions and shopping lists.

MCP Virtual ComputerNew

io.github.flujo-app/mcp-virtual-computer

A✓Verified

A persistent Docker or Fly computer with a Three.js interface and optional live Xfce desktop.

Waitbus

io.github.astrogilda/waitbus

A✓Verified

Workstation-local event bus: agents wait on or emit CI/pytest/Docker/filesystem events, no polling.

J-Quants MCP

io.github.shigechika/jquants-mcp

A✓Verified

MCP server for retrieving Japanese stock market data via J-Quants API v2

astrodynamics-mcp

io.github.astro-tools/astrodynamics-mcp

B✓Verified

Astrodynamics MCP server: TLE/SGP4, Lambert, access windows, porkchop, B-plane targeting.

Video URL Analyzer

io.github.u2n4/video-url-analyzer-mcp

B✓Verified

Analyze YouTube/TikTok/Instagram videos: transcripts, AI insights, tutorial extraction

Neural

io.github.andylbrummer/neural-mcp

B✓Verified

GPU-accelerated MCP server for neural network training, deep learning, and model experimentation

Futuristic Risk Intelligence

io.github.cct15/war-dashboard-data

B✓Verified

Geopolitical conflict risk, political events, and maritime traffic data for AI agents