Open Source Radar
Radar · Compare
LeanDojo vs hermes-agent
At a glance
- hermes-agent has 273× the stars of LeanDojo (225k vs 826)
- LeanDojo is older (since 2023 vs 2025)
Star historydaily snapshots by VibeCrowd
Collecting history — both repos are snapshotted daily; the chart appears after 3 days of data for each.
| LeanDojo | hermes-agent | |
|---|---|---|
| Stars | ★ 826 | ★ 225k |
| Growth · 7d | — | +3.5k |
| Growth · 24h | — | — |
| Forks | 117 | 44k |
| Open issues | 12 | 28k |
| Language | Python | Python |
| License | MIT | MIT |
| Created | Jun 2023 | Jul 2025 |
| Last push | 199d ago | 1d ago |
| Behind the repo | — | — |
Shared topics