Skip to content
@lfglabs-dev

LFG Labs

We are a AI native company building products for Agentic Era

Pinned Loading

  1. identity identity Public

    Contract of the starknet identity base NFT built for compiler version 2.3.0

    Cairo 9 3

  2. naming naming Public

    Cairo implementation of the naming contract built for compiler version 2.3.0

    Cairo 4 4

  3. app.starknet.id app.starknet.id Public

    Identity Service for Starknet

    TypeScript 61 137

  4. indexer indexer Public

    TypeScript 4 2

Repositories

Showing 10 of 118 repositories
  • verity Public

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

    lfglabs-dev/verity’s past year of commit activity
    Lean 68 MIT 4 8 3 Updated Apr 20, 2026
  • lfglabs.dev Public

    LFG labs website

    lfglabs-dev/lfglabs.dev’s past year of commit activity
    JavaScript 0 0 0 1 Updated Apr 17, 2026
  • verity-benchmark Public

    Benchmark for Verity-based smart contract verification research

    lfglabs-dev/verity-benchmark’s past year of commit activity
    Lean 0 0 0 1 Updated Apr 17, 2026
  • EVMYulLean Public Forked from NethermindEth/EVMYulLean

    Executable formal model of the EVM and Yul in Lean 4.

    lfglabs-dev/EVMYulLean’s past year of commit activity
    Lean 0 Apache-2.0 10 0 0 Updated Apr 16, 2026
  • app.starknet.id Public

    Identity Service for Starknet

    lfglabs-dev/app.starknet.id’s past year of commit activity
    TypeScript 61 MIT 137 25 (3 issues need help) 5 Updated Apr 5, 2026
  • explain.md Public
    lfglabs-dev/explain.md’s past year of commit activity
    TypeScript 0 1 0 0 Updated Apr 5, 2026
  • TrustlessInference Public

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

    lfglabs-dev/TrustlessInference’s past year of commit activity
    TypeScript 0 0 1 0 Updated Apr 4, 2026
  • private-ethereum-assistant Public

    A private LLM assistant for crafting ethereum transactions

    lfglabs-dev/private-ethereum-assistant’s past year of commit activity
    TypeScript 2 1 11 0 Updated Mar 29, 2026
  • utu_bridge_indexer Public

    This allows to retrieve withdrawal requests newly requested, and to generate the corresponding transaction.

    lfglabs-dev/utu_bridge_indexer’s past year of commit activity
    TypeScript 0 0 0 0 Updated Feb 24, 2026
  • vibecoding.relens.ai Public

    The vibe coding leaderboard

    lfglabs-dev/vibecoding.relens.ai’s past year of commit activity
    TypeScript 1 0 0 2 Updated Feb 21, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…