Developer Tools & Repos MCP Servers for ChatGPT

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

GitLab MCP — wraps the GitLab REST API v4 (BYO API key)

Barcode / GTIN validation MCP (EAN-13, UPC-A, EAN-8, GTIN-14).

Hex.pm MCP — package registry for the Elixir & Erlang ecosystems.

Homebrew formulae.brew.sh MCP.

HTML entities MCP.

ISBN validation & conversion MCP.

LaunchDarkly MCP Pack — wraps the LaunchDarkly REST API v2

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

Search the Plainsight playbook and review code against proven best practices.

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

PowerShell backtick-escape count, input discarded

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

Detect npm download-pumping before adding a dependency: real usage vs inflated counter.

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

Rails development skills, docs, and workflows exposed through MCP stdio.

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

Explain a regex in plain English and detect catastrophic backtracking risk.

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