Total Stars
⭐ 18
Repos Tracked
2
PRs with AI Review
5
Bot Comments
11
AI Review Products#
AI code review products active on loning's repositories.
Languages#
LeanPython
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| the-omega↗ | 14 | Lean | 1 | 1 |
| zeckendorf-hilbert↗ | 4 | Python | 4 | 10 |