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.
  ☆931Updated 3 weeks ago
• jolovicdev / shandu
  OpenAI DeepResearch alternative, An AI-driven research system that performs comprehensive, iterative research on any topic using multiple…
  ☆561Updated last month
• btahir / open-deep-research
  Open source alternative to Gemini Deep Research. Generate reports with AI based on search results.
  ☆1,820Updated last month
• simular-ai / Agent-S
  Agent S: an open agentic framework that uses computers like a human
  ☆2,436Updated this week
• HarshJ23 / Deeper-Seeker
  Deeper Seeker is an simpler OSS version of OpenAI's latest Deep Research feature in ChatGPT.It is an agentic research tool to reason , cr…
  ☆393Updated 2 weeks ago
• attentionmech / mav
  Model Activity Visualiser
  ☆432Updated 2 weeks ago
• zamalali / DeepGit
  Deep research agent to help you find the best GitHub repositories 🕵️!
  ☆572Updated last week
• HumanMLLM / R1-Omni
  ☆844Updated last month
• browserbase / mcp-server-browserbase
  Allow LLMs to control a browser with Browserbase and Stagehand
  ☆1,181Updated last week
• convergence-ai / proxy-lite
  A mini, open-weights, version of our Proxy assistant.
  ☆887Updated 2 months ago
• blazickjp / arxiv-mcp-server
  A Model Context Protocol server for searching and analyzing arXiv papers
  ☆976Updated this week
• exa-labs / exa-mcp-server
  Claude can perform Web Search | Exa with MCP (Model Context Protocol)
  ☆562Updated 2 weeks ago
• e2b-dev / open-computer-use
  AI computer use powered by open source LLMs and E2B Desktop Sandbox
  ☆1,055Updated last month
• test-time-training / ttt-video-dit
  Official PyTorch implementation of One-Minute Video Generation with Test-Time Training
  ☆1,417Updated 2 weeks ago
• UCSC-VLAA / story-adapter
  A Training-free Iterative Framework for Long Story Visualization
  ☆877Updated 3 months ago
• AK391 / ai-gradio
  A Python package that makes it easy for developers to create AI apps powered by various AI providers.
  ☆1,597Updated 2 weeks ago
• FoloUp / FoloUp
  💼 Your own AI-powered voice interviewer for hiring.
  ☆802Updated last week
• SkyworkAI / SkyReels-V2
  SkyReels-V2: Infinite-length Film Generative model
  ☆853Updated this week
• kortix-ai / suna
  Suna - Open Source Generalist AI Agent
  ☆1,517Updated this week
• camel-ai / oasis
  🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents. https://oasis.camel-ai.org
  ☆1,340Updated this week
• declare-lab / TangoFlux
  TangoFlux: Super Fast and Faithful Text to Audio Generation with Flow Matching
  ☆710Updated last month
• NVIDIA-AI-Blueprints / pdf-to-podcast
  Transform PDFs into AI podcasts for engaging on-the-go audio content.
  ☆623Updated last week
• qixucen / atom
  ☆544Updated 3 weeks ago
• Fosowl / agenticSeek
  Manus AI alternative that run locally. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code f…
  ☆921Updated this week
• mshumer / OpenDeepResearcher
  ☆2,516Updated 2 months ago
• ZongqianLi / ReasonGraph
  Repository for the demo and paper: ReasonGraph: Visualisation of Reasoning Paths
  ☆463Updated 3 weeks ago
• cxcscmu / Craw4LLM
  Official repository for "Craw4LLM: Efficient Web Crawling for LLM Pretraining"
  ☆612Updated 2 months ago
• syedazharmbnr1 / claude-chatgpt-mcp
  A Claude MCP tool to interact with the ChatGPT desktop app on macOS
  ☆629Updated last month
• OpenManus / OpenManus-RL
  A live stream development of RL tunning for LLM agents
  ☆2,515Updated this week
• browser-use / awesome-prompts
  Table of awesome Browser Use prompts
  ☆473Updated last month