← Back to organizations
model-checking

model-checking

github.com/model-checking ↗

Total Stars

⭐ 3.4K

Repos Tracked

2

PRs with AI Review

17

Bot Comments

79

AI Review Products#

AI code review products active on model-checking's repositories.

GitHub CopilotGitHub Copilot
17 PRs17 events

Languages#

Rust

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
kani↗3,046Rust39
verify-rust-std↗336Rust1470