Alternatives and similar repositories for TheoremExplainAgent

Users that are interested in TheoremExplainAgent are comparing it to the libraries listed below

• HarleyCoops / Math-To-Manim
  Create Epic Math and Physics Animations & Study Notes From Text and Images.
  ☆1,369Updated this week
• cxcscmu / Craw4LLM
  Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"
  ☆643Updated 9 months ago
• echohive42 / AI-reads-books-page-by-page
  AI reads books: Page-by-Page PDF Knowledge Extractor & Summarizer. script performs an intelligent page-by-page analysis of PDF books, met…
  ☆1,558Updated 10 months ago
• lamm-mit / PDF2Audio
  ☆1,341Updated 7 months ago
• showlab / Code2Video
  Video generation via code
  ☆919Updated 2 weeks ago
• NVIDIA-AI-Blueprints / pdf-to-podcast
  Transform PDFs into AI podcasts for engaging on-the-go audio content.
  ☆770Updated 5 months ago
• ZongqianLi / ReasonGraph
  [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
  ☆504Updated 6 months ago
• attentionmech / mav
  Model Activity Visualiser
  ☆519Updated 7 months ago
• FoloUp / FoloUp
  💼 Your own AI-powered voice interviewer for hiring.
  ☆1,008Updated 3 weeks ago
• convergence-ai / proxy-lite
  A mini, open-weights, version of our Proxy assistant.
  ☆975Updated 9 months ago
• UCSC-VLAA / story-adapter
  A Training-free Iterative Framework for Long Story Visualization
  ☆929Updated 10 months ago
• X-PLUG / MM_StoryAgent
  ☆289Updated last year
• zjunlp / OmniThink
  [EMNLP 2025] OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking
  ☆466Updated 3 months ago
• abhiemj / manim-mcp-server
  ☆512Updated 6 months ago
• GitHamza0206 / simba
  Portable KMS (knowledge management system) designed to integrate seamlessly with any Retrieval-Augmented Generation (RAG) system
  ☆1,379Updated 3 months ago
• Intelligent-Internet / ii-agent
  II-Agent: a new open-source framework to build and deploy intelligent agents
  ☆3,003Updated last week
• mshumer / OpenDeepResearcher
  ☆2,731Updated 6 months ago
• MiniMax-AI / MiniMax-MCP
  Official MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video ge…
  ☆1,097Updated 2 weeks ago
• reflex-dev / reflex-llm-examples
  ☆839Updated 6 months ago
• exa-labs / company-researcher
  Company Researcher tool helps you instantly understand any company inside out.
  ☆1,321Updated 3 months ago
• qunash / r1-overthinker
  Force DeepSeek r1 models to think for as long as you wish
  ☆372Updated 9 months ago
• wisupai / e2m
  E2M converts various file types (doc, docx, epub, html, htm, url, pdf, ppt, pptx, mp3, m4a) into Markdown. It’s easy to install, with ded…
  ☆1,242Updated last year
• qixucen / atom
  [NeurIPS 2025] Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆597Updated last week
• satvik314 / opensource_notebooklm
  An opensource implementation of NotebookLM using Deepseek-V3 and PlayHT TTS.
  ☆289Updated 10 months ago
• dsa / fast-voice-assistant
  ⚡ Insanely fast AI voice assistant with <500ms response times
  ☆577Updated 11 months ago
• syedazharmbnr1 / claude-chatgpt-mcp
  A Claude MCP tool to interact with the ChatGPT desktop app on macOS
  ☆759Updated last week
• zai-org / CogAgent
  An open-sourced end-to-end VLM-based GUI Agent
  ☆1,090Updated 7 months ago
• gemsjohn / physics-sims
  Interesting physics-sims generated via LLM prompting.
  ☆269Updated 6 months ago
• guy-hartstein / company-research-agent
  An agentic company research tool powered by LangGraph and Tavily that conducts deep diligence on companies using a multi-agent framework.…
  ☆1,521Updated last week
• AK391 / ai-gradio
  A Python package that makes it easy for developers to create AI apps powered by various AI providers.
  ☆1,650Updated 7 months ago