MCP server exposing Z3 solver API
66,383 MCP servers
Knowledge graph MCP for student learning with spaced repetition and mastery tracking
MCP server for Kali Linux security tools — connects AI agents to 145+ pentest tools via Docker
Browser automation for MCP clients via Zen Browser. Parallel multi-tab, content extraction.
MCP server for ZEsarUX ZX Spectrum emulator using ZRCP protocol
Due diligence on life-science claims: omics, trials, gene therapy. Dimension by dimension.
Zettelgeist MCP server: 16 tools for agents to operate on Zettelgeist repositories.
MCP server exposing 106 Zudello ERP automation tools for Claude Desktop and other MCP-compatible clients
MCP server for Zyta Sign — documents, signatures and studies from Claude, Cursor or Codex
Read-only Polymarket prediction market data for AI agents.
SAM.gov readiness, entities, exclusions, opportunities, awards, hierarchy, and subawards. 20 tools.
MCP server for AADDYY AI Tools — use 100+ AI tools from Cursor, Claude Code, Windsurf
MCP server for SAP ABAP development with 15 tools for ABAP objects, syntax, ATC, and more
MCP server that exposes browser accessibility tree via Chrome CDP
Google AdSense MCP Server - Monitor earnings, reports, and account health via Claude/AI
MCP server for Spanish AEAT tax reference data — IRPF brackets, VAT rates, fiscal calendar, tax form catalog, and more. 100% official
A safety layer for autonomous DeFi agents - MCP server + smart contracts that simulate, scan, and protect on-chain transactions before
Model Context Protocol server for Afrimomo SDK - enabling AI assistants to interact with African payment providers (PayChangu & PawaPay)
AI agent memory: task tracking, scoped work packages, decisions, and cross-session continuity
Cut AI agent token costs 5-15x — routes only relevant code symbols instead of full files.
Local message bus that lets Claude Code, Codex and other MCP agents talk to each other through one SQLite file.