Math-To-Manim

Open source

Create Epic Math and Physics Animations & Study Notes From Text and Images.

2.4K stars0 likes2 views

About

Create Epic Math and Physics Animations & Study Notes From Text and Images.

See It Move

No manual can teach what thirty seconds of motion can. This page is a film strip before it is documentation. Every frame below was asked into existence by this repository, then rendered, inspected, and repaired until it stood on its own.

Fourier epicycles. Each arm spins at one frequency. Stack them tip to tail and the pen draws the signal: rotation rebuilt as arithmetic.

Hopf fibration. Every point on a sphere owns a circle in space, and no two circles touch. Geometry dreaming in one dimension too many.

Lorenz attractor. Two starts almost identical, two endings utterly different. Chaos rendered honestly: the wings never retrace themselves.

Minkowski spacetime. Light cones tilt under a Lorentz boost while simultaneity quietly bends. Relativity you can lean into.

Why area = πr². Slice the disc, unroll the rings, stack them into a triangle whose base is the circumference. Proof by camera move.

Cosmic gravity. Matter tells the grid how to bend; the bend tells matter how to fall. A mass email between planets, answered instantly.

The grammar reel. How Mythos thinks about a scene: named objects, staged timing, camera intent written down before pixels exist.

The reverse reasoning tree. Start at the question. Walk backward until every branch touches something the learner already owns. Then walk forward and teach.

Exceptional points. Circle the singularity once and the eigenvalue branches swap seats. Monodromy made visible, not merely defined.

GRPO's semantic manifold. Reinforcement learning seen from above: meaning settling into shape as rewards accumulate.

Explore every visual explainer in the motion showcase

Featured Visual Explainers

ERDŐS 1038: THE POTENTIAL LANDSCAPE

A polynomial is usually introduced as a line of symbols, but it can also be seen as a landscape made by its roots. Imagine every root pressing into a flexible sheet stretched above the number line. Taken together, the roots raise and lower that sheet. The transparent plane in the explainer marks zero. Wherever the landscape falls beneath it, the polynomial has size less than one. The footprint under the plane is therefore the exact set whose width the problem asks us to measure.

That turns the question into something physical. How should the roots be arranged to make the submerged footprint as narrow as possible, or as wide as possible? For the narrow side, clusters of roots can be gathered toward their centres without making the footprint larger. Repeating that idea leads toward an increasingly fine, one sided distribution of roots. No finite polynomial quite reaches the limiting shape, but a sequence of them gets arbitrarily close. Its width is 1.834430475762661…. This is the certified floor shown by the curved valley.

The widest case is beautifully simpler. Put the roots at the two endpoints, −1 and +1, in equal numbers. This produces the family

$$f(x) = (x^2 - 1)^m$$

and the region where $|f(x)| < 1$ runs from $-\sqrt{2}$ to $+\sqrt{2}$. Its width is exactly $2\sqrt{2}$. The explainer ends by contrasting two different kinds of extreme: a lower value that can be approached forever but never attained by a finite polynomial, and an upper value reached exactly by piling the roots at the endpoints.

Watch the complete 79 second visual explainer · Read the complete Sol production prompt

OLIN: THE SPACE INSIDE A TWEET

A tiny program draws ten thousand points by passing each one through five linked quantities: (k), (e), (d), (c), and (q). The final screen coordinates are only a flat pair,

$$(u,v) = (,q + 40\cos c,;; q\sin c + 35d,)$$

A picture with two coordinates does not determine one unique object in three dimensions, so the film explores two different ways to reveal the space suggested by the code.

The first construction is the exact lift

$$E(i,t) = (,u,; 40\sin c,; v,)$$

It adds a hidden depth coordinate while leaving (u) and (v) untouched. Look straight down that hidden direction and every point lands exactly on the original drawing. This makes (E) a faithful spatial source for the flat shadow.

The film then explores

$$C(i,t) = \big(,(40+q)\cos c,;;(40+q)\sin c,;;35d,\big)$$

Here (c) turns each point around a vertical axis, (q) changes its radius, and (35d) sets its height. This is an alternate cylindrical interpretation, not another exact lift. Its projection does not reproduce the original drawing. The distinction matters: (E) preserves what the code drew, while (C) asks what other spatial form the same ingredients can suggest.

Watch the complete Olin visual explainer · Read the corrected Mythos production prompt · Inspect the Manim scene

The Jacobian conjecture. A small cube becomes a parallelepiped, making the determinant visible as local volume change. Then the camera pulls back: reversible nearby is not the same as reversible everywhere.

A theorem in one breath. Three squares, one rearrangement, no algebra assumed. This is the entire argument for why the pictures come before the symbols.

