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

Connect AI agents to your Todoist tasks via the Model Context Protocol (MCP).

Enables AI clients to directly read and write Excel files, including reading structure, writing formulas and data, and diagnosing errors.

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 clients like Claude to read and manage Microsoft To Do task lists and tasks via the Microsoft Graph API, running locally over stdio with secure token storage.

MCP server for Microsoft To Do via Microsoft Graph. MSAL device code flow, no client secret needed.

Enables AI-powered project management by connecting Claude to Planka kanban boards via 75+ MCP tools for creating, updating, and managing projects, boards, lists, and cards.

Enables AI agents to convert Markdown into styled Word (.docx) documents, with control over fonts, colors, and layout via parameters.

Converts markdown files into professional PDF documents with automatic table of contents and interactive navigation.

Enables to manage to-do items through natural language, with tools for creating, reading, updating, and deleting tasks.

Enables AI agents to search, create, and manage Notion pages and databases through the Model Context Protocol. It features file-based operations and response extraction to optimize token usage and context efficiency.

A comprehensive collection of 103 tools providing capabilities for text processing, data analysis, web development, and business management in a single server. It is designed for rapid deployment to Vercel and integrates seamlessly with MCP clients like Claude and Cursor to automate diverse workflows.

Enables Claude to manage Apple Reminders on macOS, providing full CRUD operations such as listing, searching, creating, updating, and deleting reminders.

Enables AI agents to manage n8n workflow automation instances through tools for workflow CRUD operations, execution monitoring, and webhook triggering. It facilitates programmatic interaction with n8n instances via the n8n API with AI-optimized descriptions and error handling.

Enables AI agents to send emails, create drafts in Gmail, and append content to Google Docs via standardized MCP tools.

A Model Context Protocol (MCP) server that enables AI assistants like Claude and Cursor to interact with Microsoft To Do via the Microsoft Graph API.

A robust MCP server that transforms OneNote notebooks into an AI-accessible knowledge base for Gemini Spark, enabling natural language queries to list, read, and search notes via Microsoft Graph API.

Enables Claude Web to interact with Google Docs through a remote HTTP-based MCP server. Provides scalable document operations including creation, editing, and management with service account authentication.

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.

Generate professional AI-powered presentations from a topic, raw text, or document file. Export to PPTX, PDF, image, or shareable link.

An MCP server that lets AI models interact with Oracle Fusion Cloud HCM across its entire REST surface. It uses generic, schema-aware tools to dynamically discover licensed modules and resources without per-endpoint code.