Developer Tools & Repos MCP Servers for Microsoft Copilot

programming identifier charset, value 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.

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.

Valida regex, cron y SQL contra ejecucion real. Pago por llamada via x402/USDC.

Summarize repository changes for a release.

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

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

Analyze repos of any size - security scanning code analysis monorepo support

RFC 3986 unreserved charset, input discarded

RIPEMD hex length, input discarded

ROT13 encode, input discarded

sdbm hex, input discarded

semicolon-separated token count, value discarded

Sentence-case first-cap shape, value discarded

SHA-256 hex length, input discarded

SHA-3 hex length, input discarded

SHA-384 hex length, input discarded

sha256 digest shape, value discarded