"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

Real-time email verification API with syntax, MX, disposable detection, role-based flags, quality score 0-100. Built for agent outreach pipelines with pay-per-call via x402 (USDC on Base L2) -- no API key, no signup, no rate-limit wall.

Provides MCP tools for searching, reading, and drafting Gmail emails, as well as querying SAP OData endpoints with safe read operations and mock mode.

Provides email verification as a tool, performing syntax validation, domain verification, and disposable-domain risk detection.

An MCP server that provides email verification, returning valid, invalid, or risky status with detailed checks and metadata. It enables verifying email addresses via a simple tool interface.

An MCP server that exposes Google Docs and Gmail capabilities to LLMs via SSE transport.

Provides an MCP tool to verify email addresses, returning valid, invalid, risky, or error statuses via the InboxValid API. It includes a mock API and retry logic for robust, type-safe verification.

An MCP-compliant server that exposes Gmail and Google Docs as tools, enabling AI agents to draft, send, and manage emails, as well as create, read, and append to documents through natural language.

Enables ChatGPT and Codex to interact with Zoho Mail through Zoho's official MCP service, with safe workflows and capability boundaries.

A collection of small MCP servers for macOS automation that expose Apple Mail, MoneyMoney, and Spotlight functionality as tools via AppleScript and command-line, enabling AI applications to search mail, manage contacts and transactions, and perform system-wide file searches through natural language.

Enables AI-driven customer support ticket processing, including classification, response generation, and automated email sending and Google Sheets logging.

MCP server that exposes Gmail and SAP tools, enabling natural-language email management and SAP data browsing through a Mistral-powered AI assistant.

MCP server that encapsulates Apple Mail on macOS via AppleScript, enabling invoice PDF search, attachment saving, and message flagging through natural language.

Exposes a personal AI concierge's calendar and send_email tools over MCP, letting AI clients book Calendly meetings and send messages to the owner's inbox.

A collection of MCP servers for Apple macOS apps (Mail, Contacts, Notes, Memory, Messages, Calendar, Reminders) enabling AI assistants to read, search, create, and update data via JXA, SQLite, and EventKit.

A collection of three zero-dependency MCP servers for web scraping via Chrome DevTools Protocol, crypto wallet and price monitoring, and email validation with SMTP sending.

Enables AI agents to access 13 paid micro-tools over x402, paying per request in USDC on Base without API keys or signup. It covers email deliverability, grading, and templates, plus utilities like crypto prices, domain age, hashing, JSON conversion, JWT decoding, regex, slugs, UUIDs, and weather.

Enables AI assistants to interact with the Instantly.ai v2 API to manage campaigns, leads, accounts, replies, blocklist, and webhooks, with tools organized into read, write, and dangerous safety tiers.

MCP server for Claude Code CLI that integrates with Google Workspace, enabling management of Docs, Sheets, Drive, Gmail, Calendar, and Apps Script.

Connects Claude Desktop to a local email client, enabling AI-powered email reading, searching, drafting, and organization while preventing sending or permanent deletion.

Query your domains, sender compliance status, and Gmail traffic metrics from Claude, Cursor, or any MCP client using the Gmail Postmaster Tools API.