Developer Tools & Repos MCP Servers

MCP server with 23 tools for structured code understanding via tree-sitter

Codex plugin exposing xAI/Grok OAuth and API-key tools through a local MCP server.

Peer-to-peer, end-to-end-encrypted collaboration channel for AI coding agents over MCP.

MCP server for CPFHub.io. Query Brazilian CPF data directly from AI agents.

MCP server to migrate data out of code (ts/js) into config (json)

MCP server for fast Android device interaction with scrcpy acceleration (~50ms latency).

Development tooling MCP server with process management, proxy, and frontend diagnostics

MCP server for EasyEDA

MCP server that bridges browser runtime errors to IDE AI agents — real-time debugging without leaving your editor

Executable architecture governance: an unevaluated rule is reported as a failure, never a pass.

Command-line interface for mcp-fortress

MCP server for the Foundry Ethereum development toolkit (Forge, Cast, Anvil, Chisel)

MCP server for tmux — browse sessions, capture output, send commands.

MCP server that drives a running Coherent Gameface (Cohtml) game UI over a direct Chrome DevTools Protocol connection: evaluate JS

github actions mcp server

MCP server for fetching GitHub repository files and directory trees

Read public GitHub Projects v2 boards without auth — items, fields, story points, priority.

MCP server for fetching GitHub repository code

Deterministic batch tools so LLM agents stop guessing dates and math.

MCP server for Go Playground integration

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