TheoremExplainAgent

Repository facts

Stars

1,513

Forks

201

Open issues and pull requests

11

Primary language

Python

License

MIT License (MIT)

Owner

TIGER-AI-Lab · Organization

Created

Feb 16, 2025

Last push

Jul 27, 2025

Topics

• llm-agents
• manim
• manim-animations
• manim-video
• rag

Rank #4,566 of 9,507 in AI on GitHub, by stars. Data from the GitHub API, fetched Oct 18, 2026; star counts change daily. Stars measure popularity, not quality or safety, and a listing is not an endorsement. How this list is made

Related projects

Projects that share this one’s GitHub topics.

• 1,619

  Rank 1,619: FellouAI/eko

  Eko (Eko Keeps Operating) - Build Production-ready Agentic Workflow with Natural Language - eko.fellou.ai

  4,966 starsTypeScriptMITLast push Mar 3, 2026

• 5,705

  Rank 5,705: NirDiamant/Agent_Memory_Techniques

  Agent memory for LLMs: 30 runnable Jupyter notebooks covering conversation buffers, vector stores, knowledge graphs, episodic and semantic memory, MemGPT, Mem0, Letta, Zep, Graphi…

  1,108 starsJupyter NotebookApache-2.0Last push Oct 17, 2026

• 2,226

  Rank 2,226: helblazer811/ManimML

  ManimML is a project focused on providing animations and visualizations of common machine learning concepts with the Manim Community Library.

  3,519 starsPythonMITLast push Jun 22, 2024

• 6,380

  Rank 6,380: marcelo-earth/generative-manim

  🎨 GPT for video generation ⚡️

  933 starsPythonApache-2.0Last push Sep 17, 2026

• 122

  Rank 122: HKUDS/nanobot

  Ultra-lightweight, open-source, self-hosted personal AI agent framework in Python with WebUI, tools, memory, MCP, multi-agent workflows, automation, and chat apps

  49,145 starsPythonMITLast push Oct 18, 2026

• 302

  Rank 302: Fosowl/agenticSeek

  Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity.

  27,506 starsPythonGPL-3.0Last push Oct 15, 2026