← Back to organizations
2tbmz9y2xt-lang

2tbmz9y2xt-lang

github.com/2tbmz9y2xt-lang ↗

Total Stars

⭐ 0

Repos Tracked

1

PRs with AI Review

90

Bot Comments

280

👍 Thumbs Up

6

👎 Thumbs Down

0

❤️ Hearts

0

AI Review Products#

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

OpenAI CodexOpenAI Codex
50 PRs50 events
CodacyCodacy
28 PRs28 events
GitHub CopilotGitHub Copilot
19 PRs19 events
CodeRabbitCodeRabbit
5 PRs5 events
Cursor BugbotCursor Bugbot
4 PRs4 events
ClaudeClaude
1 PRs1 events

Languages#

Lean

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
rubin-formal↗0Lean90280