MCP servers for Devin Desktop

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Queries CNES (health facilities): professionals, beds, equipment and services.

Flight Master DAST provides official aviation data (MCP), supporting Remote HTTP and npm STDIO, offering flight status, weather, flight…

Leyes chilenas con cita verificable, fichas notariales y documentos .odt/.pdf

MCP server that executes directed graphs of MCP server calls

MCP server for MDN Web Docs — search documentation, fetch pages, check browser compatibility, browse features, CSS definitions, and HTTP

Design linter for AI-generated frontends: deterministic rendered-DOM audits, CI gates, and MCP design-quality signals

AI meal planning: generate weekly plans, manage recipes, and send groceries to Kroger.

Silkweave Google Meet MCP & CLI

Team engineering memory for AI coding assistants. 47 MCP tools, pgvector semantic search.

Embedded memory for AI agents with SQLite, pgvector, and Neo4j graph search.

Desktop notifications, custom sounds, ntfy mobile notifications, email notifications, and API pushes reduce anxiety while waiting for AI

MCP Server for Facebook Marketing API integration

MCP server for Metro-North schedules, stations, service alerts, and real-time departures

Simulate, generate and draw analog circuits in Micro-Cap 12: SPICE analyses, sweeps and schematics

Scan APIs for OWASP Top 10, LLM, and GraphQL security vulnerabilities.

MCP server for Midjourney AI image generation and editing

AI long-term memory MCP server with importance scoring and confidence calibration

ServiceNow ITSM MCP server for Model Context Protocol hosts

Threads scheduler for AI agents: write, schedule and publish posts, review replies, read insights.

MCP server for interacting with MinIO storage servers, performing all operations through buffers without relying on filesystem paths for