Developer Tools MCP servers

Analyze your repo's stack and generate grounded, time-boxed spike decision docs.

Check any MCP server or agent skill before installing: upkeep, real adoption, and OSV advisories.

Read-only local zoxide diagnostics for MCP clients.

Build, version, review, and export websites, web apps, and games from a conversation.

Control the Unreal Engine 5 editor from any MCP client: Blueprints, materials, Niagara.

Git/CI MCP server with the full protocol surface (tools, resources, prompts, roots, sampling).

BYOK, fully local AI agent that tests your app/API and writes a real Playwright spec on success.

Laravel documentation aggregator: multi-version core docs, services, packages, learning paths.

MCP server for creating, validating, and exporting Oh My Posh terminal prompt configurations.

Securely run LLM-generated code in isolated containers across 7 languages and 3 container backends.

Real-time codebase graph for AI assistants: call graphs, dependencies, symbol lookup.

EDI parse, validate, send, inspect, and QuickBooks tools for MCP clients.

Review coding-agent plans on demand with peer models, attributed findings, and a structured verdict.

Memi is the read-only design engineering audit and skill layer for coding agents.

Snapshot tests and CI for agent workflows: record a run, replay it at 0 tokens, diff for drift.

Answers questions about liquefy-ui from its real API surface, so an agent stops inventing props.

Gives AI agents eyes and hands into running React Native apps: logs, REPL, tap, screenshots

See what's on your ports, the processes behind them, and diagnose conflicts and leaks.

Structural code intelligence over MCP: symbols, callers, imports and blast radius, 40+ languages.

Repo analysis for coding agents with ranked files, dependency maps, and task-scoped context.

Pin MCP tool contracts by sha-256; catch silent drift, rug pulls and bait-and-switch in CI.

Build games for Miniant Games: developer guide, checklists, build validator, starter game.

Run e2e flows on real iOS and Android phones through the local Proofsheet hub (macOS).

35 MCP tools give AI agents live Rails schema, routes, models, and conventions.

BDD automation runtime for Windows desktop applications through pywinauto.

Audit-first test strategy MCP server for repository-native test planning.

Find retiring LLM calls in code and test the replacement model on real traffic before switching.

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.