Open Source Radar
Radar · Compare
agenticSeek vs TheoremExplainAgent
At a glance
- agenticSeek has 18× the stars of TheoremExplainAgent (27k vs 1.5k)
- Licenses differ: GPL-3.0 vs MIT
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| agenticSeek | TheoremExplainAgent | |
|---|---|---|
| Stars | ★ 27k | ★ 1.5k |
| Growth · 7d | +28 | — |
| Growth · 24h | — | — |
| Forks | 3.0k | 199 |
| Open issues | 33 | 11 |
| Language | Python | Python |
| License | GPL-3.0 | MIT |
| Created | Feb 2025 | Feb 2025 |
| Last push | 2d ago | 374d ago |
| Behind the repo | — | — |
Shared topics
More comparisons