Repositories list

• slither

  Public
  Static Analyzer for Solidity and Vyper

  static-analysisethereumsolidity+ 1vyper

  Python

  •

  GNU Affero General Public License v3.0

  •1k•5.8k•416•70•Updated Aug 25, 2025Aug 25, 2025

• echidna

  Public
  Ethereum smart contract fuzzer

  testingsecurityethereum+ 4smart-contractssolidityfuzzerevm

  Haskell

  •

  GNU Affero General Public License v3.0

  •405•3k•95•30•Updated Aug 25, 2025Aug 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

  •5•110•17•2•Updated Aug 25, 2025Aug 25, 2025

• crytic-compile

  Public
  Abstraction layer for smart contract build systems

  Python

  •

  GNU Affero General Public License v3.0

  •89•181•105•11•Updated Aug 23, 2025Aug 23, 2025

• solc-select

  Public
  Manage and switch between Solidity compiler versions

  ethereumsolidity

  Python

  •

  GNU Affero General Public License v3.0

  •111•789•14•3•Updated Aug 22, 2025Aug 22, 2025

• building-secure-contracts

  Public
  Guidelines and training material to write secure smart contracts

  Solidity

  •

  GNU Affero General Public License v3.0

  •369•2.4k•40•16•Updated Aug 22, 2025Aug 22, 2025

• medusa

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

  Go

  •

  GNU Affero General Public License v3.0

  •71•416•89•32•Updated Aug 22, 2025Aug 22, 2025

• solana-lints

  Public
  Lints based on the Sealevel Attacks

  Rust

  •10•44•3•9•Updated Aug 21, 2025Aug 21, 2025

• pyevmasm

  Public
  Ethereum Virtual Machine (EVM) disassembler and assembler

  pythonethereumassembler+ 2evmdissassembler

  Python

  •

  Apache License 2.0

  •49•379•10•6•Updated Aug 20, 2025Aug 20, 2025

• contract-explorer

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

  static-analysisethereumvisual-studio-code+ 2solidityvscode-extension

  TypeScript

  •

  GNU Affero General Public License v3.0

  •11•35•21•3•Updated Aug 8, 2025Aug 8, 2025

• crytic.nix

  Public
  A flake.nix for easy access to crytic tools

  Nix

  •0•0•0•0•Updated Jul 23, 2025Jul 23, 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

  •15•75•7•2•Updated Jul 9, 2025Jul 9, 2025

• medusa-geth

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

  1•12•0•0•Updated Apr 23, 2025Apr 23, 2025

• properties

  Public
  Pre-built security properties for common Ethereum operations

  Solidity

  •

  GNU Affero General Public License v3.0

  •51•334•20•5•Updated Apr 18, 2025Apr 18, 2025

• slither-action

  Public
  Shell

  •

  GNU Affero General Public License v3.0

  •22•139•6•3•Updated Mar 21, 2025Mar 21, 2025

• anchorx-ray

  Public
  Node module for scanning and visualize Solana accounts

  HTML

  •

  GNU Affero General Public License v3.0

  •2•33•2•0•Updated Mar 3, 2025Mar 3, 2025

• amarna

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

  cairostarknetlinter+ 1static-analysis

  Python

  •

  GNU Affero General Public License v3.0

  •8•148•11•3•Updated Feb 14, 2025Feb 14, 2025

• etheno

  Public archive
  Simplify Ethereum security analysis and testing

  ethereumsymbolic-executionsolidity+ 3differential-testingtruffleganache

  Python

  •

  GNU Affero General Public License v3.0

  •33•339•30•7•Updated Feb 14, 2025Feb 14, 2025

• blockchain-security-contacts

  Public
  Directory of security contacts for blockchain companies

  securityemaildirectory+ 2ethereumblockchain

  Creative Commons Attribution 4.0 International

  •186•407•4•1•Updated Feb 7, 2025Feb 7, 2025

• optik

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

  smart-contractssymbolic-executionfuzzing+ 4evmsecurity-toolsechidnamaat

  Python

  •

  Other

  •12•98•22•6•Updated Sep 3, 2024Sep 3, 2024

• .github

  Public
  GNU Affero General Public License v3.0

  •9•1•0•0•Updated Aug 27, 2024Aug 27, 2024

• awesome-ethereum-security

  Public
  A curated list of awesome Ethereum security references

  securityethereumsolidity+ 1evm

  Creative Commons Attribution 4.0 International

  •202•1.4k•4•20•Updated Aug 20, 2024Aug 20, 2024

• evm-opcodes

  Public
  Ethereum opcodes and instruction reference

  ethereuminstructionsopcodes+ 1evm

  Apache License 2.0

  •221•1.4k•8•4•Updated Aug 19, 2024Aug 19, 2024

• smart-contract-data

  Public archive
  smart contract data

  0•0•0•0•Updated Aug 15, 2024Aug 15, 2024

• slither-lsp

  Public
  Python

  •

  GNU Affero General Public License v3.0

  •0•2•0•0•Updated Jul 28, 2024Jul 28, 2024

• cloudexec

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

  Go

  •

  GNU Affero General Public License v3.0

  •1•20•19•2•Updated Jul 26, 2024Jul 26, 2024

• ethereum-package

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

  Starlark

  •

  MIT License

  •263•0•0•1•Updated Jul 11, 2024Jul 11, 2024

• slither-workshop

  Public archive
  Slither workshop (secureum)

  Python

  •5•2•0•0•Updated Jun 17, 2024Jun 17, 2024

• roundme

  Public
  Rust

  •

  GNU Affero General Public License v3.0

  •8•93•3•1•Updated May 31, 2024May 31, 2024

• ethdam

  Public archive
  1•2•0•0•Updated Apr 12, 2024Apr 12, 2024