← Back to organizations

LionSR

github.com/LionSR ↗

Total Stars

⭐ 105

Repos Tracked

8

PRs with AI Review

1.0K

Bot Comments

5.1K

AI Review Products#

AI code review products active on LionSR's repositories.

615 PRs615 events

476 PRs476 events

114 PRs114 events

86 PRs86 events

Languages#

PythonJuliaTeXLeanTypeScript

Repositories#

Repositories where AI bots review code.

Repository	⭐ Stars	Language	Reviewed PRs	Bot Comments
TNLean ↗	39	Lean	559	3,081
TeXRA ↗	33	TypeScript	403	1,820
AgenticPublicationProtocol ↗	17	Python	4	45
QICLean ↗	8	Lean	3	0
MIPStarRE ↗	7	Lean	2	5
tenkz ↗	1	TeX	5	140
CoolingTNS ↗	0	Julia	42	33
app-registry ↗	0	TypeScript	2	5

LionSR — AI Code Review Usage on GitHub — Code Review Trends