MCP Server Directory

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

CoverIntent com.onrender.coverintent-network/insurance

Capture a Nevada auto insurance intent once; one verified seller answers for USD 1. No repeat ask.

Local MCP server that signs x402 USDC payments (Solana, EVM) to buy PrivadoVPN access

timalens io.github.ialim0/timalens

AI whiteboard explainer video platform: script to storyboard to narrated MP4.

FlexYield — blockchain RPC gateway io.flexyield/gateway

RPC gateway for agents: six mainnets, measured failover, a key without signup, pay per call in USDC.

google-maps-mcp-server io.github.Sagar27888/google-maps-mcp-server

Search Google Maps businesses via MCP - name, address, phone, rating, hours, GPS.

ComingUp Today io.github.FE-Engineer-Youtube/comingup-today

Family schedules and household tools with OAuth. External calendars remain read-only.

Monitor ICTContact / ICTDialer outbound campaigns, and start and stop them when writes are on.

ISO country BD io.github.sadri-dridi/cc-bd

Public ISO 3166-1 record for BD.

site uk.co.oiltankremovalcost/site

Oil Tank Removal Cost: the site's own MCP server — enquiry (enquiry = a human handoff, not a...

Delegate a self-contained task to opencode's free-tier models as a one-shot subagent.

domeneschluse no.domeneschluse/domeneschluse

Domeneshop-e-post og DNS i AI-assistenten din: søk, les, skriv, send. Gratis.

Shareflo uk.co.shareflo/shareflo

Read and update your UK cap table: instruments, stakeholders, holdings and account representatives.

ISO country AM io.github.sadri-dridi/cc-am

Public ISO 3166-1 record for AM.

Git-backed long-term memory authority for AI agents via MCP.

DETRAN RR: Débitos io.github.mcp-dir/detran_rr_debitos-mcp

DETRAN RR: Debts, official-source lookup. Platform-hosted, pay per query with prepaid credit.

Parser Club club.parser/parser-club

Telegram/VK audience scraping, marketplaces, Russian government registers. Free open dataset.

Read CRM contact groups and manage contacts on ICTCRM (ICTContact backend).

DETRAN RJ: Nada Consta - Veículo Apreendido io.github.mcp-dir/detran_rj_veiculo_apreendido-mcp

DETRAN RJ: Clearance Certificate - Vehicle Apreendido, official-source lookup. Platform-hosted, pay

DefaultBench io.github.NathanYoshua/defaultbench

Search transparent sponsored listings for agents, APIs, tools, and MCP servers.

AutoKeren MCP io.github.autokeren/mcp

AI video studio for agents — script to MP4, b-roll sourcing, Gemini QA. 43 tools.

Token-saving persistent memory for AI agents: recall durable facts instead of re-reading files.

projectstate online.projectstate/projectstate

Per-project memory for AI agents: decisions, attempts, tasks, ranked recall. Paid per call via x402.

elevai Commerce Demo ch.elevai/commerce-demo

Open demo shop: search products, place a 0.05 CHF order, create a PostFinance payment link.