Crytic

slither

Static Analyzer for Solidity and Vyper

echidna

Ethereum smart contract fuzzer

building-secure-contracts

Guidelines and training material to write secure smart contracts

awesome-ethereum-security

A curated list of awesome Ethereum security references

evm-opcodes

Ethereum opcodes and instruction reference

solc-select

Manage and switch between Solidity compiler versions

medusa

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

blockchain-security-contacts

Directory of security contacts for blockchain companies

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

properties

Pre-built security properties for common Ethereum operations

etheno

Simplify Ethereum security analysis and testing

crytic-compile

Abstraction layer for smart contract build systems

amarna

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

slither-action

fuzz-utils

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

optik

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

roundme

attacknet

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

solana-lints

Lints based on the Sealevel Attacks

anchorx-ray

Node module for scanning and visualize Solana accounts

contract-explorer

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

cloudexec

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

medusa-geth

A go-ethereum fork enabling additional testing capabilities for medusa

ethdam

slither-lsp

slither-workshop

Slither workshop (secureum)

.github

crytic.nix

A flake.nix for easy access to crytic tools

ethereum-package

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

smart-contract-data

smart contract data