Generate quick instructions for using the Formath MCP server in Cursor, enabling efficient extraction and conversion of mathematical content from TeX papers to Lean code.
Search and retrieve specific Gmail messages using queries. Retrieve Message IDs, Thread IDs, and direct Gmail web links for verification. Supports standard Gmail search operators.
Search Gmail messages to find specific emails using queries, returning message metadata for efficient email management within the AIOS Co-Founder MCP assistant.
Search Gmail messages to find specific emails using queries, returning message metadata for efficient email management within the AIOS Co-Founder MCP assistant.
An MCP server that enables interaction with Nexmo's Messages API, allowing agents to send and manage messages across various channels via natural language commands.
Enables interaction with Azure DevOps through natural language in Cursor IDE. Supports work item management, pull requests, builds, releases, test management, and guided workflows for development teams, QA testers, and release management.
Enables interaction with Gmail through the Gmail API to read unread messages, retrieve email threads, and create draft replies programmatically. Supports OAuth authentication and automated email processing through natural language.