← Back to organizations

Verified-zkEVM

github.com/Verified-zkEVM ↗

Total Stars

⭐ 526

Repos Tracked

3

PRs with AI Review

33

Bot Comments

47

👍 Thumbs Up

4

👎 Thumbs Down

0

❤️ Hearts

0

AI Review Products#

AI code review products active on Verified-zkEVM's repositories.

25 PRs25 events

Languages#

TeXLean

Repositories#

Repositories where AI bots review code.

Repository	⭐ Stars	Language	Reviewed PRs	Bot Comments
ArkLib ↗	347	Lean	17	28
VCV-io ↗	165	Lean	15	18
iris-lean ↗	14	TeX	1	1

Verified-zkEVM — AI Code Review Usage on GitHub — Code Review Trends