Developer Tools MCP servers

Analyze .NET solutions: Generate Mermaid graphs, ERDs, class diagrams, and project metrics.

Explain any lockfile or workflow-pin change: bumps, vulns, ages, deprecations — 61 formats

Deterministic doc-drift detection: guard, score, explain, verify-claims and diagnose MCP tools.

Read-only KNX/ETS project auditor: validates a .knxproj and generates Home Assistant YAML

Offline self-checking to reduce AI-style wording in source code and documentation.

The Matra rich text editor's documentation as an MCP server: every extension, command and API.

Effect 官方文档的中文译文检索（234 页，v3 + v4）。每条结果带可核验引用：能点回原文小节、能看到该译文对着哪次上游提交译的。零依赖、离线自包含。

Team conventions, anti-patterns, and domain knowledge from .codehabits/ for AI coding agents.

让 AI 用自然语言管理 Gitee 仓库：查 star、管 Issue、基于 commit 生成中文 CHANGELOG（原生无此 API）

Run efficiency for coding agents: share of paid tokens that became output, not context re-reading.

Local runtime provenance for coding agents. Inspect sessions and explain which one owns a process.

Measures tickets against the ones your team already shipped: sections, length, labels, duplicates.

Query, validate, preview, and generate source from *.dtct data contracts and *.ngin templates.

Publish iOS and Android builds to testers and manage share links from an AI coding agent.

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Independent verification that a change kept its declared constraints. No model in the verdict path.

Read and write one codebase ontology kept as Markdown in the repository.

WordPress edit previews, scoped correction checks, and change records for trusted operators.

Inspect webhooks from Cursor or Claude. No account needed. Pro adds permanent slugs.

Runs a command, keeps every byte on disk, returns only the lines that matter

Persistent, evidence-backed code graph for coding agents.

ABAP MCP connector for SAP ECC and on-premise S/4HANA. Requires a licensed ABAPilot backend.

Diagnose GitHub Actions CI: lint, flaky tests, wasted minutes, health score. Read-only MCP tools.

Lets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central.

Read-only search and navigation of Sparx Enterprise Architect .qea model exports

Compile any codebase into a walkable graph and serve it over MCP. No model decides an edge.

Gradle-accurate JVM classpath; fetch Java source, signatures, and class structure for agents.

Read-only MCP server for Depot (depot.dev): CI failure diagnosis, build forensics, and usage.