MCP Server Directory

Execute coq-proof-assistant-mcp io.github.Evozim/coq-proof-assistant-mcp

Premium agentic endpoint for coq-proof-assistant-mcp.

Read and edit a live local-first PowerScroll visual notebook.

Execute context-window-optimizer-mcp io.github.Evozim/context-window-optimizer-mcp

Premium agentic endpoint for context-window-optimizer-mcp.

Execute consensus-voter-mcp io.github.Evozim/consensus-voter-mcp

Premium agentic endpoint for consensus-voter-mcp.

Execute cookie-stuffing-detector-mcp io.github.Evozim/cookie-stuffing-detector-mcp

Premium agentic endpoint for cookie-stuffing-detector-mcp.

Execute cold-vault-migrator-mcp io.github.Evozim/cold-vault-migrator-mcp

Premium agentic endpoint for cold-vault-migrator-mcp.

Execute collusion-detection-sentinel-mcp io.github.Evozim/collusion-detection-sentinel-mcp

Premium agentic endpoint for collusion-detection-sentinel-mcp.

AgentCloud — Hosted iOS Simulator MCP so.agentcloud/ios-simulator

Build, run, and inspect iOS apps in disposable hosted Simulators from cloud coding agents.

Look up what your verification method cannot see: 48 failures that report success.

Instagram io.github.mcp-dir/instagram-mcp

Instagram for AI agents: publish, read comments and DMs, insights, and engage from your account.

Banco Central do Brasil (BCB): Valores a Receber io.github.mcp-dir/bcb_valores_receber-mcp

Banco Central do Brasil (BCB): Valores a Receber, official-source lookup. Platform-hosted, pay per q

Automatic Video Mosaic, Face Masking & De-identification MCP — NoonAI DIS com.dyndns-server.noon-ai/video-mosaic-masking-mcp

Automatic video mosaic, face masking, and privacy de-identification by NoonAI DIS.

USASpending.gov awards, subawards, recipients, agencies, and federal accounts. 55 tools.

tollbooth-shortlinks io.github.lonniev/tollbooth-shortlinks

Ephemeral, human-friendly short URLs for Tollbooth MCP services

Execute chain-agnostic-escrow-reader-mcp io.github.Evozim/chain-agnostic-escrow-reader-mcp

Premium agentic endpoint for chain-agnostic-escrow-reader-mcp.

MCP-native router and multi-agent control plane: plan, route tool calls, stream execution.

Execute cargo-load-balancer-mcp io.github.Evozim/cargo-load-balancer-mcp

Premium agentic endpoint for cargo-load-balancer-mcp.

Execute carbon-tax-auto-withholder-mcp io.github.Evozim/carbon-tax-auto-withholder-mcp

Premium agentic endpoint for carbon-tax-auto-withholder-mcp.

MCP server for Mimecast email security: message queue, held messages, domains, and threats.

Query a verified document collection: passages that answer a question, with their source.

MCP server for the zillow-leads-property-data actor: Zillow leads with agent contacts and history.

Execute cheap-compute-sniper-mcp io.github.Evozim/cheap-compute-sniper-mcp

Premium agentic endpoint for cheap-compute-sniper-mcp.

Execute bulk-shipping-negotiator-mcp io.github.Evozim/bulk-shipping-negotiator-mcp

Premium agentic endpoint for bulk-shipping-negotiator-mcp.

Execute bio-data-parser-mcp io.github.Evozim/bio-data-parser-mcp

Premium agentic endpoint for bio-data-parser-mcp.