Skip to content

@lfglabs-dev LFG Labs

All

    Repositories list

    131 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 prac…
      Lean
      •
      MIT License
      •20•148•36•5•Updated Oct 5, 2026Oct 5, 2026

    • ethereum-verification-benchmark

      Public
      Benchmark for Verity-based smart contract verification research
      Lean
      •0•3•2•2•Updated Oct 4, 2026Oct 4, 2026

    • morpho-midnight-verity

      Public
      Lean
      •0•0•0•0•Updated Oct 2, 2026Oct 2, 2026

    • rust-verification-benchmark-harbor

      Public
      Rust Verification Benchmark v1.0: 100 Harbor environments for formal proofs over real Rust code
      0•0•0•0•Updated Oct 1, 2026Oct 1, 2026

    • lido-srv3-proof-closure

      Public
      Private Lido SRv3 formal methods final report package
      Lean
      •0•0•0•0•Updated Sep 22, 2026Sep 22, 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•1•Updated Sep 15, 2026Sep 15, 2026

    • EIPs

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

    • lean-silicon

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

    • EVMYulLean

      Public
      Executable formal model of the EVM and Yul in Lean 4.
      Lean
      •
      Apache License 2.0
      •23•0•0•2•Updated Aug 30, 2026Aug 30, 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

    • evmbench

      Public
      A benchmark and harness for finding and exploiting smart contract bugs
      Python
      •
      Apache License 2.0
      •75•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
      •138•61•25•7•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
      •3.2k•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•39•8•12•Updated May 4, 2026May 4, 2026

    • starknet.id

      Public
      Presentation website of starknet.id
      reactwebsiteidentity
      reactwebsiteidentitynextjsstarknet
      TypeScript
      •41•7•2•14•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
      •15•79•0•3•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
      •3•2•0•3•Updated Feb 9, 2026Feb 9, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.