yvgude/lean-ctx
#389 of 789 by Stars among GitHub repos
3.2k Stars
Trend accrues daily — one point so far.
yvgude/lean-ctx is a GitHub repo tracked by aiagent.club, a daily time-series instrument for the AI agent ecosystem. Below are its latest metrics and how they change over time — attention (stars) alongside the harder-to-fake signals of real usage.
Latest metrics
| Stars | 3.2k | 2026-07-15 |
|---|---|---|
| Forks | 300 | 2026-07-15 |
| Commits | 3.0k | 2026-07-15 |
| Releases | 235 | 2026-07-15 |
| Watchers | 21 | 2026-07-15 |
| Open issues | 21 | 2026-07-15 |
| Open PRs | 3 | 2026-07-15 |