← Back to organizations
model-checking
github.com/model-checking ↗Total Stars
⭐ 3.6K
Repos Tracked
2
PRs with AI Review
19
Bot Comments
89
AI Review Products#
AI code review products active on model-checking's repositories.
Languages#
Rust
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| kani↗ | 3,237 | Rust | 3 | 9 |
| verify-rust-std↗ | 343 | Rust | 16 | 80 |