← Back to organizations
Beneficial-AI-Foundation
github.com/Beneficial-AI-Foundation ↗Total Stars
⭐ 169
Repos Tracked
21
PRs with AI Review
125
Bot Comments
708
👍 Thumbs Up
17
👎 Thumbs Down
2
❤️ Hearts
0
AI Review Products#
AI code review products active on Beneficial-AI-Foundation's repositories.
Languages#
PythonRustLeanTypeScriptDafny
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| vericoding-benchmark↗ | 52 | Lean | 1 | 2 |
| vericoding↗ | 35 | Rust | 37 | 144 |
| FloatSpec↗ | 24 | Lean | 1 | 1 |
| dafny-autopilot↗ | 15 | TypeScript | 1 | 5 |
| dalek-lite↗ | 9 | Rust | 23 | 141 |
| probegraph↗ | 9 | TypeScript | 3 | 10 |
| secure-messaging↗ | 7 | Lean | 1 | 1 |
| NumpySpec↗ | 5 | Lean | 24 | 8 |
| formal-containment↗ | 4 | Python | 2 | 50 |
| probe-lean↗ | 3 | Lean | 4 | 11 |
| probe↗ | 2 | Rust | 1 | 6 |
| probe-aeneas↗ | 2 | Rust | 1 | 2 |
| verilib-cli↗ | 2 | Rust | 13 | 246 |
| atomization↗ | 0 | Python | 3 | 34 |
| curve25519-dalek↗ | 0 | Rust | 1 | 0 |
| dafny-bignums↗ | 0 | Dafny | 1 | 1 |
| libsignal_rust_protocol↗ | 0 | Rust | 1 | 6 |
| probe-verus↗ | 0 | Rust | 4 | 20 |
| rust-atomizer↗ | 0 | Rust | 1 | 13 |
| veritooling↗ | 0 | Python | 1 | 7 |
| verus_lemma_finder↗ | 0 | Python | 1 | 0 |