Developer Tools & Repos MCP Servers for Codex CLI

idux ui mcp server

MCP server for paired Edge IE mode and Chromium Edge visual regression testing

Interactive LeetCode MCP server with authorization and solution submission capabilities

MCP server that gives AI agents instant access to decompiled Java code from Maven dependencies. Blazing fast Java class analysis for

MCP server that reports PR review status for a Jira issue — who must still approve, who already did, and whether the PR is merged.

MCP server for Journey Log - Document your AI-assisted coding journeys

MCP server that converts YAML to validated JSON — a safer emission surface for LLMs generating structured JSON payloads.

Model Context Protocol server for the Jules API

MCP server for Andrej Karpathy's coding guidelines. Provides tools to get coding guidelines and review code against them.

KERN MCP server — compile, review, and analyze .kern files via MCP

Accessibility snapshots and tap coordinates for active third-party iOS keyboards in Simulator.

MCP server for the Kongen Labs Pattern Intelligence API

Fast Lean 4 proof feedback for agents, powered by LeanInteract.

Real-time collaborative coding via MCP — two developers, one codebase

Auto-discover and load MCP tools from a directory

A LocalWP-aware MCP server for WordPress developers with simple safe and full-access profiles, logs, doctor diagnostics, SQL access

MCP server that rafts logs, code, and tickets into investigation reports.

A tool to help agents read and query long documents.

Bounded local MCP access to one approved repository for AI read/search and structured handoffs.

Sandbox-protected macOS automation MCP server with a persistent recipe DB, Electron CDP fallback, and self-correcting per-app knowledge

MCP server for macOS notifications with tmux integration