← Back to organizations
ProverCoderAI

ProverCoderAI

github.com/ProverCoderAI ↗

Total Stars

⭐ 38

Repos Tracked

4

PRs with AI Review

22

Bot Comments

321

AI Review Products#

AI code review products active on ProverCoderAI's repositories.

CodeRabbitCodeRabbit
21 PRs21 events
OpenAI CodexOpenAI Codex
1 PRs1 events

Languages#

RustTypeScript

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
docker-git↗37TypeScript18318
eslint-plugin-suggest-members↗1TypeScript22
dist-deps-prune↗0TypeScript11
rust-browser-connection↗0Rust10