Developer Tools & Repos MCP Servers for Codex CLI

Foresee what git commands and multi-step changes will do, as calibrated probabilities

Compress all connected MCP servers into a single router MCP to save tokens

ReVa - AI-powered Reverse Engineering Assistant for Ghidra with MCP server and Claude CLI integration

Find test gaps, generate grounded tests, and dynamically prove behavior with mutation testing.

Governance substrate for AI coding agents — adversarial PR review, drift-detected rules, tamper-evident audit, and closed-loop outcome

An MCP server for managing jobs via tmux sessions

Every App Store Connect + StoreKit 2 endpoint. 895 tools in 13 profiles, narrow to 27.

Production-grade infrastructure for Model Context Protocol

A Model Context Protocol (MCP) server that provides seamless integration with the Aceternity UI Components. This package enables AI

MCP proxy server that filters tools from upstream MCP servers via regex-based deny list

MCP server that teaches any AI agent the AIDE methodology via progressive disclosure

Structural codebase MCP server with persistent memory: navigate by symbol, recall across sessions.

Inspect waveforms and navigate RTL in live Synopsys Verdi. Requires a licensed Verdi installation.

Pathmode MCP Server — Build structured intent specs through Socratic AI conversation (zero-config), or connect to your Intent Layer for

Model Context Protocol (MCP) server providing documentation and code analysis for Python packages

Command-line interface for Overleaf — Sync, manage, and compile LaTeX projects from your terminal

Space Bus — workspace agent bus for OpenCode. One control agent tasking per-project agents over the OpenCode server API, with an MCP facade

MCP server exposing TypeScript LSP-like functionality to AI agents

Run Claude, Codex, Gemini, Forge, and OpenCode CLIs through MCP with background jobs

MCP server for Macroforge documentation and code analysis

Ship agentic. Stay coherent. Self-checking code integrity for AI coding agents, in the loop via MCP.