定理解释工具

TheoremExplainAgent是一个多模态AI系统，旨在通过自动化视频生产解释理论概念。它采用双代理架构，包括规划代理和编码代理，能够生成直观的Manim视频，并揭示文本解释中常隐藏的推理缺陷。该系统支持多种模型，灵活适应不同需求，广泛应用于教育、科研和AI开发领域。