LFG Labs
We are formally verifying critical software
Pinned Loading
Repositories
Showing 10 of 136 repositories
- boost-ci-shader Public
Procedural GLSL shader and theme-adaptive pure vector SVGs (High-Res & Favicon optical variants) for the Boost-CI emblem
- ethereum-verification-benchmark Public
Benchmark for Verity-based smart contract verification research
- EVMYulLean Public Forked from NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
- evmbench Public Forked from paradigmxyz/evmbench
A benchmark and harness for finding and exploiting smart contract bugs
- watchtower.starknet.id Public
- open-code-review Public Forked from alibaba/open-code-review
Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible.
