"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

MCP server for step-by-step mathematical reasoning and planning, enabling AI agents to execute calculations and perform GUI actions like opening PowerPoint.

Enables comprehensive Google Meet and Calendar management through Google Calendar API v3 and Google Meet API v2, supporting calendar event creation with Meet links, space management, transcription, recording, attendance tracking, and meeting moderation controls.

A multi-tool AI assistant system that uses Model Context Protocol to connect language models with various tools, including math calculations and weather information.

Provides AI assistants with a standardized interface to interact with the Todo for AI task management system. It enables users to retrieve project tasks, create new entries, and submit completion feedback through natural language.

A simple Model Context Protocol (MCP) server that provides date and time functionality in any timezone, along with user profiles and personalized greeting resources.

Enables synchronization and management of FoundryVTT journal entries within a Notion Story Bible, including media export and conflict resolution tools. It provides a Model Context Protocol interface for LLMs to preview, apply, and monitor data mirroring between tabletop RPG platforms and digital databases.

A Python-based Model Context Protocol server that allows AI assistants like Claude to access and query your movie and TV show collection via Radarr and Sonarr APIs.

Implements a math agent using Model Control Protocol that performs mathematical calculations and visually presents results in Keynote, enabling drawing shapes and adding text to slides.

Enables an AI agent to operate a spare Android phone through MCP: capture screenshots, inspect UI controls, tap/swipe, input Chinese text, launch apps, and optionally run rooted shell commands or transfer files. It also supports a live web console for remote viewing and control.

Enables programmatic document proofing for print, with real ink coverage measurement and waste page detection, letting agents decide what to print before any sheet is produced.

Enables AI agents to perform arithmetic operations such as addition, subtraction, multiplication, and division through standardized MCP tools.

Automates internal system form submissions by reading data from Excel/CSV or Google Sheets and using Playwright to navigate menus and fill form fields, with support for both visible and headless modes.

lets you interact with your meeting data (to list, ask, summarize, extract - virtually anything about your meeting) through Claude’s desktop client across Zoom, Google Meet and MS Teams via tl;dv.

Enables AI assistants to interact directly with Roblox Studio to explore project hierarchies, edit scripts, and perform bulk object manipulations through over 37 specialized tools. This enhanced fork features long polling for near-instant responses and improved support for script editing and attribute management.

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.

A production-ready foundation template for building Model Context Protocol (MCP) servers with FastAPI, featuring modular tools, comprehensive testing, and OpenShift deployment configurations. Includes automated transformation scripts to create custom domain-specific MCP servers.

An automated MCP server for Google Stitch that enables AI-driven UI design generation, accessibility audits, and design system management. It streamlines workflows for creating responsive screens, extracting design tokens, and maintaining visual consistency across professional web projects.

Enables simulation and analysis of M/M/1 and M/M/c queuing systems using SimPy, with tools for parameter validation, theoretical metric calculation, simulation execution, and comparison of separate vs pooled queue strategies.

Lets assistants connect a GitHub Projects backlog to Google Calendar and Tasks, so you can view entries, plan work into free time, and create events and to-dos.

Provides Dify apps with a secure, app-scoped MCP tool catalog and action gateway for authorized FlowFlox operations, enabling intent-driven planning and fixed operational processes without exposing global credentials.