Repository · quiet

Jackesgamero/smart-contract-security-lab

A benchmark of intentionally vulnerable smart contracts aligned with the SWC registry, built to evaluate formal verification tools including SolCMC, Certora, eThor, HoRStify, and Securify2

SolidityEthereum Virtual Machine Stack

GitHub

stars

forks

contributors

open issues

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit72d ago

Top contributors

Jackesgamero

@Jackesgamero

commits

Ecosystem context

Ethereum Virtual Machine Stack

subquery/subql

SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentralised products of the future.

TypeScriptlast commit 2026-04-01

18,795 stars

396 forks

59 contribs

orbitdb/orbitdb

Peer-to-Peer Databases for the Decentralized Web

JavaScriptlast commit 2026-05-14

8,791 stars

597 forks

72 contribs

MystenLabs/sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Rustlast commit 2026-06-09

7,699 stars

11,689 forks

503 contribs

biomejs/gritql

GritQL is a query language for searching, linting, and modifying code.

Rustlast commit 2026-06-01

4,522 stars

122 forks

32 contribs

tapexyz/tape

an open media-sharing platform.