← Back to repositories

Beneficial-AI-Foundation/vericoding-benchmark

github.com/Beneficial-AI-Foundation/vericoding-benchmark ↗

Lean

Stars

⭐ 15

PRs Reviewed

1

Bot Comments

2

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+3.4K

Avg Deletions

-1

Avg Files Changed

14

AI Review Products#

AI code review products active on this repository.