Developer Tools & Repos MCP Servers for Claude Desktop

Ten x402-paid tools for JSON, YAML, cron, diff, text, DNS, WHOIS, GitHub, crypto, and email.

ISO 8601 duration MCP.

GitHub MCP — wraps the GitHub public REST API (no auth required for public endpoints)

LaunchDarkly MCP Pack — wraps the LaunchDarkly REST API v2

pub.dev MCP — package registry for Dart & Flutter.

CodeRide eliminates the context reset cycle once and for all. Through MCP integration, it seamless…

Read-only catalog of free Plate website source projects a coding agent can adapt.

LSP-backed IDE intelligence plus concurrency-safe, transactional edits for AI coding agents.

Analyze .NET solutions: Generate Mermaid graphs, ERDs, class diagrams, and project metrics.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Python identifier charset, value discarded

MCP server for serial port communication. 25 tools, resources, prompts, and stdio/HTTP transports.

Generate QR codes for URLs, PIX, Wi-Fi, vCards, WhatsApp and more. For AI agents.

Quoted-printable length, text discarded

Generates cryptographically random integers in a given range, using crypto/rand.

Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.

Select a branch for a release.

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

Discover and scaffold new apps by reusing code from your GitHub repositories.

Repository evidence for agents before they adopt dependencies, enter codebases, compare, or merge.

requirements.txt name count, versions discarded