← Back to organizations
Axiomatic-AI

Axiomatic-AI

github.com/Axiomatic-AI ↗

Total Stars

⭐ 57

Repos Tracked

4

PRs with AI Review

42

Bot Comments

91

AI Review Products#

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

CodeRabbitCodeRabbit
39 PRs39 events
Cursor BugbotCursor Bugbot
6 PRs6 events
ClaudeClaude
1 PRs1 events

Languages#

Jupyter NotebookPythonLean

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
ax-prover-base↗37Jupyter Notebook13
ax-mcp↗20Python3985
iklayout↗0Python11
mathlib4↗0Lean12