Total Stars
⭐ 349
Repos Tracked
18
PRs with AI Review
612
Bot Comments
1.9K
👍 Thumbs Up
8
👎 Thumbs Down
0
❤️ Hearts
0
AI Review Products#
AI code review products active on lfglabs-dev's repositories.
Languages#
PythonRustSwiftLeanTypeScript
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| verity↗ | 148 | Lean | 64 | 532 |
| awesome-amp-code↗ | 78 | — | 1 | 2 |
| app.starknet.id↗ | 61 | TypeScript | 155 | 238 |
| starknet.quest↗ | 39 | TypeScript | 187 | 384 |
| api.starknet.quest↗ | 10 | Rust | 2 | 8 |
| ethereum-verification-benchmark↗ | 3 | Lean | 4 | 6 |
| lean-silicon↗ | 3 | Python | 11 | 160 |
| verity-benchmark↗ | 3 | Lean | 7 | 116 |
| mcserverjars.com↗ | 2 | TypeScript | 1 | 1 |
| graphgpt.app↗ | 1 | TypeScript | 2 | 6 |
| vibecoding.relens.ai↗ | 1 | TypeScript | 1 | 0 |
| SPHINCS-↗ | 0 | Lean | 1 | 6 |
| convertify↗ | 0 | Swift | 3 | 42 |
| eip-8282-proof-closure↗ | 0 | Lean | 14 | 6 |
| explain.md↗ | 0 | TypeScript | 1 | 25 |
| lido-srv3-proof-closure↗ | 0 | Lean | 155 | 329 |
| offline_cinema↗ | 0 | Swift | 2 | 23 |
| watchtower_server↗ | 0 | Rust | 1 | 1 |