MCP servers for Devin Desktop

MCP server for spec-driven development workflows across AI-agent CLIs and IDEs

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.