"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

MCP server for AI agents to send notifications, copy to clipboard, request confirmations, and collect text input from users across their devices.

Enables agents to convert Markdown into WhatsApp-compatible formatting, including styled text, lists, and tables that fit a phone's monospace width.

MCP server for qualifying and responding to inbound leads in seconds using a multi-agent AI pipeline.

Enables Claude Code to interact with Slack via MCP tools, allowing thinking steps, text streaming, status updates, and stream closure in Slack threads.

Enables AI assistants to manage multiple Outlook/Microsoft 365 mailboxes simultaneously through MCP tools, with local OAuth token storage.

Minimal MCP server for sending messages to Poke via the inbound webhook.

Provides MCP-compatible AI clients with full access to a Flarum forum's API, enabling reading, searching, creating discussions, replying, moderation, and management of users, tags, and groups.

Enables automatic collection and AI analysis of Slack messages to create organized Notion pages, supporting custom analysis directions like meeting minutes, issue extraction, and topic classification.

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

Publish reliable, duplicate-free Telegram posts from ChatGPT — manually or as part of a scheduled workflow.

Shows your current Claude Desktop activity as Discord Rich Presence, including model, status, usage, and subscription info.

Enables AI assistants to book meetings, check availability, and manage Cal.com scheduling through natural conversation.

Enables AI assistants to interact with Slack workspaces by listing channels, posting messages and thread replies, adding emoji reactions, retrieving channel history and thread replies, and inspecting user profiles. Supports both stdio and Streamable HTTP transports for flexible integration.

A Model Context Protocol server implementation that enables AI assistants to interact with Slack workspaces, allowing them to browse channels, send messages, reply to threads, add reactions, and retrieve user information.

Enables LLMs to interact with Dify AI's chat completion API, including conversation context support and a restaurant recommendation tool.

Enables interaction with Zendesk Support for managing tickets, comments, and filtering via the Model Context Protocol. It allows LLMs to perform actions like creating, updating, and listing support tickets through natural language in a Heroku-native environment.

Enables Claude to interact with WhatsApp on macOS through the Model Context Protocol. It allows reading messages, searching contacts, listing chats, and sending replies via natural conversation.

Official MCP server for Shipmail, enabling agents to manage domains, mailboxes, messages, threads, webhooks, and suppressions via natural language.

Enables AI-powered manufacturing operations analysis and automated report generation from SAP DMC, with direct delivery to MS Teams.

Universal email integration for AI assistants, supporting any IMAP provider with 18 tools for reading, sending, managing, and automating emails.