Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
63,991 MCP servers
MCP server bridging GitHub webhooks via Cloudflare Worker for real-time event streaming
Apple Human Interface Guidelines search, lookup, and project audits for AI coding agents.
MillionVerifier MCP — wraps the MillionVerifier single-verify API (millionverifier.com)
Query your Baserow instance: dashboard, database tables. Endpoints per official docs.
MCP server for Pinata IPFS: pinned files, pin JSON, unpin. Needs a free API key.
Crypto prices from Phemex. No key required.
Shopify MCP Pack — wraps the Shopify Admin REST API (2024-01)
MCP Server for researchers
Split bills and collect payments through PayNow (Singapore) from your AI. MCP server for SplitBill.
MCP server for Supadata video & web scraping integration. Features include YouTube, TikTok, Instagram, Twitter, and file video
MCP server exposing TypeScript LSP-like functionality to AI agents
MCP server for VK Ads (VK Реклама) API: manage ad plans, ad groups, banners, and statistics.
AI agent discovers MCP servers from GitHub npm - analyzes APIs configs
Unofficial MCP server for Alza.cz: catalog search plus token-guarded account and checkout.
Keyless MCP server for Ashby job boards: openings, departments, locations.
Control existing signed-in Chrome and Edge tabs through a locally paired extension.
Web search and any page as LLM-ready Markdown for AI agents. Free keyless tier, no signup.
Identify integer sequences by terms, search the OEIS, read formulas, programs, b-files, cross-refs.
European payment QR — SPAYD (CZ/SK) & EPC/GiroCode (SEPA), plus text/WiFi/vCard. Local, free.
MCP server for dbatools — exposes SQL Server management commands as MCP tools