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

upgrade to starknet.js 7 Open

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

lfglabs-dev/starknetid.js#45 · 1 comment · Opened Jul 14, 2025
Infinite loading on my wallet here Open

lfglabs-dev/app.starknet.id#1178 · 1 assignee · Opened Jul 9, 2025
June management Open

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

lfglabs-dev/starknet.quest#1191 · Opened Jul 7, 2025
Fix Display Bug: Do Not Show Broken Icon for Tokens Without Images Open

onlydust-wave

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

lfglabs-dev/starknet.quest#1167 · 4 comments · Opened May 17, 2025
Github verification bug Open

Good first issue onlydust-wave Open for contribution

lfglabs-dev/app.starknet.id#1127 · 10 comments · 1 assignee · Opened Mar 10, 2025
When no identity I have an error Open

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

lfglabs-dev/app.starknet.id#1125 · 2 comments · Opened Mar 10, 2025
PFP bug Open

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

lfglabs-dev/app.starknet.id#1124 · 2 comments · Opened Mar 10, 2025
New "subscription button" - Final Review Open

Good first issue onlydust-wave Open for contribution

lfglabs-dev/app.starknet.id#1100 · 6 comments · 1 assignee · Opened Feb 28, 2025
Add animation page reveal Open

Good first issue May Be Rewarded ODHack13 onlydust-wave Open for contribution

lfglabs-dev/starknet.id#117 · 28 comments · 1 assignee · Opened Feb 12, 2025
Bug on the contract Open

bug

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

lfglabs-dev/naming#74 · Opened Feb 6, 2025
Discover Starknet DeFi Ecosystem - Add Real World Assets (RWA) cards Open

Good first issue onlydust-wave open for contribution

lfglabs-dev/starknet.quest#1098 · 18 comments · 1 assignee · Opened Feb 3, 2025
No way to understand what is expired ot not on `/identities` Open

lfglabs-dev/app.starknet.id#1015 · 1 assignee · Opened Feb 3, 2025
Redesign the stats detail quest page - Modify the task section cards Open

Good first issue onlydust-wave open for contribution

lfglabs-dev/starknet.quest#1085 · 28 comments · 1 assignee · Opened Jan 28, 2025
Redesign the stats detail quest page - Modify the "Unique Users" card. #1082 Open

Good first issue onlydust-wave open for contribution

lfglabs-dev/starknet.quest#1083 · 10 comments · 1 assignee · Opened Jan 28, 2025
Redesign the stats detail quest page - Modify the border radius of the chip Open

Good first issue onlydust-wave open for contribution

lfglabs-dev/starknet.quest#1079 · 15 comments · 1 assignee · Opened Jan 28, 2025
Refont of reward section - Refont the data cards Open

Good first issue onlydust-wave open for contribution

lfglabs-dev/starknet.quest#1073 · 14 comments · 1 assignee · Opened Jan 28, 2025
Add the possibility to clear free renewal blacklist Open

🍒 Nice to have

lfglabs-dev/naming#72 · 1 assignee · Opened Dec 2, 2024
Api not up to date with subscription changes Open

🚨 Important bug

lfglabs-dev/api.starknet.id#119 · 1 comment · 1 assignee · Opened Dec 2, 2024
Verify a chain of Runestone Open

lfglabs-dev/utu_runes_lib#2 · 1 comment · 1 assignee · Opened Nov 19, 2024
Update to last cairo version Open

OD Boost Open for contribution

lfglabs-dev/resolver_ccip#6 · 23 comments · 1 assignee · Opened Nov 17, 2024
Make the Argent wallet connection faster Open

Expert issue Open for contribution

lfglabs-dev/app.starknet.id#916 · 14 comments · 1 assignee · Opened Nov 15, 2024
Dashboard V3 Open

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

lfglabs-dev/starknet.quest#881 · 9 comments · Opened Oct 14, 2024
Slow auto connection Open

🚨 Small bug

lfglabs-dev/app.starknet.id#888 · 1 comment · 1 assignee · Opened Sep 23, 2024
Find a way to tell users their domain expired on other frontends Open

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

