Developer Tools & Repos MCP Servers for Cursor

Content-addressed contracts and a verification cache that cut agent context by skipping proven code.

MCP executor for Claude Code or Codex with an npm-first launcher and cheaper local or flat-rate execution by default

An enhanced MCP server providing intelligent semantic code search with find-similar-code, recency ranking, and improved chunking. Fork of

Personal MCP server with dev workflow tools for AI agents

Stdio <-> HTTP/SSE MCP bridge with Civic auth handling

Easy installation and setup of i18n-agent MCP client for AI development environments

An MCP (Model Context Protocol) server that generates **auto-incrementing unique identifiers** and provides **current ISO timestamps**.

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