Repositories list

• echidna

  Public
  Ethereum smart contract fuzzer

  testingsecurityethereum+ 4

  testingsecurityethereumsmart-contractssolidityfuzzerevm

  Haskell

  •

  GNU Affero General Public License v3.0

  •432432 forks•3.2k3.2k stars•6767 issues•3535 pull requests•Updated Aug 27, 2026Aug 27, 2026

• slither

  Public
  Static Analyzer for Solidity and Vyper

  static-analysisethereumsolidity+ 1

  static-analysisethereumsolidityvyper

  Python

  •

  GNU Affero General Public License v3.0

  •1.1k1.1k forks•6.4k6.4k stars•369369 issues•104104 pull requests•Updated Aug 26, 2026Aug 26, 2026

• crytic-compile

  Public
  Abstraction layer for smart contract build systems

  Python

  •

  GNU Affero General Public License v3.0

  •9696 forks•198198 stars•8080 issues•1212 pull requests•Updated Aug 25, 2026Aug 25, 2026

• medusa

  Public
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

  Go

  •

  GNU Affero General Public License v3.0

  •8888 forks•485485 stars•4747 issues•2727 pull requests•Updated Aug 19, 2026Aug 19, 2026

• fluxture

  Public
  A crawling framework for blockchains and peer-to-peer systems

  Python

  •

  Apache License 2.0

  •99 forks•4646 stars•11 issue•55 pull requests•Updated Aug 10, 2026Aug 10, 2026

• solc-select

  Public
  Manage and switch between Solidity compiler versions

  ethereumsolidity

  ethereumsolidity

  Python

  •

  GNU Affero General Public License v3.0

  •107107 forks•816816 stars•99 issues•1212 pull requests•Updated Jun 4, 2026Jun 4, 2026

• crytic.nix

  Public

  crytic/crytic.nix’s past year of commit activity
  A flake.nix for easy access to crytic tools

  Python

  •11 fork•22 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• medusa-geth

  Public
  A go-ethereum fork enabling additional testing capabilities for medusa

  44 forks•1313 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• pyevmasm

  Public
  Ethereum Virtual Machine (EVM) disassembler and assembler

  pythonethereumassembler+ 2

  pythonethereumassemblerevmdissassembler

  Python

  •

  Apache License 2.0

  •5252 forks•387387 stars•1010 issues•1010 pull requests•Updated Apr 17, 2026Apr 17, 2026

• building-secure-contracts

  Public

  crytic/building-secure-contracts’s past year of commit activity
  Guidelines and training material to write secure smart contracts

  Solidity

  •

  GNU Affero General Public License v3.0

  •389389 forks•2.5k2.5k stars•3636 issues•2222 pull requests•Updated Apr 13, 2026Apr 13, 2026

• properties

  Public
  Pre-built security properties for common Ethereum operations

  Solidity

  •

  GNU Affero General Public License v3.0

  •5959 forks•371371 stars•1818 issues•1717 pull requests•Updated Mar 9, 2026Mar 9, 2026

• solana-lints

  Public
  Lints based on the Sealevel Attacks

  Rust

  •1111 forks•4848 stars•33 issues•1313 pull requests•Updated Feb 19, 2026Feb 19, 2026

• slither-lsp

  Public
  Python

  •

  GNU Affero General Public License v3.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jan 26, 2026Jan 26, 2026

• slither-action

  Public
  Shell

  •

  GNU Affero General Public License v3.0

  •2323 forks•142142 stars•77 issues•33 pull requests•Updated Jan 16, 2026Jan 16, 2026

• cloudexec

  Public
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs

  Go

  •

  GNU Affero General Public License v3.0

  •11 fork•2222 stars•1919 issues•22 pull requests•Updated Jan 15, 2026Jan 15, 2026

• roundme

  Public
  Rust

  •

  GNU Affero General Public License v3.0

  •1010 forks•104104 stars•33 issues•33 pull requests•Updated Nov 25, 2025Nov 25, 2025

• fuzz-utils

  Public
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

  Solidity

  •

  GNU Affero General Public License v3.0

  •55 forks•116116 stars•1717 issues•22 pull requests•Updated Aug 25, 2025Aug 25, 2025

• contract-explorer

  Public
  Visual Studio Code integration for Slither, a Solidity static analysis framework

  static-analysisethereumvisual-studio-code+ 2

  static-analysisethereumvisual-studio-codesolidityvscode-extension

  TypeScript

  •

  GNU Affero General Public License v3.0

  •88 forks•3636 stars•2121 issues•33 pull requests•Updated Aug 8, 2025Aug 8, 2025

• attacknet

  Public
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

  Go

  •

  GNU Affero General Public License v3.0

  •1616 forks•7575 stars•77 issues•22 pull requests•Updated Jul 9, 2025Jul 9, 2025

• anchorx-ray

  Public
  Node module for scanning and visualize Solana accounts

  HTML

  •

  GNU Affero General Public License v3.0

  •33 forks•3939 stars•33 issues•00 pull requests•Updated Mar 3, 2025Mar 3, 2025

• amarna

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

  linterstatic-analysiscairo+ 1

  linterstatic-analysiscairostarknet

  Python

  •

  GNU Affero General Public License v3.0

  •77 forks•147147 stars•1111 issues•33 pull requests•Updated Feb 14, 2025Feb 14, 2025

• etheno

  Public archive
  Simplify Ethereum security analysis and testing

  ethereumtrufflesymbolic-execution+ 3

  ethereumtrufflesymbolic-executionsoliditydifferential-testingganache

  Python

  •

  GNU Affero General Public License v3.0

  •3030 forks•337337 stars•3030 issues•77 pull requests•Updated Feb 14, 2025Feb 14, 2025

• blockchain-security-contacts

  Public
  Directory of security contacts for blockchain companies

  securityemaildirectory+ 2

  securityemaildirectoryethereumblockchain

  Creative Commons Attribution 4.0 International

  •181181 forks•404404 stars•44 issues•22 pull requests•Updated Feb 7, 2025Feb 7, 2025

• optik

  Public archive
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers

  smart-contractssymbolic-executionfuzzing+ 4

  smart-contractssymbolic-executionfuzzingevmsecurity-toolsechidnamaat

  Python

  •

  Other

  •1010 forks•9999 stars•2222 issues•66 pull requests•Updated Sep 3, 2024Sep 3, 2024

• .github

  Public
  GNU Affero General Public License v3.0

  •99 forks•11 star•00 issues•00 pull requests•Updated Aug 27, 2024Aug 27, 2024

• awesome-ethereum-security

  Public
  A curated list of awesome Ethereum security references

  securityethereumsolidity+ 1

  securityethereumsolidityevm

  Creative Commons Attribution 4.0 International

  •219219 forks•1.5k1.5k stars•55 issues•3434 pull requests•Updated Aug 20, 2024Aug 20, 2024

• evm-opcodes

  Public
  Ethereum opcodes and instruction reference

  ethereuminstructionsopcodes+ 1

  ethereuminstructionsopcodesevm

  Apache License 2.0

  •217217 forks•1.4k1.4k stars•88 issues•22 pull requests•Updated Aug 19, 2024Aug 19, 2024

• smart-contract-data

  Public archive
  smart contract data

  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 15, 2024Aug 15, 2024

• ethereum-package

  Public
  A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

  Starlark

  •

  MIT License

  •343343 forks•00 stars•00 issues•11 pull request•Updated Jul 11, 2024Jul 11, 2024

• slither-workshop

  Public archive
  Slither workshop (secureum)

  Python

  •55 forks•22 stars•00 issues•00 pull requests•Updated Jun 17, 2024Jun 17, 2024