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

• MCP LaTeX Server

  RobertoDure

  F

  license

  A

  quality

  D

  maintenance

  Enables AI assistants to create, edit, and validate LaTeX documents through a standardized protocol with support for multiple document classes and package management. It provides tools for document structure analysis and file organization to streamline the generation of professional academic papers.

  Updated 4 months ago (2026-04-07 20:47 UTC)

  8

  17

• LaTeX Resume MCP

  dannywillowliu-uchi

  A

  license

  A

  quality

  C

  maintenance

  Enables creating, editing, and compiling LaTeX resumes directly from Claude using built-in templates, with support for managing multiple resume files and automatic PDF generation.

  Updated 6 months ago (2026-02-03 20:20 UTC)

  11

  MIT

• mcp-task-tools

  rog0x

  A

  license

  A

  quality

  D

  maintenance

  Provides task and project management tools for AI agents, including todo list management, prioritization frameworks like Eisenhower Matrix and RICE scoring, time estimation using PERT, daily standup generation, and sprint burndown calculation.

  Updated 5 months ago (2026-03-21 20:21 UTC)

  5

  46

  MIT

• MCP for Microsoft To Do

  MAG-Cie

  A

  license

  B

  quality

  D

  maintenance

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

  Updated 3 months ago (2026-05-11 20:26 UTC)

  28

  168

  8

  MIT

• mcp-markdown-to-docx

  Baptiste4321

  A

  license

  -

  quality

  C

  maintenance

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

  Updated 2 months ago (2026-06-15 06:55 UTC)

  MIT

• io.github.wmarceau/md-to-pdf

  MarceauSolutions

  A

  license

  -

  quality

  D

  maintenance

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

  Updated 7 months ago (2026-01-14 15:01 UTC)

  8

  MIT

• Node.js To-Do MCP Server

  Alessandro-Massarotti-Jr

  F

  license

  -

  quality

  C

  maintenance

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

  Updated a month ago (2026-07-14 00:14 UTC)

• focus-timer-tools

  jpvarbed

  F

  license

  -

  quality

  B

  maintenance

  MCP server that provides tools to control a server-owned Pomodoro timer, allowing focus, pause, resume, skip, reset, and stats operations.

  Updated a month ago (2026-07-18 03:01 UTC)

  1

• slack-to-laptop

  ArnaudRinquin

  F

  license

  -

  quality

  B

  maintenance

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

  Updated a month ago (2026-07-22 21:11 UTC)

• Microsoft To Do MCP Server

  hoaaah

  A

  license

  A

  quality

  C

  maintenance

  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.

  Updated 8 days ago (2026-08-09 15:29 UTC)

  10

  47

  MIT

• xlsx-tools-mcp

  ruriazz

  A

  license

  A

  quality

  A

  maintenance

  MCP server for accurately reading and writing Excel .xlsx files while preserving structure, styles, and formulas. Provides tools for inspecting, editing, and aggregating spreadsheet data, with optional LibreOffice recalculation.

  Updated 12 hours ago (2026-08-16 21:35 UTC)

  20

  MIT

• LibreOffice MCP Tools

  passerbyflutter

  A

  license

  A

  quality

  D

  maintenance

  Enables AI agents to read, write, and edit Office documents via LibreOffice with token-efficient design. Supports multiple formats including DOCX, XLSX, PPTX, and legacy formats through LibreOffice bridge.

  Updated 4 months ago (2026-04-21 02:42 UTC)

  27

  33

  MIT

• Resume Tailor MCP Server

  nishtobehonest

  F

  license

  A

  quality

  D

  maintenance

  An MCP server that tailors LaTeX resumes to job descriptions using Claude, returning a structured diff with keywords, gap summary, bullet changes, and a guardrails report.

  Updated 6 months ago (2026-02-23 08:44 UTC)

  2

• Planka MCP Server for Claude

  NextHeberg

  A

  license

  -

  quality

  D

  maintenance

  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.

  Updated 3 months ago (2026-05-23 13:11 UTC)

  1

  GPL 3.0

• Apple Reminders for Claude

  high5-ventures

  A

  license

  -

  quality

  D

  maintenance

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

  Updated 4 months ago (2026-04-27 00:00 UTC)

  4

  MIT

• n8n Manager for AI Agents

  czlonkowski

  A

  license

  -

  quality

  F

  maintenance

  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.

  Updated a year ago (2025-06-26 08:54 UTC)

  62

  MIT

• Microsoft To Do MCP

  jordanburke

  A

  license

  A

  quality

  B

  maintenance

  TO DO microsoft

  Updated 2 months ago (2026-06-15 13:54 UTC)

  16

  47

  95

  MIT

• OneNote MCP for Windows

  eddyficial

  A

  license

  -

  quality

  A

  maintenance

  Connects to Microsoft OneNote desktop via COM API, exposing 27 tools for hierarchy, page CRUD, search, rich content, export, health checks, and more. Enables natural-language control of OneNote without API keys or embedded AI providers.

  Updated 5 days ago (2026-08-12 04:35 UTC)

  MIT

• MCP Server for Mem.ai

  maplehilllabs

  A

  license

  -

  quality

  D

  maintenance

  Enables AI assistants to intelligently save, organize, and retrieve content through Mem.ai's knowledge management platform. Supports creating notes, collections, and AI-powered content processing with automatic organization.

  Updated 6 months ago (2026-02-25 21:45 UTC)

  4

  MIT

• Microsoft To Do MCP

  dshatokhin

  A

  license

  -

  quality

  D

  maintenance

  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.

  Updated 2 months ago (2026-06-08 17:12 UTC)

  47

  MIT