lfglabs-dev/starknetid.js#42 · 2 comments · Opened Jul 10, 2024
Reloading the page after spending my eth free tickets doesn't prompt to install argent Open

bug

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

lfglabs-dev/ethbutton.com#11 · Opened Jul 9, 2024
Add feedback when reseting button Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

lfglabs-dev/ethbutton.com#10 · Opened Jul 9, 2024
Display 0 available clicks Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

lfglabs-dev/ethbutton.com#8 · Opened Jul 9, 2024
Optimize conversions: Starknet starterpack: Not enough balance => orbiter or layer swap integration Open

🍒 Nice to have

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

lfglabs-dev/app.starknet.id#775 · 2 comments · Opened May 13, 2024
Optimize conversions: AVNU integration on checkout Open

🍒 Nice to have

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

lfglabs-dev/app.starknet.id#774 · 3 comments · Opened May 13, 2024
Balance takes too much time to be updated Open

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

lfglabs-dev/app.starknet.id#746 · 2 comments · Opened Apr 25, 2024
Modify text "become an affiliate" page Open

Difficulty 1/5 Under an hour Newbie friendliness 45/100

lfglabs-dev/starknet.id#58 · 6 comments · Opened Apr 11, 2024
Add a try catch in multicalls of starknetid.js Open

lfglabs-dev/starknetid.js#31 · 2 comments · 1 assignee · Opened Apr 3, 2024
Twitter verification issue Open

🚨 Small bug

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

lfglabs-dev/app.starknet.id#670 · 5 comments · Opened Feb 15, 2024
Refresh when opening the app back Open

🍒 Nice to have

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

lfglabs-dev/calorily_old#6 · Opened Jan 31, 2024
Food Tags for Meal Cards Open

🍒 Nice to have

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

lfglabs-dev/calorily_old#5 · Opened Jan 28, 2024
Enhancing Food Results Accuracy Open

🍒 Nice to have

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

lfglabs-dev/api.calorily.com#3 · Opened Jan 28, 2024
Backend Support for QR and Barcode Scanning Open

🍒 Nice to have

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

lfglabs-dev/api.calorily.com#2 · Opened Jan 28, 2024
Introduce data tracking Open

🍾 Priority feature

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

lfglabs-dev/api.calorily.com#1 · Opened Jan 28, 2024
Revamp progress page Open

🍾 Priority feature

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

lfglabs-dev/calorily_old#4 · Opened Jan 28, 2024
Implement Onboarding Process Open

🍾 Priority feature

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

lfglabs-dev/calorily_old#3 · Opened Jan 25, 2024
Implement Smart Notifications Based on User Behavior Open

🍒 Nice to have

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

lfglabs-dev/calorily_old#2 · Opened Jan 25, 2024
Add Basic Notification Feature Open

🍾 Priority feature

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

lfglabs-dev/calorily_old#1 · Opened Jan 25, 2024
User domain page shows no social Icons Open

🚨 Small bug

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

lfglabs-dev/app.starknet.id#655 · 3 comments · Opened Jan 23, 2024
PFP setting after checkout Open

🍒 Nice to have

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

lfglabs-dev/app.starknet.id#653 · 2 comments · Opened Jan 23, 2024
Social verification page issue Open

🚨 Small bug

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

lfglabs-dev/app.starknet.id#650 · 1 comment · Opened Jan 23, 2024
Improve CTA to buy a domain Open

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

lfglabs-dev/app.starknet.id#641 · 1 comment · Opened Jan 18, 2024
Windows pop up spam - Braavos Open

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

lfglabs-dev/app.starknet.id#640 · Opened Jan 18, 2024
Bad UX when verifying twitter/discord/github Open

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

lfglabs-dev/app.starknet.id#578 · 3 comments · Opened Dec 12, 2023
Marketplace: Send, receive, configure and manage an offers Open

🍾 Priority feature

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

lfglabs-dev/app.starknet.id#477 · Opened Nov 2, 2023
Marketplace: Manage offers Open

🍾 Priority feature

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

lfglabs-dev/app.starknet.id#476 · 1 comment · Opened Nov 2, 2023

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