MCP servers that give coding agents real developer tooling: linters, package registries, test runners, language docs and local build commands. 13,958 servers in this category.
Provides AI agents with device status, path resolution, and environment information on Termux, Android, Raspberry Pi, and Linux.
$claude mcp add nano-mcp-termux -- uvx nano-mcp-termux
Validate, lint, test-run, and explain Open Lakehouse Contracts using Polars or DuckDB through an AI assistant.
$claude mcp add lakelogic-mcp -- uvx lakelogic-mcp
Provides a deterministic verification layer for AI coding agents to catch invented APIs, undefined symbols, and incorrect method calls.
$claude mcp add honestcode -- uvx honestcode
Extract text and invoice fields from Chinese OFD documents and e-invoices for use in AI tools.
$claude mcp add ofdkit -- uvx ofdkit
Helps AI agents plan, configure, and implement CE-RISE Digital Passport components, models, and deployment workflows.
$claude mcp add dp-engineering-assistant -- docker run -i --rm ghcr.io/ce-rise-software/dp-engineering-assistant-mcp:0.0.2
Decode, inspect, modify, and rebuild Android APK projects using APKTool directly from an AI client.
Lists MCP servers, plugins and skills that connect AI assistants to the 1C:Enterprise ecosystem.
Connect AI agents to any native endpoint using the Universal Tool Calling Protocol (UTCP).
Allows AI clients to search and browse documentation from the Dash macOS API documentation browser.
$claude mcp add dash-mcp-server -- uvx dash-mcp-server
Verifies Python functions against mathematical claims by combining symbolic proofs with computational counterexample searching.
Executes Julia code in persistent sessions that retain variables, functions, and loaded packages across calls.
Lets an AI client perform symbolic math, algebra, calculus, differential equations, general relativity tensors, and matrix operations via SymPy.
Enables AI clients to read, search, and render PDF files as text or images for analyzing technical documents and diagrams.
Generates multi-table synthetic datasets that satisfy declared constraints, then verifies them with a DuckDB-checked certificate.
$claude mcp add misata -- uvx misata
Connects your files, repos, agent sessions, tickets and messages into per-task threads that AI coding agents can search and resume.
Lets an AI client import vulnerability scanner results and run nmap, NetExec, nuclei, or Metasploit against affected hosts to verify findings.
Optimizes an AI agent's prompts, tools, MCP surfaces, and skills against your own evaluations using a validation-gated evolve loop.
Provides a production-ready Python starting point for building FastMCP servers with OAuth, logging, and OpenShift deployment examples.
Note: project discontinued. It let an AI client control Blender through a stable, goal-first tool API with deterministic scene inspection and verification.
Indexes codebases into structural metadata to enable efficient AI navigation through functions, classes, and dependency graphs.
$claude mcp add mcp-codebase-index -- uvx mcp-codebase-index