"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
Matching Connector Tools:
Generate PDF/DOCX/XLSX/PPTX from templates+JSON. Convert Office/HTML/MD to PDF. Universal templating
Drive real Android & iOS devices and web browsers from natural language for mobile + web QA. 145+ tools across device control, app management, automation sessions, browser automation, and flow recording / replay. Bearer-auth — get a token at robotactions.com → Profile → API Tokens.
Agentic scheduling & booking for field service: availability, jobs, customers, crews, fleet.
Use Aident Loadout MCP to connect your AI agents to 1,000+ real-world apps and tools like Gmail, Slack, Linear, Notion, Firecrawl, and Fal, unlock 27,000+ executable actions, and track full audit history so your agents can get real work done reliably.
Manage tasks, sprints and daily planning in chat. ProWoDo's connector lets Claude, ChatGPT and other AI agents create and update tasks, plan sprints, write daily standups and assign work via natural language. 50+ tools, OAuth 2.0 secured.
Physical mail API for AI agents. Send letters, certified mail. Sandbox + live keys via MCP.
Microapp offers premium utility tools for humans and AI agents, accessible at microapp.io and through this MCP endpoint.
Secureship MCP gives AI assistants access to a multi-carrier shipping API covering rate comparison, label generation, package tracking, pickup scheduling, address book management, shipment history, customs documents, and more — across carriers like UPS, FedEx, Purolator, Canpar, and others. Browse 150+ live endpoint schemas, parameters, and auth details — always current, never stale.
Multi-carrier shipping functionality with built-in, discounted carrier accounts. Compare rates, generate PDF shipping labels, schedule pickups and track packages in automated way or in your chatbox, no coding required. This is a demo server that is functional with no account needed and no auth. For production use please find our production version.
Mila is an AI-native collaborative platform for documents, spreadsheets, and slide presentations. The Mila MCP server lets AI assistants create, read, update, and manage office documents programmatically. 23 MCP tools covering documents, sheets, slides, and servers. Get your API key at https://mila.gg/api-keys.
The official MCP server for JobGPT — auto-apply to jobs, generate custom resumes, and track job applications
Read-only fantasy analysis for ESPN, Yahoo, and Sleeper leagues via MCP
Greetwell curates authentic local experiences and provides personal concierge support in over 500 destinations, helping you explore confidently wherever you go. The Greetwell MCP server lets you search for activities by location, date, and interest, then drill into details like duration, meeting point, cancellation policy, and real-time availability. It can also recommend complementary experiences to help you build an itinerary of things to do.
Build, publish and run real websites through AI conversation — not just static pages. 43 tools covering pages, assets, structured data, forms, visitor auth, payments and scheduled jobs, plus 109 built-in integrations. New: import an existing website by URL. Pages get clean URLs, assets are copied path-preserving, references are rewritten — then keep building on it through your assistant. Works with any MCP client: Claude, ChatGPT, Mistral, Copilot, Cursor.
Your saved nanoodle workflow graphs as MCP tools — BYOK or pay per call in Nano (x402)
Let agents send content-free push notifications to a paired phone via MCP.
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.
Apideck Unified API MCP — 330 tools across 200+ SaaS connectors (accounting, CRM, HRIS, ATS).
Automate Google Ad Manager: campaigns, line items, creatives, inventory, reporting — 51 tools.