← Back to repositories
Beneficial-AI-Foundation

Beneficial-AI-Foundation/probe-lean

github.com/Beneficial-AI-Foundation/probe-lean ↗
Lean

Stars

⭐ 3

PRs Reviewed

4

Bot Comments

11

Primary Language

Lean

Merge Rate

25.0%

Avg Time to Merge

4d

Avg Additions

+1.4K

Avg Deletions

-15

Avg Files Changed

20

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
4 PRs4 events
Beneficial-AI-Foundation/probe-lean — AI Code Review Activity — Code Review Trends