How An Explainer Is Born

The reasoning process is the product. Math To Manim does not jump from a sentence to Python. It walks a chain, and every link leaves an artifact you can open and read.

…

One prompt recipe covers most asks

Explain [topic] to [learner]. Assume they already know [starting point]. Use [visual metaphor or physical model]. Work through [specific example]. End with [summary or check question].

Name the learner's age, prior knowledge, pace, preferred visual model, worked example, notation level, and final comprehension check. You can ask for Fourier series as rotating vectors that rebuild a signal one frequency at a time, or for momentum arrows before and after two carts collide, or for why one loop around an exceptional point swaps the eigenvalue branches. A homework question is enough.

The same chain from the command line

bash

math-to-manim run "Explain Fourier series as rotating vectors that rebuild a signal. Begin with a circle and add one frequency at a time." --render -q l

That single command runs the whole chain above: prerequisite map, teaching sequence, math checks, camera charter, scene composition, validation report, and the render inside runs/mythos/<timestamp>-fourier-series/. Open manifest.json to see every artifact the chain produced.

Make Your First Explainer

The easiest path is a conversation with an assistant that can use MCP. The pipeline expands it into a teaching plan before any code exists.

bash

pip install -e ".[mcp]"
math-to-manim serve-mcp

The server speaks the current MCP protocol over stdio via the official MCP Python SDK 2.x API. For a local network endpoint instead:

bash

math-to-manim serve-mcp --transport streamable-http --port 8643

The Streamable HTTP endpoint is http://127.0.0.1:8643/mcp.

Add the server to your MCP client:

json

{
  "mcpServers": {
    "math-to-manim": {
      "command": "math-to-manim",
      "args": ["serve-mcp"]
    }
  }
}

Once the server is connected, type this in your assistant:

Use Math To Manim to create a visual explainer for my eighth grade student. Explain why solving an equation means doing the same thing to both sides. Use a balance scale, solve 3x + 5 = 20, and end with one practice question.

You do not need to memorize tool names. The assistant starts the explainer, reports progress, and can inspect every reasoning artifact. The final scene and render stay in your local run directory.

Behind the MCP tool names sits the Mythos service — serve-mcp keeps the same tool names stable while its internals currently dispatch through GrokService. For most learners this detail changes nothing: you ask, it explains.

A login-free rehearsal of the same path:

bash

python -m venv .venv
pip install -e ".[dev]"
math-to-manim run "the heat equation" --offline

That writes runs/mythos/<timestamp>-the-heat-equation/mythos_scene.py, validation.json, and manifest.json. Add --render -q l after pip install -e ".[render]" if you want the MP4 inside that same run directory. The live layout is runs/mythos/ or runs/sol/ or runs/grok/, not output/<run>/scene.py.

Choose A Native Pipeline

Math To Manim contains four complete and independent ways to create a visual explainer. Choose the command line account you already use. Neither pipeline routes through the other.

Mythos

Mythos uses the Claude CLI and a six agent charter chain. It reasons through learner intent, prerequisite mapping, curriculum, mathematics, camera direction, and scene composition.

bash

math-to-manim doctor --ping
math-to-manim run "Explain fractions with a folding paper model for a sixth grade learner." --render -q m

Sol

Sol uses the logged in Codex CLI and durable specialist stages. Each role saves its artifact and session so the run can be inspected, resumed, and repaired by the responsible specialist.

bash

math-to-manim-sol doctor
math-to-manim-sol run "Explain fractions with a folding paper model for a sixth grade learner."

Grok

Grok uses xAI's Grok 4.6. Offline mode works login-free:

bash

math-to-manim-grok doctor
math-to-manim-grok run "the heat equation" --offline

Hermes Agent is not a supported generate path. The supported operator surfaces are Mythos, Sol, Grok, GLM, and the MCP/REST front doors.

glm

GLM uses Z.ai's Coding Plan with glm-5.3-flash; thinking is always enabled and effort tunes sampling latitude (low/high/max). Offline mode works login-free:

bash

math-to-manim-glm doctor
math-to-manim-glm run "the magnetic monopole" --offline

Details in docs/GLM_5_3_SILO.md.

Installation

bash

git clone https://github.com/HarleyCoops/Math-To-Manim.git
cd Math-To-Manim
python -m venv .venv
pip install -e ".[dev,render,mcp,api]"
python -m pytest -q

Use math-to-manim doctor --ping (Mythos), math-to-manim-sol doctor (Sol), or math-to-manim-grok doctor (Grok). Run the appropriate check before a live request so login and rendering problems appear i