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.
An open consequence model that predicts the outcomes of git commands and multi-step actions with calibrated probabilities.
$claude mcp add ekbasis -- uvx ekbasis
A headless Java IDE for AI agents that provides incremental compilation, testing, application startup, and breakpoint debugging via MCP.
$claude mcp add jolink-runtime -- uvx jolink-runtime
Provides bitemporal memory for AI agents to recover interrupted tasks, reject stale state, and gate task completion with evidence-backed verification.
$claude mcp add lians -- uvx lians-sdk
Lets an AI client run allowlisted, audited commands and structured file edits on Linux, macOS, and Windows hosts.
$claude mcp add --transport http sentinelx-cloud-core https://mcp.sentinelx.app/mcp/mcp
Provides coding agents structured access to an EDA toolchain for hardware design, verification, synthesis, and FPGA programming.
$claude mcp add silica-eda -- uvx silica-eda
Provides a semantic cache layer for AI agents that extracts atomic facts and automatically invalidates them when underlying sources change.
$claude mcp add coalent -- uvx coalent
Provides AI assistants access to Swiss federal geodata including maps, elevation, geocoding, and cadastral information via Swisstopo APIs.
$claude mcp add swisstopo-mcp -- uvx swisstopo-mcp
Provides local-first persistent session memory for AI agents using SQLite and FTS5 to carry context across different coding environments.
$claude mcp add loreconvo -- uvx loreconvo
Creates deterministic snapshots of agent capabilities from OpenAPI, MCP, or native catalogs to detect semantic drift and breaking changes.
$claude mcp add contextweaver -- uvx contextweaver
Answers offline CVE, exploit, and vulnerability questions from a local SQLite index built from public security feeds.
$claude mcp add crowbar -- uvx crowbar-cli
Lets an AI find open-source tools on GitHub and install them as sandboxed MCP tools after security scanning and user approval.
$claude mcp add legwork -- uvx legwork-mcp
Diagnoses ArduPilot flight logs by analyzing .bin and .tlog files to identify vibrations, battery issues, GPS loss, and motor failures.
$claude mcp add ardupilot-mcp -- uvx ardupilot-mcp
Lets an AI agent inspect ROS2 graphs, recorded bag files, and the underlying DDS layer for debugging and monitoring.
$claude mcp add topicforge -- uvx topicforge
Provides a safe SQL gateway for AI agents with SELECT-only validation, access policies, data masking, and an evaluation harness.
$claude mcp add querypilot -- uvx querypilot
Lets an AI client search, triage, and import security findings into DefectDojo via its REST API v2.
$claude mcp add defectdojo-mcp -- uvx defectdojo-mcp-server
Prevents API key and credential leaks by scanning code, git changes, and MCP configurations before they reach AI models or public repositories.
$claude mcp add mcp-secret-sentinel -- uvx mcp-secret-sentinel
Scans MCP servers and agentic AI components for vulnerabilities, conformance scores, and threat intelligence using the AVE database.
$claude mcp add bawbel-mcp -- uvx bawbel-mcp
Lets AI agents save compact handoff checkpoints, store temporary notes, and resume long coding tasks across different AI client sessions.
$claude mcp add a2cr -- uvx a2cr-mcp
Provides a formal verification engine to test AI claims against ground-truth axiom libraries to eliminate hallucinations and return binary verdicts.
$claude mcp add synproof-syntropy -- npx -y syntropy-mcp
Enables AI agents to read, extract text, render pages, and perform OCR on PDF files locally.
$claude mcp add benspdf -- uvx benspdf-mcp