Wing900/ManimCat

EN: ManimCat: AI-generated math animations from natural language. High-quality Manim rendering with LaTeX support and auto-code fixing. 中: ManimCat：AI 数学动画生成器。支持描述即视频，内置 LaTeX 与代码纠错，让数学动效触手可及。

What it solves

ManimCat 是一个 AI 辅助的创作系统，旨在生成教学、课堂解释与视觉推理所需的数学视觉素材。它让用户不必手动编写复杂的 Manim 或 matplotlib 代码，只需以自然语言即可创建、修改与组织动画视频和静态图像。

How it works

系统通过两种主要模式和两个渲染引擎运行：

  • Workflow Mode: 直接一次性生成路径，快速得到结果。它使用两阶段的 AI 流程，概念设计师负责场景设计，代码生成器负责写出实际代码。
  • Agent Mode: 以协作、会话式的工作空间（Studio）让用户与 AI 角色（Builder、Designer、Reviewer）共同迭代视觉内容，采用长期保存的状态模型。
  • Engines: 使用 Manim 产生时间轴动画，使用 matplotlib 绘制静态图表和图形。

为确保质量，系统加入静态分析防护（使用 py_compile 与 mypy）以及 AI 驱动的自动修补循环，若渲染失败会重新生成代码。

Who it’s for

主要对象为教育工作者、数学教师与内容创作者，这些人需要高质量的数学动画和图形，但可能不熟悉 Python 编程。

Highlights

  • Dual-Engine Support: 无缝切换 Manim 动画与 matplotlib 静态视觉。
  • AI-Powered Error Correction: 自动检测渲染失败，将错误反馈给 AI 以修补并重新生成代码。
  • Collaborative Studio: 具备设计与审核专属角色的代理工作空间，支持迭代精细化。
  • Multi-Output Generation: 同时支持视频与图像输出，并可分段渲染生成多张图。
  • Integrated Tooling: 包含视频背景音乐混音与提示模板管理器，可覆盖系统提示。