Stars
⭐ 11
PRs Reviewed
30
Bot Comments
62
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
3d
Avg Additions
+205
Avg Deletions
-160
Avg Files Changed
10
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 11
PRs Reviewed
30
Bot Comments
62
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
3d
Avg Additions
+205
Avg Deletions
-160
Avg Files Changed
10
AI code review products active on this repository.
