SECURI-LAB

SECURI-LAB's Stars

• gpt-engineer-org/gpt-engineer

  Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

  Language:Python52.3k6.8k

• sherlock-project/sherlock

  Hunt down social media accounts by username across social networks

  Language:Python59.9k6.9k

• coollabsio/coolify

  An open-source & self-hostable Heroku / Netlify / Vercel alternative.

  Language:PHP33.5k1.8k

• hakluke/hakrevdns

  Small, fast tool for performing reverse DNS lookups en masse.

  Language:Go1.4k156

• SunWeb3Sec/blocksec-ctfs

  A curated list of blockchain security Capture the Flag (CTF) competitions

  8114

• SunWeb3Sec/DeFiVulnLabs

  To learn common smart contract vulnerabilities using Foundry!

  Language:Solidity1.6k278

• SunWeb3Sec/awesome-foundry

  A curated list of awesome of the Foundry development framework.

  3413

• valixconsulting/valix-ctf-playground

  An interactive Ethereum-based platform for mastering offensive security in Smart Contracts.

  Language:Solidity13

• fuzzland/ityfuzz

  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

  Language:Rust855136

• pessimistic-io/slitherin

  Slither Detectors by Pessimistic.io

  Language:Python35562

• crytic/amarna

  Amarna is a static-analyzer and linter for the Cairo programming language.

  Language:Python1487

• OffcierCia/On-Chain-Investigations-Tools-List

  Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!

  1.3k163

• forta-network/starter-kits

  Language:Jupyter Notebook6638

• ivicanikolicsg/MAIAN

  MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

  Language:Python555157

• Consensys/scribble

  Scribble instrumentation tool

  Language:TypeScript31429

• Picodes/4naly3er

  Static smart contract code 4naly3er

  Language:TypeScript514139

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python81167

• naddison36/sol2uml

  Solidity contract visualisation tool

  Language:TypeScript1.2k275

• crytic/echidna

  Ethereum smart contract fuzzer

  Language:Haskell2.7k368

• openware/opendax

  Open-Source Cloud-Native Digital Asset & Cryptocurrency Exchange Platform

  Language:HTML628539

• Decurity/abi-decompiler

  Ethereum (EVM) smart contracts reverse engineering helper utility

  Language:C21733

• Decurity/semgrep-smart-contracts

  Semgrep rules for smart contracts based on DeFi exploits

  Language:Solidity63187

• Consensys/mythril

  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

  Language:Python3.9k737

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.3k964