"Manim - Python Library for Animations and Math Visualization" matching MCP servers:

MCP server for creating math animations with manim, enabling AI-driven real-time interactive creation and browser preview.

An MCP server that enables creating and rendering Manim animations by building scenes with code sections and generating MP4 videos.

Enables Claude to create mathematical animation videos using Manim, allowing visualization of complex mathematical concepts like equations, graphs, geometric transformations, and calculus through programmatically generated animations.

Enables compilation and serving of Manim animations through natural language. Supports compiling Manim Python code into videos and downloading the generated animations with secure authentication.

Enables generating and editing mathematical animations via natural language, with support for multi-agent pipeline, RAG-based code generation, and parallel audio narration.

Enables creating Manim animations via natural language commands using DeepSeek API, with a RAG system for Manim documentation retrieval.

A server-based tool that enables the generation of mathematical animations from natural language prompts by leveraging Manim.

Manages a local SQLite music track library with fingerprint-based incremental scanning, multi-condition search, missing analysis completion, and crate management, enabling DJs to organize and retrieve tracks without moving files.

Enables Large Language Models to access and manipulate Autodesk Revit models through a pyRevit-based bridge and the Model Context Protocol.

Enables LLM agents to generate labeled contact sheets of Manim animations, scaffold storyboards from renders, and validate rendered steps against expected intents via MCP tools.

Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.

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.

Provides a safe scientific runtime for agents with typed math operations including calculus, algebra, statistics, unit conversion, and more via MCP tools.

Enables AI agents to generate, execute, and compile interactive Manim slide presentations through MCP tools.

Provides LLMs with deterministic math tools for sandboxed expression evaluation, descriptive statistics, primality testing, prime factorization, GCD/LCM, quadratic solving, and base conversion. Every operation runs real code rather than relying on the model's arithmetic, with expression parsing restricted to a whitelist of operators, constants, and functions.

A Python-based MCP server providing mathematical computation tools and plotting utilities for a wide range of math topics including calculus, matrix operations, statistics, and more.

Enables creating interactive data visualizations from natural language queries using DuckDB for local databases or Databricks for enterprise data warehouses. Supports multiple chart types, CSV imports, SQL queries, and automatic statistical analysis through Claude Desktop.

Generate animation like 3blue1brown using a single prompt.

MCP server for searching and retrieving trading knowledge from a centralized SQLite library of book summaries, strategies, and document chunks.

Enables rigorous, auditable mathematical proving with machine-checked steps, honestly distinguishing proven, refuted, and inconclusive results while disclosing unverified gaps.