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

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

MCP server giving Claude access to Tuta mail, calendar, contacts and drive. Supports mail modes (dedicated/shared/folder), trusted sender filtering with E2E verification, and Docker-based setup.

A stateless MCP server that forwards calendar operations to a CalDAV server, enabling AI assistants to list, search, create, update, delete events, and query free/busy information via encrypted tokens.

MCP server for the Shiftyasan public solver API, letting AI agents validate and solve shift-scheduling problems, with async job polling for large cases.

A local MCP server that lets Claude read macOS Mail.app via JXA, with tools for listing accounts/mailboxes, searching and reading messages. Read-only by default, with optional opt-in write tools for compose drafts and Apple Calendar events.

Official local MCP server for Garoon, enabling AI assistants to interact with the Garoon groupware platform through tools like schedule retrieval and user management.

Enables AI assistants to read, send, and manage emails, calendars, and contacts in a Fastmail account via the JMAP protocol.

Enables LLM agents to query current time, DST schedules, timezone conversions, working hour overlaps, and meeting time suggestions across locations via the production findtime.io Time API, including natural-language time questions and location resolution.

An MCP server that connects Claude Desktop and Claude Code to your Calendly account, enabling natural-language scheduling management.

unofficial MCP (Model Context Protocol) server for Reclaim.ai calendar integration - manage tasks, habits, and smart scheduling through AI assistants like Claude.

Provides 45 tools for managing Office 365 via Microsoft Graph API, enabling email, calendar, file, contact, Teams, and task operations through natural language in Claude Code CLI.

An open-source Model Context Protocol (MCP) server that connects Claude, ChatGPT, and other AI assistants directly to your Zooza account. Natural language scheduling, attendance tracking, and class management — no dashboard required.

Enables managing TrueConf Server conferences, recordings, invitations, participants, chats, and calendars from any MCP client. Supports OAuth authentication and exposes 32 tools for conference, recording, and invitation management.

MCP server that provides tools to read UBC Canvas LMS data, including courses, assignments, announcements, submissions, and calendar, for use with Claude Desktop, Claude Code, or n8n AI agents.

A Model Context Protocol server that enables AI assistants to interact with Gmail services, supporting email operations, draft management, and calendar functionality through Google API integration.

A Model Context Protocol (MCP) server for Google Calendar integration in Claude Desktop, enabling AI assistants to manage Google Calendar events through natural language interactions.

Empowers AI assistants with real-world capabilities including note management, Gmail integration, Google Calendar and Tasks management, and Git repository operations through the Model Context Protocol.

MCP server for managing Zoom meetings, enabling creation, update, deletion, and retrieval via Claude or Cursor.

Enables AI assistants to manage tasks, projects, workspaces, schedules, comments, custom fields, recurring tasks, and statuses in Motion through natural language conversations.

A Model Context Protocol server that enables natural language interaction with Google Calendar, allowing users to view, create, update, and delete calendar events through context-aware operations.