Owner

lfglabs-dev

19 indexed repositories · View on GitHub

verity
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full f...

Lean · 148 stars
app.starknet.id
Naming Service for Starknet

TypeScript · 61 stars
starknet.quest
The on-chain quest tool of Starknet

TypeScript · 39 stars
api.starknet.quest
starknet.quest rust backend

Rust · 10 stars
starknet.id
Presentation website of starknet.id

TypeScript · 7 stars
naming
Cairo implementation of the naming contract built for compiler version 2.3.0

Cairo · 4 stars
api.starknet.id
StarknetID API written in Rust.

Rust · 3 stars
ethereum-verification-benchmark
Benchmark for Verity-based smart contract verification research

Lean · 3 stars
starknetid.js
A typescript SDK to retrieve all the on-chain data that you need from Starknet ID

TypeScript · 2 stars
mcserverjars.com
The authoritative registry for Minecraft server jars. Download Paper, Spigot, Vanilla, Fabric, Forge, and more.

TypeScript · 2 stars
private-ethereum-assistant
A private LLM assistant for crafting ethereum transactions

TypeScript · 2 stars
ethbutton.com
The ethereum button: an app to promote the ethereum ecosystem and self custody

TypeScript · 1 star
auto_renew_bot
A rust bot that triggers the auto-renewals

Rust · 1 star
resolver_ccip

Cairo · 0 stars
affiliate.starknet.id
Affiliate space for stark domains

TypeScript · 0 stars
calorily_old

TypeScript · 0 stars
api.calorily.com

Python · 0 stars
utu_runes_lib
A cairo library for parsing Runestones

Cairo · 0 stars
TrustlessInference
Access any AI model, with cryptographic proof you got exactly what you asked for

TypeScript · 0 stars

Beginner friendly Everything

Open All

verity_contract bodies hit a Lean 4.31 do-notation elaboration failure (name-dependent) with mutable reassignments interleaved with binds Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

lfglabs-dev/verity#2427 · Opened Sep 18, 2026
Typed interface calls cannot return multiple values Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

lfglabs-dev/verity#2424 · 1 comment · Opened Sep 18, 2026
Ergonomics: Contracts namespace clashes, reserved identifiers (from/to/this), reserved ERC-20 helper names, callee-first ordering Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#2423 · Opened Sep 18, 2026
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 · Opened Sep 18, 2026
Statement/expression forms rejected in verity_contract bodies: if-without-else, mutable monadic rebinds, Int256/Bool ternaries, Bool negation Open

Difficulty 4/5 3-5 days Newbie friendliness 52/100

lfglabs-dev/verity#2421 · Opened Sep 18, 2026
Absolute parent slots and diamond rejection prevent reusing OZ upgradeable parents across inheritance chains Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

lfglabs-dev/verity#2420 · Opened Sep 18, 2026
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 · Opened Sep 18, 2026
Interface-typed storage fields are rejected (design note promises them); no address-to-interface cast for storage-held callees Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

lfglabs-dev/verity#2418 · Opened Sep 18, 2026
Storage: Bool/Uint8/Bytes32 scalars, packed bool/address slots and FixedArray Uint256 gaps cannot be declared (solc layout parity) Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

lfglabs-dev/verity#2417 · Opened Sep 18, 2026
Executable plane of getMappingN/setMappingN/structMember(2) is a pure-0/no-op stub (nested and struct mappings have no state) Closed

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#2416 · Opened Sep 18, 2026
linked_contracts bindings are declarative only: bound calls still elaborate to the adversary oracle, callee bodies never run Closed

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#2415 · 1 comment · Opened Sep 18, 2026
EVMYulLean fork conformance probe failed Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

lfglabs-dev/verity#2359 · Opened Aug 17, 2026
Macro-emit reentrancy adversary holes and entrypoint registry (single-source rely-guarantee models) Open

enhancement lean P1: core language

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#2094 · Opened Jul 3, 2026
proof(L2): Tier 4 — external calls & low-level mechanics (call frames, returndata, ECM) Open

P3: deferred proof

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#2084 · Opened Jul 2, 2026
proof(L2): Tier 3 — effects & observables (ABI encoding correctness; emit, typed reverts, returns) Open

P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 28/100

lfglabs-dev/verity#2082 · 1 comment · Opened Jul 2, 2026
Track EntryPoint feature PRs needed for ERC-4337 Verity parity Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#2071 · Opened Jun 28, 2026
Keep ERC-4337 benchmark boundary minimal after dedicated repo split Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

lfglabs-dev/ethereum-verification-benchmark#111 · Opened Jun 28, 2026
feat(codegen): emit solc-shaped ABI, allocation, arithmetic, and library Yul helpers Open

Difficulty 5/5 Over a week Newbie friendliness 32/100

lfglabs-dev/verity#2059 · Opened Jun 24, 2026
feat(codegen): solc-shaped internal helper outlining for Yul identity targets Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#2058 · Opened Jun 24, 2026
v0.2: harden benchmark harness preflight, validity, retries, loops, and failure taxonomy Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/ethereum-verification-benchmark#97 · Opened Jun 21, 2026
feat(CodeData): typed byte-layout proof surface for CREATE2/SSTORE2 code-as-storage Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#2023 · Opened Jun 13, 2026
feat(Patterns): typed EIP-712 / ecrecover signature-flow pattern Open

