MCP servers for Microsoft Copilot

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...

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

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.

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.

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.

Draft, schedule and publish on-brand social posts and images for a small business from any AI agent.

Build and update Arabic & English QR menus for cafés and restaurants: items, prices, allergens.

QRNG-seeded random bytes, seeds, and ML-KEM-768 keys with signed provenance receipts.

Productivity toolbox for Personal Agents: create PPTs, covers, websites, music and process files.