Developer Tools & Repos MCP Servers for Cursor

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

Manage CI/CD pipelines, workflows, and job metrics across projects

Analyze code quality, security issues, and coverage across repositories

Diff two MCP servers and detect breaking changes. The oasdiff of the Model Context Protocol.

A simple stdio-to-http bridge for MCP connections