MCP Servers 12,184
Filtersactive

License SentinelNew
Audit Python and npm dependency licenses before you ship, judged against how you distribute.

Slang Workflows
Provable, declarative multi-agent workflows for Claude Code (typed .slang, non-LLM executor).

AKBridge
Search and call AKShare financial data interfaces through three routed MCP tools

Hyperd
Pre-trade DeFi intelligence: 24 paid x402 tools incl.

mango-office-mcp
MCP server for Mango Office — cloud PBX, call management (Russia)

Pacs008
ISO 20022 pacs.008 FI-to-FI credit transfers: generate, validate, parse, scheme + address checks.

Thinkrun
Browser control + session recording MCP for AI coding agents (Claude Code, Cursor) — real Chrome.

mdflow — Context OS for AI Coding AgentsNew
Context OS for AI coding agents: task-scoped AST context, verified mutation, and rollback.

Delonghi Ecam
MCP server for DeLonghi ECAM espresso coffee machines via local network
FiatDock
Cash out an AI agent's USDC to a real bank account (non-custodial).

Hivelore
Deterministic gate: blocks any commit whose diff reintroduces a documented team mistake.

Floodwise
England flood-risk by postcode for AI agents — verified Environment Agency data, not guesses.

PolicyvaultNew
Non-custodial Kaspa policy enforcement for AI agents; signers retain custody.

Toyota & LexusNew
Toyota & Lexus vehicles: fuel, range, location, trips, health, climate, charging, commands

Forge Cascade MCP Memory Server
AI memory buyer routing with Forge docs, pricing, paid recommendations, and MCP discovery.

Verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

Sdcvalidator
SDC4 structural validator with ExceptionalValue recovery; thin wrapper over xmlschema.
ProofSlip
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects

Openclaw Output Vetter
Verify AI agent claims vs reality: inline grounding-check + swallowed-exception + transcript review.

Kāhea
Deterministic HTTP/WebSocket testing and policy-gated API execution for AI agents.

Krs
MCP server for the Polish KRS company registry via the official Ministry of Justice API.

Tgms
Bi-temporal graph store with 15 verified temporal operators as typed, deterministic MCP tools.
