MCP servers that give coding agents real developer tooling: linters, package registries, test runners, language docs and local build commands. 13,944 servers in this category.
Analyzes Lean 4 and Metamath formal libraries to identify dependencies on axioms, compiler trust, or unfinished proofs like 'sorry'.
$claude mcp add gonzalgo -- uvx gonzalgo
Enables AI agents to perform web scraping, semantic search, and deep research using SearXNG, Tavily, and Crawl4AI.
$claude mcp add crawleyes -- uvx crawleyes
Enables AI assistants to query Tableau Metadata API to answer complex lineage and impact analysis questions in plain language.
$claude mcp add tableau-graphql-mcp -- uvx tableau-graphql-mcp
Turns AI assistants into autonomous technical project managers and desktop automation engineers by establishing a persistent project brain in your workspace.
$claude mcp add dev-mcp -- uvx braynix-dev-mcp
Allows an AI client to search traces, inspect spans, map service dependencies, and analyze performance bottlenecks in Jaeger distributed tracing data.
$claude mcp add jaeger-mcp -- uvx jaeger-mcp
Performs deterministic GIS geoprocessing with verifiable provenance and automated analysis planning for spatial datasets.
$claude mcp add mapsmith -- uvx mapsmith
Translates Python source code between English keywords and natural languages with static validation and round-trip verification.
$claude mcp add legesher-mcp -- uvx legesher-mcp
Provides AI agents with a SQL rehearsal environment to estimate costs, fix slow queries, and run budget-gated samples before executing on full datasets.
$claude mcp add gulliver -- uvx gulliver-mcp
Provides unified semantic search and retrieval across Plesk admin guides, REST API, CLI, PHP SDK, and JS SDK documentation.
$claude mcp add mcp-plesk-dev-docs -- uvx mcp-plesk-dev-docs
Provides a local knowledge graph of screen activity and system events to serve as context for AI agents via MCP.
$claude mcp add chronicle -- uvx chronicle-context
Turns AIMarket capabilities into self-hosted MCP products including Docker images, manifests, and Claude Desktop configurations.
$claude mcp add aimarket-plugins -- uvx aimarket-mcp-packager
Provides agent guardrails including evidence ledgers, loop detection, and durable journals to prevent scope creep and repetitive failures in AI coding agents.
$claude mcp add protect-context -- uvx protect-context
Manages AI agent context through server-side payload filtering, state tracking, and cache-aware pruning to reduce token costs and prevent loops.
$claude mcp add osiris -- npx -y osiris-mcp
Acts as a router for MCP servers to reduce context window usage by loading tool schemas only when requested by the AI client.
$claude mcp add tool-guardian -- uvx tool-guardian
Enables AI clients to discover data quality issues, inspect evidence-backed explanations, and perform safe, reversible data repairs.
$claude mcp add datasentry -- uvx datasentry-ai
Allows AI agents to detect data-quality incidents, propose and verify fixes, and escalate unproven issues to humans.
$claude mcp add dataranger -- uvx dataranger
Provides an anti-poisoning memory store for AI agents with provenance, versioning, and a quarantine gate to prevent memory corruption.
$claude mcp add devin-memory -- uvx devin-memory-mcp
Performs exact arithmetic using an AST allowlist to prevent code execution and resource exhaustion while maintaining integer precision.
$claude mcp add calc-mcp-server -- uvx calc-mcp-server
Provides a governed MCP server with declarative YAML tools, typed effects, and policy-gated actions for secure AI agent tool use.
$claude mcp add agentkit -- uvx agentkit-mcp
Parses a multi-language codebase into a knowledge graph so an AI client can query, retrieve, and edit code in plain English.
$claude mcp add code-graph-rag -- uvx code-graph-rag