← Back to organizations
verus-lang

verus-lang

github.com/verus-lang ↗

Total Stars

⭐ 2.5K

Repos Tracked

1

PRs with AI Review

8

Bot Comments

23

AI Review Products#

AI code review products active on verus-lang's repositories.

GitHub CopilotGitHub Copilot
8 PRs8 events

Languages#

Rust

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
verus↗2,465Rust823