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,034Updated 3 weeks ago
• NVIDIA-AI-Blueprints / pdf-to-podcast
  Transform PDFs into AI podcasts for engaging on-the-go audio content.
  ☆724Updated 2 months ago
• ZongqianLi / ReasonGraph
  [ACL 2025 Demo] Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
  ☆494Updated 2 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,505Updated 6 months ago
• cxcscmu / Craw4LLM
  Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"
  ☆633Updated 5 months ago
• FoloUp / FoloUp
  💼 Your own AI-powered voice interviewer for hiring.
  ☆918Updated last month
• jolovicdev / shandu
  OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…
  ☆621Updated 2 months ago
• abhiemj / manim-mcp-server
  ☆438Updated 2 months ago
• attentionmech / mav
  Model Activity Visualiser
  ☆517Updated 3 months ago
• convergence-ai / proxy-lite
  A mini, open-weights, version of our Proxy assistant.
  ☆947Updated 5 months ago
• lamm-mit / PDF2Audio
  ☆1,293Updated 3 months ago
• UCSC-VLAA / story-adapter
  A Training-free Iterative Framework for Long Story Visualization
  ☆909Updated 6 months ago
• X-PLUG / MM_StoryAgent
  ☆260Updated 11 months ago
• zjunlp / OmniThink
  OmniThink: Expanding Knowledge Boundaries in Machine Writing through Thinking
  ☆454Updated 3 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!
  ☆231Updated 7 months ago
• souzatharsis / podcastfy-demo
  podcastfy.ai gradio demo app
  ☆335Updated 8 months ago
• eigent-ai / eigent
  Eigent is the World's First Multi-agent Workforce to Unlock Your Exceptional Productivity.
  ☆1,180Updated this week
• langchain-ai / multi-modal-researcher
  ☆530Updated last month
• gemsjohn / physics-sims
  Interesting physics-sims generated via LLM prompting.
  ☆263Updated 2 months ago
• GitHamza0206 / simba
  Portable KMS (knowledge management system) designed to integrate seamlessly with any Retrieval-Augmented Generation (RAG) system
  ☆1,338Updated last month
• 11cafe / jaaz
  AI design agent, local alternative for Lovart. Canva + Cursor. AI agent with ability to design, edit and generate images, posters, storyb…
  ☆1,711Updated this week
• ammaarreshi / Gemini-Search
  Perplexity style AI Search engine clone built with Gemini 2.0 Flash and Grounding
  ☆2,020Updated 7 months ago
• Intelligent-Internet / ii-agent
  II-Agent: a new open-source framework to build and deploy intelligent agents
  ☆2,803Updated this week
• satvik314 / opensource_notebooklm
  An opensource implementation of NotebookLM using Deepseek-V3 and PlayHT TTS.
  ☆284Updated 7 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…
  ☆881Updated last month
• mshumer / OpenDeepResearcher
  ☆2,671Updated 3 months ago
• principia-ai / WriteHERE
  An Open-Source AI Writing Project.
  ☆342Updated last month
• qixucen / atom
  Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆580Updated last month
• harishsg993010 / LLM-Reasoner
  Make any LLM to think like OpenAI o1 and deepseek R1
  ☆491Updated 6 months ago
• exa-labs / company-researcher
  Company Researcher tool helps you instantly understand any company inside out.
  ☆1,238Updated last month