Open Source Radar
Radar · Compare
planning-with-files vs TheoremExplainAgent
At a glance
- planning-with-files has 17× the stars of TheoremExplainAgent (26k 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.
| planning-with-files | TheoremExplainAgent | |
|---|---|---|
| Stars | ★ 26k | ★ 1.5k |
| Growth · 7d | +158 | — |
| Growth · 24h | — | — |
| Forks | 2.2k | 199 |
| Open issues | 6 | 11 |
| Language | Shell | Python |
| License | MIT | MIT |
| Created | Jan 2026 | Feb 2025 |
| Last push | 2d ago | 374d ago |
| Behind the repo | — | — |
Shared topics
More comparisons