TIGER-AI-Lab/TheoremExplainAgent

Generates pedagogical Manim animation videos from theorem descriptions using LLMs, with an agentic workflow that decomposes theorems into visual scenes and validates explanations through multi-step reasoning. The system integrates LiteLLM for flexible model selection (OpenAI, Azure, Gemini, Vertex AI), Kokoro TTS for narration, and optional retrieval-augmented generation over Manim documentation to improve code generation accuracy.

1,470 stars. No commits in the last 6 months.