← Back to repositories

lfglabs-dev/verity-benchmark

github.com/lfglabs-dev/verity-benchmark ↗

Lean

Stars

⭐ 1

PRs Reviewed

7

Bot Comments

116

Primary Language

Lean

Merge Rate

42.9%

Avg Time to Merge

9h

Avg Additions

+1.5K

Avg Deletions

-103

Avg Files Changed

14

AI Review Products#

AI code review products active on this repository.