Open Source Radar
Radar · Compare
nanobot vs TheoremExplainAgent
At a glance
- nanobot has 31× the stars of TheoremExplainAgent (47k vs 1.5k)
- TheoremExplainAgent is older (since 2025 vs 2026)
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| nanobot | TheoremExplainAgent | |
|---|---|---|
| Stars | ★ 47k | ★ 1.5k |
| Growth · 7d | +275 | — |
| Growth · 24h | — | — |
| Forks | 8.2k | 199 |
| Open issues | 769 | 11 |
| Language | Python | Python |
| License | MIT | MIT |
| Created | Feb 2026 | Feb 2025 |
| Last push | 1d ago | 374d ago |
| Behind the repo | — | — |
Shared topics
More comparisons