← Back to repositories
leynos

leynos/theoremc

github.com/leynos/theoremc ↗
Rust

Stars

⭐ 0

PRs Reviewed

24

Bot Comments

332

Primary Language

Rust

Merge Rate

66.7%

Avg Time to Merge

43h

Avg Additions

+1.1K

Avg Deletions

-58

Avg Files Changed

12

AI Review Products#

AI code review products active on this repository.

CodeRabbitCodeRabbit
21 PRs55 events
CodeSceneCodeScene
17 PRs29 events
SourcerySourcery
17 PRs20 events
OpenAI CodexOpenAI Codex
7 PRs7 events
leynos/theoremc — AI Code Review Activity — Code Review Trends