Total Stars
⭐ 828
Repos Tracked
1
PRs with AI Review
2
Bot Comments
0
AI Review Products#
AI code review products active on mit-plv's repositories.
Languages#
Rocq Prover
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| fiat-crypto↗ | 828 | Rocq Prover | 2 | 0 |