MCP server for spec-driven development workflows across AI-agent CLIs and IDEs
56,218 MCP servers
Save tokens while coding — your AI agent gets structured code context, not file dumps.
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
ABAP development from Claude and other MCP hosts: source, transports, tests, ATC, debugger
Eight paid DeFi tools: prices, gas, swaps, token security, holders, yields, funding and wallets
Enhanced MCP server for Limitless Pendant with advanced conversation analysis, meeting detection, action item extraction, and comprehensive
Query the Avianne & Co. catalog: search engagement rings, wedding bands, watches and jewelry.
Local MCP server for iOS Simulator and macOS app automation with a native Swift bridge
The largest Claude Code plugin marketplace. 500 plugins, 600+ developer tools in one MCP server. Security, testing, DevOps, CI/CD
Plug your brain into any AI — a real Model Context Protocol (MCP) server that streams live EEG brain state (focus, calm, attention) from
Portable cognitive engine for AI agents — storage, embeddings, memory, FSRS, and MCP server
MCP server that proxies to xAI Grok API for searching X (formerly Twitter)
Self-hosted Jira Server/Data Center 7-10 for AI agents with username + password. 42 tools.
Latency breakdown, response times and page audits - no API key.
Query the Slack Web API (bot token; set SLACK_BOT_TOKEN, xoxb): channels, history, post messages.
Basic MCP server framework - supports standard MCP protocol and SSE real-time communication.
What a project planned, decided and did, for your agents: context packs, notes and the table check.
Verify, explain and audit regexes (ReDoS, engine compatibility) offline.
Input firewall for AI agents: scan text and files before an agent reads them. Local, no network.
Search Cookwala recipes, dry-run them on a device, check safe bands, mandates and SMS. Read-only.
The record layer for the machine age: counter-signed receipts and agent action records.