Open Source Radar
Radar · Compare
LeanCopilot vs hermes-agent
At a glance
- hermes-agent has 164× the stars of LeanCopilot (213k vs 1.3k)
- LeanCopilot 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.
| LeanCopilot | hermes-agent | |
|---|---|---|
| Stars | ★ 1.3k | ★ 213k |
| Growth · 7d | — | — |
| Growth · 24h | — | — |
| Forks | 126 | 39k |
| Open issues | 4 | 28k |
| Language | C++ | Python |
| License | MIT | MIT |
| Created | Sep 2023 | Jul 2025 |
| Last push | 26d ago | 5d ago |
| Behind the repo | — | — |
Shared topics
More comparisons