← Back to organizations
Beneficial-AI-Foundation
github.com/Beneficial-AI-Foundation ↗Total Stars
⭐ 95
Repos Tracked
15
PRs with AI Review
114
Bot Comments
671
👍 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↗ | 30 | Lean | 1 | 2 |
| vericoding↗ | 22 | Rust | 37 | 144 |
| dafny-autopilot↗ | 14 | TypeScript | 1 | 5 |
| FloatSpec↗ | 10 | Lean | 1 | 1 |
| dalek-lite↗ | 9 | Rust | 23 | 141 |
| NumpySpec↗ | 5 | Lean | 24 | 8 |
| formal-containment↗ | 3 | Python | 2 | 50 |
| 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 |
| verus_lemma_finder↗ | 0 | Python | 1 | 0 |