
─── team / organization
lfglabs-dev
@lfglabs-dev
─── top repos · by stars
─── repositories
30 / 102Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
StarknetID Cairo Zero naming contract. It allows to resolve a .stark name to an address or an identity. Everything happens on chain.
Contract of the starknet identity base NFT built for compiler version 2.3.0
Built with Cairo, the Utu relay contract securely registers and verifies Bitcoin block data on Starknet, enabling smart contracts to validate Bitcoin transactions and access trust metrics.
A simple web interface allowing anyone to create his own poap SBT on Starknet. https://sbt.starknet.id/
Cairo implementation of the naming contract built for compiler version 2.3.0
Exploring a new kind of tokens on top of Starknet identities
A TypeScript library for reading and interacting with Bitcoin data on Starknet.
A private LLM assistant for crafting ethereum transactions
A typescript SDK to retrieve all the on-chain data that you need from Starknet ID
A component to manage URI base and append a numeric param
An implementation of a checker supporting discord for starknet identity.
─── top contributors

Th0rgal
4,756 commits

irisdv
1,874 commits

Marchand-Nicolas
1,187 commits

fricoben
1,166 commits

ayushtom
509 commits

claude
257 commits

sisou
146 commits

yogh333
72 commits

J4ckyLIM
71 commits

agrojean-ledger
70 commits

yhql
49 commits

emarc99
41 commits

Ayoazeez26
39 commits

snehaa-eth
38 commits

code-stan
33 commits

heyqbnk
32 commits

legend4tech
29 commits

lucemans
27 commits

Ugo-X
25 commits

BlackStarkGoku
24 commits
─── ecosystems
─── languages
- Cairo38
- TypeScript19
- Rust12
- Python11
- JavaScript4
- MDX2
─── subscriber view
Unlock the full view of lfglabs-dev
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.