Manim 视频制作流水线
何时使用
当用户提出以下需求时使用:动画化解释、数学动画、概念可视化、算法讲解、技术解说、3Blue1Brown 风格视频,或任何涉及几何/数学内容的程序化动画。使用 Manim Community Edition 创建 3Blue1Brown 风格的解说视频、算法可视化、公式推导、架构图和数据故事。
创意标准
这是教育电影。每一帧都在传递知识。每一个动画都在揭示结构。
在编写一行代码之前,阐明叙事弧线。它纠正了什么误解?什么是“顿悟时刻”?什么视觉故事能带领观众从困惑走向理解?用户的提示只是起点——要用教学抱负去诠释它。
几何优先于代数。 先展示形状,再呈现方程。视觉记忆比符号记忆编码更快。当观众在公式之前看到几何模式时,方程就显得顺理成章。
一次渲染就达到卓越,不容商量。 输出必须在视觉上清晰且美学上协调,无需修改迭代。如果某些内容显得杂乱、时机不当,或像“AI 生成的幻灯片”,那就是不合格的。
不透明度分层引导注意力。 永远不要让所有元素都以全亮度显示。主要元素设为 1.0,上下文元素设为 0.4,结构性元素(坐标轴、网格)设为 0.15。大脑按层次处理视觉显著性。
留出呼吸空间。 每个动画之后都需要 self.wait()。观众需要时间来吸收刚刚出现的内容。切勿从一个动画匆忙进入下一个动画。关键揭示后暂停 2 秒永远不会浪费。
统一的视觉语言。 所有场景共享同一个色板、一致的字体大小、匹配的动画速度。一个技术上正确但每个场景使用随机不同颜色的视频,美学上是失败的。
前提条件
运行 scripts/setup.sh 以验证所有依赖。需要:Python 3.10+、Manim Community Edition v0.20+(pip install manim)、LaTeX(Linux 上为 texlive-full,macOS 上为 mactex)以及 ffmpeg。参考文档已针对 Manim CE v0.20.1 进行测试。
模式
| 模式 | 输入 | 输出 | 参考文档 |
|---|---|---|---|
| 概念解说 | 主题/概念 | 带几何直觉的动画解释 | references/scene-planning.md |
| 公式推导 | 数学表达式 | 逐步动画证明 | references/equations.md |
| 算法可视化 | 算法描述 | 带数据结构的逐步执行 | references/graphs-and-data.md |
| 数据故事 | 数据/指标 | 动画图表、比较、计数器 | references/graphs-and-data.md |
| 架构图 | 系统描述 | 组件逐步构建并连接 | references/mobjects.md |
| 论文解说 | 研究论文 | 关键发现和方法动画 | references/scene-planning.md |
| 3D 可视化 | 3D 概念 | 旋转曲面、参数曲线、空间几何 | references/camera-and-3d.md |
技术栈
每个项目一个 Python 脚本。无需浏览器、无需 Node.js、无需 GPU。
| 层 | 工具 | 用途 |
|---|---|---|
| 核心 | Manim Community Edition | 场景渲染、动画引擎 |
| 数学 | LaTeX(texlive/MiKTeX) | 通过 MathTex 渲染公式 |
| 视频 I/O | ffmpeg | 场景拼接、格式转换、音频混合 |
| TTS | ElevenLabs / Qwen3-TTS(可选) | 旁白配音 |
流水线
规划 --> 编码 --> 渲染 --> 拼接 --> 音频 (可选) --> 审查
- 规划 — 编写
plan.md,包含叙事弧线、场景列表、视觉元素、色板、旁白脚本 - 编码 — 编写
script.py,每个场景一个类,每个类可独立渲染 - 渲染 —
manim -ql script.py Scene1 Scene2 ...用于草稿,-qh用于生产 - 拼接 — 通过 ffmpeg concat 将场景片段合成为
final.mp4 - 音频(可选) — 通过 ffmpeg 添加旁白和/或背景音乐。见
references/rendering.md - 审查 — 渲染预览静帧,对照规划验证,进行调整
项目结构
project-name/
plan.md # 叙事弧线、场景分解
script.py # 所有场景放在一个文件中
concat.txt # ffmpeg 场景列表
final.mp4 # 拼接后的输出
media/ # 由 Manim 自动生成
videos/script/480p15/
创意指导
色板
| 色板 | 背景色 | 主色 | 辅色 | 强调色 | 用例 |
|---|---|---|---|---|---|
| 经典 3B1B | #1C1C1C | #58C4DD (蓝色) | #83C167 (绿色) | #FFFF00 (黄色) | 通用数学/计算机科学 |
| 温暖学术 | #2D2B55 | #FF6B6B | #FFD93D | #6BCB77 | 亲和易懂 |
| 霓虹科技 | #0A0A0A | #00F5FF | #FF00FF | #39FF14 | 系统、架构 |
| 单色 | #1A1A2E | #EAEAEA | #888888 | #FFFFFF | 极简主义 |
动画速度
| 上下文 | run_time | 之后 self.wait() |
|---|---|---|
| 标题/介绍出现 | 1.5s | 1.0s |
| 关键公式揭示 | 2.0s | 2.0s |
| 变换/变形 | 1.5s | 1.5s |
| 辅助标签 | 0.8s | 0.5s |
| FadeOut 清理 | 0.5s | 0.3s |
| “顿悟时刻”揭示 | 2.5s | 3.0s |
字体大小标准
| 角色 | 字号 | 用途 |
|---|---|---|
| 标题 | 48 | 场景标题、开场文本 |
| 标题级别 | 36 | 场景内的章节标题 |
| 正文 | 30 | 解释性文本 |
| 标签 | 24 | 注释、坐标轴标签 |
| 说明 | 20 | 字幕、小字印刷 |
字体
所有文本均使用等宽字体。 Manim 的 Pango 渲染器在处理比例字体时会产生破损的字距调整,无论何种字号。参见 references/visual-design.md 获取完整推荐。
MONO = "Menlo" # 在文件顶部定义一次
Text("傅里叶级数", font_size=48, font=MONO, weight=BOLD) # 标题
Text("n=1: sin(x)", font_size=20, font=MONO) # 标签
MathTex(r"\nabla L") # 数学公式(使用 LaTeX)
最低 font_size=18 以保证可读性。
场景间差异化
切勿对所有场景使用相同的配置。每个场景:
- 使用色板中不同的主导色
- 采用不同的布局 — 不要总是将所有内容居中
- 使用不同的动画进入方式 — 在 Write、FadeIn、GrowFromCenter、Create 之间变化
- 具有不同的视觉重量 — 有的场景密集,有的稀疏
工作流程
第 1 步:规划 (plan.md)
在编写任何代码之前,编写 plan.md。参见 references/scene-planning.md 获取完整模板。
第 2 步:编码 (script.py)
每个场景一个类。每个场景都可以独立渲染。
from manim import *
BG = "#1C1C1C"
PRIMARY = "#58C4DD"
SECONDARY = "#83C167"
ACCENT = "#FFFF00"
MONO = "Menlo"
class Scene1_Introduction(Scene):
def construct(self):
self.camera.background_color = BG
title = Text("为什么这能行?", font_size=48, color=PRIMARY, weight=BOLD, font=MONO)
self.add_subcaption("为什么这能行?", duration=2)
self.play(Write(title), run_time=1.5)
self.wait(1.0)
self.play(FadeOut(title), run_time=0.5)
关键模式:
- 字幕 每个动画都加:
self.add_subcaption("文本", duration=N)或在self.play()中使用subcaption="文本" - 共享的颜色常量 在文件顶部定义,确保跨场景一致性
self.camera.background_color在每个场景中设置- 干净的退出 — 场景结束时 FadeOut 所有 mobject:
self.play(FadeOut(Group(*self.mobjects)))
第 3 步:渲染
manim -ql script.py Scene1_Introduction Scene2_CoreConcept # 草稿
manim -qh script.py Scene1_Introduction Scene2_CoreConcept # 生产
第 4 步:拼接
cat > concat.txt << 'EOF'
file 'media/videos/script/480p15/Scene1_Introduction.mp4'
file 'media/videos/script/480p15/Scene2_CoreConcept.mp4'
EOF
ffmpeg -y -f concat -safe 0 -i concat.txt -c copy final.mp4
第 5 步:审查
manim -ql --format=png -s script.py Scene2_CoreConcept # 预览静帧
关键实现说明
LaTeX 的原始字符串
# 错误:MathTex("\frac{1}{2}")
# 正确:
MathTex(r"\frac{1}{2}")
边缘文本的 buff >= 0.5
label.to_edge(DOWN, buff=0.5) # 绝不能小于 0.5
替换文本前先 FadeOut
self.play(ReplacementTransform(note1, note2)) # 而不是在顶部 Write(note2)
切勿对未添加的 Mobject 进行动画
self.play(Create(circle)) # 必须首先添加
self.play(circle.animate.set_color(RED)) # 然后动画
性能目标
| 质量 | 分辨率 | FPS | 速度 |
|---|---|---|---|
-ql(草稿) | 854x480 | 15 | 5-15 秒/场景 |
-qm(中等) | 1280x720 | 30 | 15-60 秒/场景 |
-qh(生产) | 1920x1080 | 60 | 30-120 秒/场景 |
始终在 -ql 下迭代。仅在最终输出时使用 -qh 渲染。
参考文档
| 文件 | 内容 |
|---|---|
references/animations.md | 核心动画、速度函数、组合、.animate 语法、时间模式 |
references/mobjects.md | 文本、形状、VGroup/Group、定位、样式、自定义 mobject |
references/visual-design.md | 12 条设计原则、不透明度分层、布局模板、色板 |
references/equations.md | Manim 中的 LaTeX、TransformMatchingTex、推导模式 |
references/graphs-and-data.md | 坐标轴、绘图、BarChart、动画数据、算法可视化 |
references/camera-and-3d.md | MovingCameraScene、ThreeDScene、3D 曲面、相机控制 |
references/scene-planning.md | 叙事弧线、布局模板、场景过渡、规划模板 |
references/rendering.md | CLI 参考、质量预设、ffmpeg、旁白工作流、GIF 导出 |
references/troubleshooting.md | LaTeX 错误、动画错误、常见错误、调试 |
references/animation-design-thinking.md | 何时使用动画 vs 静态展示、分解、节奏、旁白同步 |
references/updaters-and-trackers.md | ValueTracker、add_updater、always_redraw、基于时间的更新器、模式 |
references/paper-explainer.md | 将研究论文转化为动画——工作流、模板、领域模式 |
references/decorations.md | SurroundingRectangle、Brace、箭头、DashedLine、Angle、注释生命周期 |
references/production-quality.md | 编码前、渲染前、渲染后检查清单、空间布局、颜色、节奏 |
创意发散(仅当用户要求实验性/创意性/独特输出时使用)
如果用户要求创意性、实验性、或非常规的解释方法,在设计动画之前选择一个策略并进行推理。
- SCAMPER — 当用户希望为标准解释提供新视角时
- 假设反转 — 当用户希望挑战事物通常的教学方式时
SCAMPER 转换
对一个标准的数学/技术可视化进行转换:
- 替换: 替换标准的视觉隐喻(数轴 → 弯曲路径,矩阵 → 城市网格)
- 组合: 合并两种解释方法(同时使用代数 + 几何)
- 反转: 反向推导——从结果出发,解构到公理
- 修改: 夸大某个参数以显示其重要性(10 倍学习率,1000 倍样本量)
- 消除: 移除所有符号——仅通过动画和空间关系进行解释
假设反转
- 列出关于该主题可视化的“标准”做法(从左到右、2D、离散步骤、形式化符号)
- 选择最根本的假设
- 反转它(从右到左推导、将 2D 概念嵌入 3D、连续变形代替离散步骤、零符号)
- 探索这种反转揭示了哪些标准方法所隐藏的东西