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

Math Solver AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

Enables creating 3Blue1Brown style math animations from text descriptions, PDFs, or images. Supports rendering educational videos for math and physics topics.

MCP server that gives small LLMs verified symbolic-math & logic tools.

MCP server exposing pure mathematical operations (sum, subtraction, multiplication, division) as tools, with a clean layered architecture and optional OpenAI Agents SDK integration.

Enables AI agents to subscribe to a deterministic daily ethics feed drawn from a four-module curriculum and retrieve read-only tools, resources, and reflection prompts covering principles, case studies, and codes of conduct.

A server for querying, practicing, and analyzing exam questions from Taiwan's national examinations, offering 20 tools including search, statute lookup, weak topic review, and readiness assessment.

Provides AI agents with deterministic symbolic math capabilities through 21 tools for algebra, calculus, transforms, and DSP, preventing hallucinations by delegating computations to a SymPy engine.

Converts LaTeX math expressions to SVG. Enables AI assistants to render mathematical formulas as scalable vector graphics.

A set of tools enabling AI agents to interact with Canvas LMS, allowing users to find relevant resources, get course information, and navigate modules through natural language queries.

An MCP server that provides interactive 2D/3D math plotting, embedded CircuitJS circuit demonstrations, and locally rendered Manim slide videos for ChatGPT/Codex.

Educational MCP server with 17 tools for mathematical calculations, matrix operations, statistical analysis, and data visualization. Includes persistent workspace, cloud hosting, and safety features like restricted eval.

Provides an MCP server exposing compute, verify, and plot tools backed by Giac/Xcas for exact symbolic and numerical mathematics, enabling LLMs to solve calculus, algebra, geometry, and more with verified results.

Enables Claude and ChatGPT to share a single study-progress database for interview prep, coursework, and spaced repetition, with per-user data isolation and server-side SM-2 scheduling for due reviews and study plans.

Enables bidirectional lookup of Mi'kmaq and English words with definitions and examples, and provides tools for learning and dictionary statistics, integrating seamlessly with AI-powered IDEs.

Provides Latin NLP tools for tokenization, lemmatization, POS tagging, reported speech detection, and LiLa Knowledge Base querying via MCP.

Enables local-first personal growth execution where an AI agent maintains the plan and daily tasks, while the user retains control of goals and final decisions.

Provides AI-powered educational tools for teachers including lesson planning, quiz creation, student progress analysis, learning path recommendations, and rubric generation. Enables educators to automate administrative tasks and personalize learning experiences through natural language interactions.

Enables MCP clients to search and read the free AI School curriculum, including 550+ tracks on AI engineering, governance, security, and applied AI by profession.

An MCP server providing tools for web research, code review, and concept explanation, callable by any MCP-compatible client.

An AI-powered study assistant that generates quizzes, flashcards, summaries, and concept explanations from study materials using the Model Context Protocol.