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_compilemypy)以及 AI 驅動的自動修補迴圈,若渲染失敗會重新產生程式碼。

Who it’s for

主要對象為教育工作者、數學教師與內容創作者,這些人需要高品質的數學動畫與圖形,但可能不熟悉 Python 程式設計。

Highlights

  • Dual-Engine Support: 無縫切換 Manim 動畫與 matplotlib 靜態視覺。
  • AI-Powered Error Correction: 自動偵測渲染失敗,將錯誤回饋給 AI 以修補並重新產生程式碼。
  • Collaborative Studio: 具備設計與審核專屬角色的代理工作空間,支援迭代精緻化。
  • Multi-Output Generation: 同時支援影片與圖像輸出,並可分段渲染產生多張圖。
  • Integrated Tooling: 包含影片背景音樂混音與提示模板管理器,可覆寫系統提示。