3034 Model Context Protocol servers — searchable, rated, ready to install.
World's fastest domain check. Or the second — dispute it. 52 TLDs, 7 registrars, no API key.
Extract regular expressions from code, each with a ReDoS safety verdict.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Is this transaction safe to sign? Decodes what it really does and answers allow, warn or block.
Extract colors from stylesheets and code, with their notation and position.
Session memory for coding agents: local-first recall, drift detection, on-device inference.
Crypto price-event settlement verdicts and US building-permit data, paid per call in USDC.
UK neighbourhood research from government open data: postcode reports, comparisons, 45 datasets.
Real-time market data, screeners, technical analysis & backtesting for stocks, crypto and forex.
Search places, estimate routes, and build Apple Maps links on macOS.
Send push notifications, build audiences, and view campaign analytics from PushEngage.
Build and operate declarative REST/Kafka services on Orion: 58 tools over the full admin API.
Build prospecting lists from buying signals, enrich them, and run LinkedIn outreach.
Local-first SCIP code navigation and Zoekt search over your own indexed repositories
Official-source China bank card offer facts for agents; free bank list and paid factual search.
Execution-verified code generation and verification with signed, offline-checkable certificates.
Test management over MCP: author cases, run manual executions, cut releases, read health
AI teammate for tasks: builds your list from meetings, email and chats, and checks off done work.
Authorization-gated MCP server to discover and run 670+ security tools for CTF, pentest, and DFIR.
Find the repo to build from: search 100k+ repos by base-fitness, clone free or buy over x402.
Live Canadian vehicle listings, VIN decode and market valuations, province by province.
Dev-registry data: npm/PyPI/Docker/VS Code packages, dep graphs, vulns, 50+ ecosystems.
MCP server for Enpass vaults: entries, passwords and TOTP/2FA codes, keychain-backed.
Encrypted store for API keys and database URLs your code needs. Use them without reading them.
POST /mcp