blocks:erc4337 blocks:morpho enhancement P3: deferred

Difficulty 5/5 Over a week Newbie friendliness 30/100

lfglabs-dev/verity#2002 · Opened Jun 12, 2026
feat(Events): broaden source-shaped emit surface (dynamic/struct event args) Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 45/100

lfglabs-dev/verity#2000 · 2 comments · Opened Jun 12, 2026
feat(Codegen): native Solidity panic payload emission (Panic(uint256)) Closed

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#1999 · 1 comment · Opened Jun 12, 2026
feat(Semantics): first-class multicall + delegatecall frame semantics (bytes[] iteration) Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#1997 · Opened Jun 12, 2026
feat(Storage): first-class transient storage for arbitrary computed slots/locks Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#1995 · Opened Jun 12, 2026
proof: generated-body execution summaries to auto-discharge discipline axioms Open

P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 30/100

lfglabs-dev/verity#1994 · Opened Jun 12, 2026
feat(Codegen,Proofs): automatic checked-arithmetic obligations (solc 0.8 overflow semantics) Open

enhancement P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#1993 · Opened Jun 12, 2026
feat(Codegen): true bytecode immutables (constructor-set values embedded in runtime code) Open

enhancement P2: important

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#1992 · Opened Jun 12, 2026
Frame rule, footprint computation, and coupling invariants for the IR interpreter Open

blocks:morpho P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/verity#1990 · 1 comment · Opened Jun 11, 2026
Complete Python doc-sync consolidation (sync_engine covers 3/70 scripts) Open

cleanup P3: deferred

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#1987 · 1 comment · Opened Jun 10, 2026
High-leverage roadmap to shrink ECM surface and manual modeling (dynamic ABI codec, typed dynamic CodeData/SSTORE2, packed storage layouts, transient, bitmap iteration, multicall/delegatecall) Open

blocks:erc4337 blocks:lido blocks:morpho

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#1982 · 1 comment · Opened Jun 9, 2026
Semantics: model stateful external contract interactions Open

enhancement P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#1963 · 1 comment · Opened Jun 7, 2026
Effects: strengthen generated annotations into execution frame theorems Open

enhancement P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#1895 · 1 comment · Opened May 16, 2026
Solidity feature parity: close the gap between verity_contract EDSL and production Solidity Open

enhancement P3: deferred

Difficulty 5/5 Over a week Newbie friendliness 15/100

lfglabs-dev/verity#1724 · 8 comments · Opened Apr 12, 2026
Extend proven fragment to cover the full CompilationModel language surface Open

P2: important proof

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/verity#1723 · 7 comments · Opened Apr 12, 2026
Clean up frontend: compact model select + polished UI Open

Difficulty 3/5 1-2 days Newbie friendliness 72/100

lfglabs-dev/TrustlessInference#2 · Opened Apr 4, 2026
Benchmark OpenRouter models (qwen3-32b, deepseek-r1, gemma-3-27b) Open

Difficulty 4/5 3-5 days Newbie friendliness 62/100

lfglabs-dev/private-ethereum-assistant#67 · Opened Mar 24, 2026
Add Linux secret storage backend Open

Difficulty 5/5 Over a week Newbie friendliness 32/100

lfglabs-dev/private-ethereum-assistant#58 · Opened Mar 20, 2026
[Modes] Replace actor with explicit EOA/Safe/Private mode, confirmed switching, and top-right mode picker Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/private-ethereum-assistant#46 · Opened Mar 16, 2026
Railgun unshield proof hangs at 95% in E2E Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

lfglabs-dev/private-ethereum-assistant#41 · 1 comment · Opened Mar 14, 2026
Add minimal Trust Wallet token metadata/icon integration for EVM chains Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/private-ethereum-assistant#35 · Opened Mar 13, 2026
[Morpho] Add actor-aware Morpho support for EOA, Safe, and Railgun Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/private-ethereum-assistant#27 · Opened Mar 13, 2026
[Swaps] Add actor-aware swap support for EOA, Safe, and Railgun Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/private-ethereum-assistant#26 · Opened Mar 13, 2026
[EOA Management] Add multi-account registry, balance discovery, and account selection Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/private-ethereum-assistant#25 · Opened Mar 13, 2026
[Railgun] Add private/public balance-aware routing and deposit recommendation Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

lfglabs-dev/private-ethereum-assistant#24 · Opened Mar 13, 2026
[Railgun] Support ENS/public-recipient sends by routing through unshield Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/private-ethereum-assistant#22 · Opened Mar 13, 2026
[EOA] Add high-value approval policy and local confirmation UI for sends Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/private-ethereum-assistant#21 · Opened Mar 13, 2026
Add older Paper builds Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

lfglabs-dev/mcserverjars.com#9 · Opened Mar 7, 2026
(twbs#41961) Open

Difficulty 5/5 Over a week Newbie friendliness 10/100

lfglabs-dev/auto_renew_bot#64 · Opened Jan 26, 2026

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

lfglabs-dev

Showing the newest 100

Get new issues in your inbox