LFG Labs
We are formally verifying critical software
Pinned Loading
Repositories
Showing 10 of 120 repositories
- ethereum-verification-benchmark Public
Benchmark for Verity-based smart contract verification research
lfglabs-dev/ethereum-verification-benchmark’s past year of commit activity - 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.
lfglabs-dev/open-code-review’s past year of commit activity - 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.
lfglabs-dev/verity’s past year of commit activity - SPHINCS- Public Forked from nconsigny/SPHINCS-
SPHINCS- variants are optimised versions of SLH-DSA (SPHINCS+). They optimise for signer load and cheap EVM verification.
lfglabs-dev/SPHINCS-’s past year of commit activity - EVMYulLean Public Forked from NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
lfglabs-dev/EVMYulLean’s past year of commit activity - explain.md Public
lfglabs-dev/explain.md’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…