LFG Labs
Pinned Loading
Repositories
- verity Public
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
- ethereum-verification-benchmark Public
Benchmark for Verity-based smart contract verification research
- rust-formal-verification-benchmark Public
RFVB v1.0 (2026-10-02): 100 Lean 4 proof tasks over mechanically extracted Rust code, specified by the crates' own property-based tests
- morpho-midnight-verity Public
- EVMYulLean Public Forked from NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
- rust-specification-generation-benchmark Public
RSGB v1.0: 100 Lean 4 + Z3 SMT formal specification generation tasks over mechanically extracted Rust code
- pr-backdoor-bench Public
Can frontier models spot a backdoor hidden in a pull request? 13 synthetic backdoored PRs, harness and results.
- rfvb Public
RFVB v1.0: 100 Lean 4 proof tasks over mechanically extracted Rust code, specified by the crates' own property-based tests
- rust-verification-benchmark-harbor Public
Rust Verification Benchmark v1.0: 100 Harbor environments for formal proofs over real Rust code
Top languages
Loading…
Most used topics
Loading…