"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

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 AI agents to send notifications, copy to clipboard, request confirmations, and collect text input from users across their devices.

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

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.

23 tools for AI agents working with Nostr Open source. No API key. No account. NIP-46 remote signing Publish notes, reply, react, repost Encrypted DMs (NIP-04 + NIP-44) Fetch events, profiles, social graph

lark-tools-mcp connects Lark and cursor. It provides cursor with the ability to read documents, send messages, process tasks, and perform data analysis.

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.

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

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

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.

A Model Context Protocol server that enables AI assistants to interact with Microsoft Outlook for calendar management, email operations, and search functionality.

A local MCP server for Cursor and Claude Desktop that reads Telegram subscriptions over MTProto and exposes channel posts for digests and natural-language queries.

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

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.

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.

MCP server for SentVia that provides email infrastructure for AI agents, enabling them to create inboxes, send, reply, forward, search messages, manage drafts, domains, webhooks, and allow/block rules through 21 tools.