Developer Tools MCP Servers

VMware Aria Operations: metrics, alerts, capacity, anomaly detection — 18 MCP tools.

Read and write checked code rationale stored outside source comments.

Slack MCP server: channels, messages, threads, reactions, users, files, and scheduled messages

JARVIS-CD MCP with a compact user pipeline contract and explicit admin compatibility profiles

Source-grounded web research: search, extraction, verification, and browser automation.

Check generated audio, video and stills for defects. Returns a verdict, not more media.

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Private USDC/USDT payments on Solana: hidden amounts, unlinkable, optional auditor.

MCP server for Oracle, MSSQL, PostgreSQL, MySQL, SQLite, MongoDB, and Qdrant vector search access.

Read and manage macOS system settings and perform scoped desktop actions.

List, inspect, and run Apple Shortcuts on macOS.

List, create, update, complete, and delete reminders in Apple Reminders on macOS.

Inspect, search, create, edit, move, and organize notes in Apple Notes on macOS.

Read Messages history on macOS and send or reply through Messages.app.

Search places, estimate routes, and build Apple Maps links on macOS.

Read, search, compose, and send emails via Apple Mail on macOS.

Inspect and manage local files and folders inside allowed roots on macOS.

Inspect and search Apple Contacts on macOS, and resolve a contact into a message-ready recipient.

List, create, update, and delete events in Apple Calendar on macOS.

Unified Apple ecosystem MCP server for macOS: Mail, Calendar, Notes, Files, Messages, and more.

Letterhead PDF as digital stationery: prints Markdown without overprinting header, footer, or logo.

Cross-exchange liquidation tape, paid per call in USDC on Algorand. Free catalog, no key needed.

Git/CI MCP server with the full protocol surface (tools, resources, prompts, roots, sampling).

Unified MCP server for Ignite UI — documentation, API, and CLI scaffolding