Crytic

Blockchain Security, by @trailofbits

Overview
Repositories
Projects
Packages
People

README.md

Since 2012, Trail of Bits has helped secure some of the world's most targeted organizations and devices.

We combine high-end security research with a real-world attacker mentality to reduce risk and fortify code.

Some of our work:

@trailofbits — Our main GitHub organization
@crytic — Our blockchain security group
@lifting-bits — Our binary lifting research projects
@trail-of-forks — Development on others' projects

Pinned Loading

slither slither Public

Static Analyzer for Solidity and Vyper

Python 6.3k 1.1k
medusa medusa Public

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

Go 484 88
echidna echidna Public

Ethereum smart contract fuzzer

Haskell 3.2k 432
building-secure-contracts building-secure-contracts Public

Guidelines and training material to write secure smart contracts

Solidity 2.5k 386
solc-select solc-select Public

Manage and switch between Solidity compiler versions

Python 816 106
properties properties Public

Pre-built security properties for common Ethereum operations

Solidity 371 58

Repositories

Type Language Sort

slither Public
Static Analyzer for Solidity and Vyper

crytic/slither's past year of commit activity

Python 6,345 AGPL-3.0 1,131 369 (26 issues need help) 105 Updated Aug 19, 2026
medusa Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

crytic/medusa's past year of commit activity

Go 484 AGPL-3.0 88 47 (10 issues need help) 27 Updated Aug 19, 2026
echidna Public
Ethereum smart contract fuzzer

crytic/echidna's past year of commit activity

Haskell 3,169 AGPL-3.0 432 67 (1 issue needs help) 37 Updated Aug 14, 2026
crytic-compile Public
Abstraction layer for smart contract build systems

crytic/crytic-compile's past year of commit activity

Python 199 AGPL-3.0 94 80 (13 issues need help) 12 Updated Aug 11, 2026
fluxture Public
A crawling framework for blockchains and peer-to-peer systems

crytic/fluxture's past year of commit activity

Python 46 Apache-2.0 9 1 (1 issue needs help) 5 Updated Aug 10, 2026
solc-select Public
Manage and switch between Solidity compiler versions

crytic/solc-select's past year of commit activity

Python 816 AGPL-3.0 106 9 (2 issues need help) 12 Updated Jun 4, 2026
crytic.nix Public
A flake.nix for easy access to crytic tools

crytic/crytic.nix's past year of commit activity

Python 2 1 0 0 Updated Apr 22, 2026
medusa-geth Public
A go-ethereum fork enabling additional testing capabilities for medusa

crytic/medusa-geth's past year of commit activity

13 4 0 0 Updated Apr 20, 2026
pyevmasm Public
Ethereum Virtual Machine (EVM) disassembler and assembler

crytic/pyevmasm's past year of commit activity

Python 387 Apache-2.0 52 10 10 Updated Apr 17, 2026
building-secure-contracts Public
Guidelines and training material to write secure smart contracts

crytic/building-secure-contracts's past year of commit activity

Solidity 2,479 AGPL-3.0 386 36 (8 issues need help) 22 Updated Apr 13, 2026