← Back to repositories

lfglabs-dev/verity-benchmark

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

Lean

Stars

⭐ 0

PRs Reviewed

2

Bot Comments

48

Primary Language

Lean

Merge Rate

50.0%

Avg Time to Merge

23h

Avg Additions

+2.2K

Avg Deletions

-174

Avg Files Changed

21

AI Review Products#

AI code review products active on this repository.