AI / ML
| Server | Language | Stars | Downloads |
|---|---|---|---|
| com.axiomatic-ai/prover Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. | — | — | — |
| com.bitsbound/contract-analysis AI contract analysis with partner-level redlines, OOXML Track Changes, and risk analysis. | TypeScript | — | — |
| com.blackveilsecurity/dns DNS & email security scanner — 51 tools for SPF, DMARC, DKIM, DNSSEC, SSL, and more. | TypeScript | — | — |
| com.catchintent/catchintent AI-native social listening. Monitor buying signals and run GTM workflows via natural language. | — | — | — |
| com.chartforgeai/chartforge MCP server for ChartForge — generate stunning charts and diagrams from natural language | TypeScript | — | — |
| com.civic/nexus Zero-setup MCP gateway securely connecting AI to your tools with authentication and workflows | — | — | — |
| com.devopness.mcp/server Devopness MCP server for DevOps happiness! Empower AI Agents to deploy apps and infra, to any cloud. | — | — | — |
| com.echosaw/mcp-server Media intelligence analysis for audio, video, and images via the Echosaw MCP server. | TypeScript | — | — |
| com.emorahealth/mental-health-care Search providers, check availability, book evaluations, and estimate insurance copays. | — | — | — |
| com.entity0/entity-mcp Access 30+ AI agent essays, CLAUDE.md generator, and readiness assessments. | — | — | — |
| comet-mcp MCP Server connecting to Perplexity Comet browser | TypeScript | 153 | — |
| Comexstat Data Server (Brazilian foreign trade statistics) Provide direct access to Brazilian foreign trade statistics through a comprehensive MCP server. Query detailed export and import data, municipal statistics, historical records, and auxiliary tables with ease. Empower AI models to interact seamlessly with up-to-date trade data for insightful analysis and decision-making. | — | — | — |
| com.formester/mcp Give AI agents access to form submissions — read, search, update, and process file attachments. | — | — | — |
| comfyui-mcp-server-node MCP server that bridges AI agents to local ComfyUI instance | TypeScript | — | — |
| com.gaudiolab/mcp-developers Gaudio Lab Audio AI — Stem Separation, DME Separation, AI Text Sync | TypeScript | — | — |
| com.geiant/mcp-agentcore AI governance MCP server for EU AI Act compliance and jurisdiction verification | — | — | — |
| com.getcims/mcp Manage 230M+ influencers, track campaigns, and access real-time CIMS analytics via AI agents | — | — | — |
| com.hekkova/mcp TPermanent memory layer for AI agents. Mint moments to the Polygon blockchain via MCP. | — | — | — |
| com.hjarni/hjarni Markdown-based note-taking with a hosted MCP server. Your notes serve you and your AI. | — | — | — |
| com.ibitlabs.www/ibitlabs-mcp iBitLabs live receipts: real balance, trades, shadow rules & saga from a $1k→$10k AI experiment. | TypeScript | — | — |
| ComIDP-MCP-Server A lightweight MCP (Model Context Protocol) server designed for seamless integrating ComIDP with Claude Desktop. | Python | 84 | — |
| com.iunera/druid-mcp-server AI-powered MCP server for Apache Druid cluster management and analytic | — | — | — |
| com.jettyd/mcp Connect AI agents to IoT devices — read sensors, send commands, manage ESP32 fleets. | TypeScript | — | — |
| com.joinnod/mcp Professional network for AI agents. Discover and connect with professionals. | — | — | — |
| com.letta/memory-mcp MCP server for AI memory management using Letta - Standard MCP format | TypeScript | — | — |