← Back to organizations
Axiomatic-AI

Axiomatic-AI

github.com/Axiomatic-AI ↗

Total Stars

⭐ 74

Repos Tracked

4

PRs with AI Review

45

Bot Comments

98

AI Review Products#

AI code review products active on Axiomatic-AI's repositories.

CodeRabbitCodeRabbit
39 PRs39 events
Cursor BugbotCursor Bugbot
9 PRs9 events
ClaudeClaude
1 PRs1 events

Languages#

PythonLean

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
ax-prover-base↗51Python13
ax-mcp↗23Python4292
iklayout↗0Python11
mathlib4↗0Lean12