Developer Tools & Repos MCP Servers for Grok Build

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

reverse COMB UUID layout, value discarded

Multi-model code review: a panel of models + detectors return a pass/fail verdict. Paid via x402.

RFC 3986 unreserved charset, input discarded

RIPEMD hex length, input discarded

Change-impact intelligence for tracing dependencies, stale references and required updates.

Windows x64dbg/x32dbg debugging with guarded sessions, breakpoints, memory and runtime evidence.

View ROS 2 nodes and topics, and call services and actions via MCP

Fast RuboCop-compatible Ruby linter with MCP inspect and autocorrect tools.