lfglabs-dev/verity
View on GitHubFormally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
- Stars
- 148
- Forks
- 20
- Open beginner issues
- 0
- Indexed issues
- 34
- Avg merge
- 1d 14h
- Merged PRs (30d)
- 29
- Dominant language
- Lean
- License
- MIT
- Last GitHub push
- Sep 20, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
lfglabs-dev/verity#2427 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
lfglabs-dev/verity#2424 · 1 comment ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#2423 ·
-
Auto view-frame proof fails on require/revert and static calls, forcing view markers to be dropped Open
Difficulty 4/5 3-5 days Newbie friendliness 45/100
lfglabs-dev/verity#2422 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 52/100
lfglabs-dev/verity#2421 ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
lfglabs-dev/verity#2420 ·
-
override bodies are elaborated at the parent's position (cannot use child helpers); no super.f(args) Open
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#2419 ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
lfglabs-dev/verity#2418 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
lfglabs-dev/verity#2417 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lfglabs-dev/verity#2359 ·
-
Macro-emit reentrancy adversary holes and entrypoint registry (single-source rely-guarantee models) Openenhancement lean P1: core language
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#2094 ·
-
P3: deferred proof
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#2084 ·
-
proof(L2): Tier 3 — effects & observables (ABI encoding correctness; emit, typed reverts, returns) OpenP2: important proof
Difficulty 5/5 Over a week Newbie friendliness 28/100
lfglabs-dev/verity#2082 · 1 comment ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#2071 ·
-
Difficulty 5/5 Over a week Newbie friendliness 32/100
lfglabs-dev/verity#2059 ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#2058 ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#2023 ·
-
blocks:erc4337 blocks:morpho enhancement P3: deferred
Difficulty 5/5 Over a week Newbie friendliness 30/100
lfglabs-dev/verity#2002 ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 45/100
lfglabs-dev/verity#2000 · 2 comments ·
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#1997 ·
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#1995 ·
-
P2: important proof
Difficulty 5/5 Over a week Newbie friendliness 30/100
lfglabs-dev/verity#1994 ·
-
enhancement P2: important proof
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#1993 ·
-
enhancement P2: important
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#1992 ·
-
blocks:morpho P2: important proof
Difficulty 5/5 Over a week Newbie friendliness 35/100
lfglabs-dev/verity#1990 · 1 comment ·
-
cleanup P3: deferred
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#1987 · 1 comment ·
-
blocks:erc4337 blocks:lido blocks:morpho
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#1982 · 1 comment ·
-
enhancement P2: important proof
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#1963 · 1 comment ·
-
enhancement P2: important proof
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#1895 · 1 comment ·
-
enhancement P3: deferred
Difficulty 5/5 Over a week Newbie friendliness 15/100
lfglabs-dev/verity#1724 · 8 comments ·
-
P2: important proof
Difficulty 5/5 Over a week Newbie friendliness 25/100
lfglabs-dev/verity#1723 · 7 comments ·