← Back to repositories

proofsh/proofkit

github.com/proofsh/proofkit ↗

TypeScript

Stars

⭐ 11

PRs Reviewed

5

Bot Comments

19

Primary Language

TypeScript

Merge Rate

40.0%

Avg Time to Merge

3h

Avg Additions

+423

Avg Deletions

-107

Avg Files Changed

13

AI Review Products#

AI code review products active on this repository.