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 From Text.
  ☆1,058Updated 2 months ago
• attentionmech / mav
  Model Activity Visualiser
  ☆520Updated 5 months ago
• convergence-ai / proxy-lite
  A mini, open-weights, version of our Proxy assistant.
  ☆963Updated 6 months ago
• jolovicdev / shandu
  OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…
  ☆632Updated 3 months ago
• abhiemj / manim-mcp-server
  ☆462Updated 4 months ago
• cxcscmu / Craw4LLM
  Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"
  ☆637Updated 6 months ago
• lamm-mit / PDF2Audio
  ☆1,332Updated 5 months ago
• NVIDIA-AI-Blueprints / pdf-to-podcast
  Transform PDFs into AI podcasts for engaging on-the-go audio content.
  ☆741Updated 3 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,547Updated 8 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…
  ☆951Updated 2 months ago
• UCSC-VLAA / story-adapter
  A Training-free Iterative Framework for Long Story Visualization
  ☆918Updated 8 months ago
• ZongqianLi / ReasonGraph
  [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
  ☆497Updated 3 months ago
• zjunlp / OmniThink
  [EMNLP 2025] OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking
  ☆458Updated 3 weeks ago
• gemsjohn / physics-sims
  Interesting physics-sims generated via LLM prompting.
  ☆268Updated 4 months ago
• qunash / r1-overthinker
  Force DeepSeek r1 models to think for as long as you wish
  ☆370Updated 7 months ago
• AK391 / ai-gradio
  A Python package that makes it easy for developers to create AI apps powered by various AI providers.
  ☆1,647Updated 5 months ago
• Intelligent-Internet / ii-agent
  II-Agent: a new open-source framework to build and deploy intelligent agents
  ☆2,877Updated 3 weeks ago
• X-PLUG / MM_StoryAgent
  ☆275Updated last year
• FoloUp / FoloUp
  💼 Your own AI-powered voice interviewer for hiring.
  ☆960Updated last week
• langchain-ai / multi-modal-researcher
  ☆566Updated 2 months ago
• dsa / fast-voice-assistant
  ⚡ Insanely fast AI voice assistant with <500ms response times
  ☆571Updated 9 months ago
• bklieger-groq / mathtutor-on-groq
  Voice-Enabled Math Tutor Powered by Groq that Calculates and Renders Live Problems and Instruction with LaTeX in Seconds!
  ☆233Updated 8 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,440Updated last week
• mshumer / OpenDeepResearcher
  ☆2,709Updated 4 months ago
• m-damien / VisualStoryWriting
  🧙‍♂️ Writing by manipulating visual representations of stories
  ☆818Updated 2 months ago
• showlab / computer_use_ootb
  Out-of-the-box (OOTB) GUI Agent for Windows and macOS
  ☆1,671Updated 4 months ago
• femto / minion-agent
  A simple agent framework that's capable of browser use + mcp + auto instrument + plan + deep research + more
  ☆315Updated 2 weeks ago
• camel-ai / oasis
  🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents.
  ☆1,929Updated last month
• eigent-ai / eigent
  Eigent is the World's First Multi-agent Workforce to Unlock Your Exceptional Productivity.
  ☆1,990Updated this week
• e2b-dev / open-computer-use
  AI computer use powered by open source LLMs and E2B Desktop Sandbox
  ☆1,563Updated 3 months ago