MCP servers for Grok Build

Checks an ESP32 project (board, pins, power, JLCPCB parts, costs) and gets the build finished.

ProveCart helps agents make fewer mistakes before payment. Free practice exam & certification.

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

Check proxy balances, generate geo-targeted proxy lists, diagnose 407s, and manage sub-users.

PRSI Calculator: the site's own MCP server — calculator, enquiry (enquiry = a human handoff, not...

Every PRTG API v2 endpoint, plus a fleet view across every client's PRTG core: alarms, status

Buying advice for the French market: which appliance or electronics to buy, with live prices.

Offline check of your AI agent: heartbeat cost, plaintext keys, planted or bloated memory.

PTOroom: the site's own MCP server — dataset; every answer cites the site.

Build offline public-holiday calendars for five countries and bounded years

Plan, prepare and track connected-TV, street-screen and mobile ad campaigns on Publicit's EU bidder.

Check a draft's numbers against your facts.md and its links before you publish.

Schedule social posts, read analytics and make AI images and video for 10+ networks.

Let your AI agent publish to your own YouTube, Instagram, X, LinkedIn and more, with a preview.

puhy.cz (CZ) catalog: electronic components, tools, instruments – price, stock, delivery, cart link

Let your AI read live public pages it is locked out of (TikTok, Instagram, Amazon) and watch them.

Discover and run Pulldata scrapers, track jobs, and retrieve results from your AI client.

Plan a software project, check website speed, find Pulore case studies, get a booking link.

List devices, alerts, antivirus status and audit logs, and run scripts on devices in Pulseway.

Make AI Tracks, loops and sound effects, split stems, build drum kits and master songs.

Complete backend for AI-built apps: data, auth, workflows, SLAs, HITL & RAG in 176 MCP tools.