Skip to content

@lfglabs-dev LFG Labs

All

    Repositories list

    129 repositories

    • lido-srv3-proof-closure

      Public
      Private Lido SRv3 formal methods final report package
      Lean
      •0•0•0•1•Updated Aug 26, 2026Aug 26, 2026

    • ethereum-verification-benchmark

      Public
      Benchmark for Verity-based smart contract verification research
      Lean
      •0•2•2•1•Updated Aug 26, 2026Aug 26, 2026

    • EVMYulLean

      Public
      Executable formal model of the EVM and Yul in Lean 4.
      Lean
      •
      Apache License 2.0
      •25•0•0•2•Updated Aug 26, 2026Aug 26, 2026

    • eip-8282-proof-closure

      Public
      Lean evidence for three EIP-8282 builder deposit/exit predeploy guarantees (abstract model CHECKED; Verity OPEN)
      Lean
      •
      MIT License
      •0•0•0•5•Updated Aug 26, 2026Aug 26, 2026

    • verity

      Public
      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
      •19•145•23•1•Updated Aug 25, 2026Aug 25, 2026

    • eip-8282-proof-flow-map

      Public
      Source-grounded EIP-8282 architecture and Lean 4 proof-flow planning map
      HTML
      •0•1•0•1•Updated Aug 20, 2026Aug 20, 2026

    • lean-silicon

      Public
      A formally verified physical scalar coprocessor for leanVM-b.
      Python
      •
      Apache License 2.0
      •0•1•0•3•Updated Aug 19, 2026Aug 19, 2026

    • EIPs

      Public
      The Ethereum Improvement Proposal repository
      Python
      •
      Creative Commons Zero v1.0 Universal
      •6.1k•0•0•1•Updated Aug 17, 2026Aug 17, 2026

    • evmbench

      Public
      A benchmark and harness for finding and exploiting smart contract bugs
      Python
      •
      Apache License 2.0
      •73•0•0•0•Updated Aug 10, 2026Aug 10, 2026

    • frontier-evals

      Public
      LFG Labs mirror of OpenAI frontier-evals for EVMBench data
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 7, 2026Aug 7, 2026

    • lfglabs-md-domains

      Public
      Minimal .md domain portfolio — LFG Labs
      TypeScript
      •0•0•0•0•Updated Aug 2, 2026Aug 2, 2026

    • starknetid.rs

      Public
      Rust
      •1•0•0•0•Updated Jul 25, 2026Jul 25, 2026

    • app.starknet.id

      Public
      Naming Service for Starknet
      ethereumzk-rollupstarknet
      ethereumzk-rollupstarknet
      TypeScript
      •
      MIT License
      •136•61•25•5•Updated Jul 20, 2026Jul 20, 2026

    • formal_bench_demo

      Public
      Runnable Lean 4 formal-verification benchmark demo: 10 tasks across 5 smart contracts
      smart-contractsformal-verificationlean4
      smart-contractsformal-verificationlean4ai-benchmark
      Lean
      •0•0•0•0•Updated Jul 16, 2026Jul 16, 2026

    • open-code-review

      Public
      Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, b…
      Go
      •
      Apache License 2.0
      •1.6k•0•0•0•Updated Jul 10, 2026Jul 10, 2026

    • SPHINCS-

      Public
      SPHINCS- variants are optimised versions of SLH-DSA (SPHINCS+). They optimise for signer load and cheap EVM verification.
      Lean
      •5•0•1•0•Updated Jun 15, 2026Jun 15, 2026

    • ink-verified-finance

      Public
      Example repo what could be the Ink verified finance spec pack
      0•0•0•0•Updated May 23, 2026May 23, 2026

    • starknet.quest

      Public
      The on-chain quest tool of Starknet
      TypeScript
      •180•40•8•6•Updated May 4, 2026May 4, 2026

    • starknet.id

      Public
      Presentation website of starknet.id
      reactwebsiteidentity
      reactwebsiteidentitynextjsstarknet
      TypeScript
      •40•7•2•13•Updated May 4, 2026May 4, 2026

    • explain.md

      Public
      TypeScript
      •1•0•0•0•Updated Apr 5, 2026Apr 5, 2026

    • TrustlessInference

      Public
      Access any AI model, with cryptographic proof you got exactly what you asked for
      TypeScript
      •0•0•1•0•Updated Apr 4, 2026Apr 4, 2026

    • private-ethereum-assistant

      Public
      A private LLM assistant for crafting ethereum transactions
      TypeScript
      •1•2•11•0•Updated Mar 29, 2026Mar 29, 2026

    • utu_bridge_indexer

      Public
      This allows to retrieve withdrawal requests newly requested, and to generate the corresponding transaction.
      TypeScript
      •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • vibecoding.relens.ai

      Public
      The vibe coding leaderboard
      TypeScript
      •0•1•0•2•Updated Feb 21, 2026Feb 21, 2026

    • graphgpt.app

      Public archive
      The graph app of ChatGPT
      TypeScript
      •6•1•0•2•Updated Feb 21, 2026Feb 21, 2026

    • unbound.md

      Public
      Human Services for Autonomous Agents - Bridging Digital Autonomy and Physical Reality
      TypeScript
      •0•1•0•0•Updated Feb 13, 2026Feb 13, 2026

    • awesome-amp-code

      Public
      An unofficial curated list of resources for Amp, an AI coding agent.
      awesomeawesome-listampcode
      awesomeawesome-listampcodeamp-cli
      Creative Commons Zero v1.0 Universal
      •13•76•0•1•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
      awesomeawesome-listkimimoonshot-aikimi-cli
      Other
      •2•1•0•2•Updated Feb 9, 2026Feb 9, 2026

    • md-domains-sale

      Public
      TypeScript
      •0•1•0•0•Updated Feb 5, 2026Feb 5, 2026

    • vibetracking.dev

      Public
      A fun app to track your vibe coding and compare yourself
      TypeScript
      •0•2•0•0•Updated Jan 31, 2026Jan 31, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.