Repositories list

• verity

  Public

  lfglabs-dev/verity’s past year of commit activity
  Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification prac…

  Lean

  •

  MIT License

  •44 forks•6868 stars•88 issues•11 pull request•Updated Apr 23, 2026Apr 23, 2026

• EVMYulLean

  Public

  lfglabs-dev/EVMYulLean’s past year of commit activity
  Executable formal model of the EVM and Yul in Lean 4.

  Lean

  •

  Apache License 2.0

  •1010 forks•00 stars•00 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• verity-benchmark

  Public
  Benchmark for Verity-based smart contract verification research

  Lean

  •00 forks•00 stars•00 issues•44 pull requests•Updated Apr 22, 2026Apr 22, 2026

• lfglabs.dev

  Public
  LFG labs website

  JavaScript

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• app.starknet.id

  Public
  Identity Service for Starknet

  ethereumzk-rollupstarknet

  ethereumzk-rollupstarknet

  TypeScript

  •

  MIT License

  •137137 forks•6161 stars•2525 issues•55 pull requests•Updated Apr 5, 2026Apr 5, 2026

• explain.md

  Public
  TypeScript

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 5, 2026Apr 5, 2026

• TrustlessInference

  Public
  Access any AI model, with cryptographic proof you got exactly what you asked for

  TypeScript

  •00 forks•00 stars•11 issue•00 pull requests•Updated Apr 4, 2026Apr 4, 2026

• private-ethereum-assistant

  Public
  A private LLM assistant for crafting ethereum transactions

  TypeScript

  •11 fork•22 stars•1111 issues•00 pull requests•Updated Mar 29, 2026Mar 29, 2026

• utu_bridge_indexer

  Public

  lfglabs-dev/utu_bridge_indexer’s past year of commit activity
  This allows to retrieve withdrawal requests newly requested, and to generate the corresponding transaction.

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 24, 2026Feb 24, 2026

• vibecoding.relens.ai

  Public

  lfglabs-dev/vibecoding.relens.ai’s past year of commit activity
  The vibe coding leaderboard

  TypeScript

  •00 forks•11 star•00 issues•22 pull requests•Updated Feb 21, 2026Feb 21, 2026

• starknet.quest

  Public
  The on-chain quest tool of Starknet

  TypeScript

  •186186 forks•4040 stars•88 issues•66 pull requests•Updated Feb 21, 2026Feb 21, 2026

• graphgpt.app

  Public archive
  The graph app of ChatGPT

  TypeScript

  •55 forks•00 stars•00 issues•22 pull requests•Updated Feb 21, 2026Feb 21, 2026

• starknet.id

  Public
  Presentation website of starknet.id

  reactwebsiteidentity+ 2

  reactwebsiteidentitynextjsstarknet

  TypeScript

  •4040 forks•77 stars•22 issues•1313 pull requests•Updated Feb 21, 2026Feb 21, 2026

• unbound.md

  Public
  Human Services for Autonomous Agents - Bridging Digital Autonomy and Physical Reality

  TypeScript

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 13, 2026Feb 13, 2026

• awesome-amp-code

  Public
  An unofficial curated list of resources for Amp, an AI coding agent.

  awesomeawesome-listampcode+ 1

  awesomeawesome-listampcodeamp-cli

  Creative Commons Zero v1.0 Universal

  •1313 forks•6969 stars•00 issues•11 pull request•Updated Feb 9, 2026Feb 9, 2026

• awesome-kimi-cli

  Public
  An unofficial curated list of resources for Kimi Code (Kimi CLI), an AI coding agent.

  awesomeawesome-listkimi+ 2

  awesomeawesome-listkimimoonshot-aikimi-cli

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 9, 2026Feb 9, 2026

• md-domains-sale

  Public
  TypeScript

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 5, 2026Feb 5, 2026

• vibetracking.dev

  Public
  A fun app to track your vibe coding and compare yourself

  TypeScript

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jan 31, 2026Jan 31, 2026

• codex-ralph-wiggum

  Public
  Type `ralph "prompt"` to start codex in a ralph loop. Also supports a prompt file & status check.

  TypeScript

  •

  MIT License

  •121121 forks•00 stars•00 issues•00 pull requests•Updated Jan 19, 2026Jan 19, 2026

• mcserverjars.com

  Public
  The authoritative registry for Minecraft server jars. Download Paper, Spigot, Vanilla, Fabric, Forge, and more.

  minecraft-server-softwarevelocity-proxyforge-server+ 17

  minecraft-server-softwarevelocity-proxyforge-serverminecraft-server-hostingfabric-serverneoforge-serverminecraft-java-serverminecraft-server-jarpaper-server-downloadspigot-download+ 10

  TypeScript

  •00 forks•22 stars•11 issue•00 pull requests•Updated Jan 4, 2026Jan 4, 2026

• offline_cinema

  Public
  Swift

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 3, 2026Jan 3, 2026

• convertify

  Public
  Swift

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 19, 2025Dec 19, 2025

• nodes_deployment

  Public
  Example deployment of Bitcoin Core, Ord and Juno

  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 15, 2025Dec 15, 2025

• api.starknet.id

  Public
  StarknetID API written in Rust.

  Rust

  •1717 forks•33 stars•11 issue•22 pull requests•Updated Nov 15, 2025Nov 15, 2025

• utu_runes_lib

  Public
  A cairo library for parsing Runestones

  Cairo

  •00 forks•00 stars•11 issue•11 pull request•Updated Sep 24, 2025Sep 24, 2025

• api.sales.starknet.id

  Public
  Rust

  •1111 forks•00 stars•00 issues•00 pull requests•Updated Sep 22, 2025Sep 22, 2025

• auto_renew_bot

  Public
  A rust bot that triggers the auto-renewals

  Rust

  •00 forks•11 star•22 issues•00 pull requests•Updated Sep 19, 2025Sep 19, 2025

• starknetid.js

  Public
  A typescript SDK to retrieve all the on-chain data that you need from Starknet ID

  TypeScript

  •

  MIT License

  •22 forks•22 stars•33 issues•00 pull requests•Updated Sep 16, 2025Sep 16, 2025

• starknetid.rs

  Public
  Rust

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 16, 2025Sep 16, 2025

• utu_bridge_deposit_request

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 12, 2025Aug 12, 2025