GeezerVison

GeezerVison is showing github.com — Crytic

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.4k 1.2k
medusa medusa Public

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

Go 501 102
echidna echidna Public

Ethereum smart contract fuzzer

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

Guidelines and training material to write secure smart contracts

Solidity 2.5k 394
solc-select solc-select Public

Manage and switch between Solidity compiler versions

Python 816 107
properties properties Public

Pre-built security properties for common Ethereum operations

Solidity 371 60

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Cairo Go Haskell JavaScript Python Rust Shell Solidity Starlark TLA TypeScript

Sort

Last updated Name Stars

Showing 10 of 65 repositories

echidna Public
Ethereum smart contract fuzzer

crytic/echidna's past year of commit activity

Haskell 3,195 AGPL-3.0 438 71 (1 issue needs help) 33 Updated Nov 6, 2026
slither Public
Static Analyzer for Solidity and Vyper

crytic/slither's past year of commit activity

Python 6,416 AGPL-3.0 1,171 374 (26 issues need help) 147 Updated Nov 4, 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 97 80 (13 issues need help) 13 Updated Nov 3, 2026
medusa Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

crytic/medusa's past year of commit activity

Go 501 AGPL-3.0 102 46 (9 issues need help) 37 Updated Oct 28, 2026
anchorx-ray Public
Node module for scanning and visualize Solana accounts

crytic/anchorx-ray's past year of commit activity

TypeScript 39 AGPL-3.0 3 2 0 Updated Oct 23, 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,485 AGPL-3.0 394 36 (8 issues need help) 25 Updated Oct 22, 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 Sep 8, 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 107 9 (2 issues need help) 13 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 5 0 1 Updated Apr 20, 2026

View all repositories

People

Top languages

Python Solidity TypeScript Go Starlark

Most used topics

ethereum evm solidity security static-analysis