Developer Tools MCP Servers

Lean Mathlib Docs

Enables large language models to search Lean Mathlib 4 documentation locally via a minimal server.

Awesome Agent Skills

Provides over 100 curated AI agent skills from leading organizations, making them accessible to Claude, GitHub Copilot, and any Model Context Protocol client.

Simple Tempo

Provides an enhanced Model Context Protocol (MCP) server for Grafana Tempo, enabling intelligent trace querying and detailed analysis.

Hivemind

Integrates AI tools with Obsidian vaults, ensuring canonical context for accurate responses grounded in your established knowledge.

Citus

Empowers AI assistants to manage and monitor Citus distributed PostgreSQL clusters.

Development Tools

Enhances AI assistant capabilities by providing comprehensive code analysis, linting, dependency checks, security scanning, and advanced web scraping functionalities.

Local PM

Provides a self-hosted project management solution with a Kanban UI, enabling AI assistants to manage projects, tasks, and teams directly through a Model Context Protocol server.

MCPwner

Orchestrates a comprehensive suite of security tools for automated vulnerability discovery, analysis, and exploitation.

KPIC

Integrates with the Korea Pharmaceutical Information Center (KPIC) API to provide drug information through a Model Context Protocol (MCP) server.

Qdrant

Connects Large Language Models (LLMs) to Qdrant vector databases, enabling semantic search and retrieval through the Model Context Protocol.

Browserplex

Manages multiple isolated browser instances, supporting various engines including stealth configurations, for concurrent use by applications and AI agents.

kemdiCode

Empowers AI agents and IDE assistants with a comprehensive set of 124 specialized tools for advanced code analysis, development, and project management.

Minesweeper

Operates a Rails-based Minesweeper Web/API game as a stdio MCP server for AI hosts.

Poly

Provides a comprehensive Model Context Protocol (MCP) server, offering extensive capabilities for filesystem, diagnostics, scripting, time, network, context, Git, user input, and agent-centric version control operations.

App Store Connect

Provides a Model Context Protocol (MCP) server to manage Apple App Store Connect API operations for iOS, macOS, tvOS, and visionOS applications.

ProPresenter

Provides comprehensive control over ProPresenter presentations through its API, exposing a wide range of functionalities as a Model Context Protocol (MCP) server.

PLTM

Extends Claude Desktop with advanced memory, meta-cognition, and knowledge ingestion tools for AGI research.

Deepgram

Provides an MCP server to access Deepgram's advanced speech recognition and text-to-speech functionalities.

Desktop

Exposes Discord's internal webpack modules and functionalities to external AI tools.

PyRunner

Provides a persistent Python kernel that optimizes script-based development for AI assistants, enabling variable retention across executions and a Jupyter-like command-line experience.