Stars
⭐ 5
PRs Reviewed
2
Bot Comments
1
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+234
Avg Deletions
-112
Avg Files Changed
27
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 5
PRs Reviewed
2
Bot Comments
1
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+234
Avg Deletions
-112
Avg Files Changed
27
AI code review products active on this repository.
