
─── team / organization
crytic
@crytic
─── top repos · by stars
─── repositories
30 / 62Guidelines and training material to write secure smart contracts
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Directory of security contacts for blockchain companies
Amarna is a static-analyzer and linter for the Cairo programming language.
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
A 6-part series on how to use Echidna on real-world codebases
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
─── top contributors

montyly
3,993 commits

elopez
933 commits

0xalpharush
840 commits

gustavo-grieco
670 commits

ESultanik
553 commits

smonicas
521 commits

dguido
401 commits

Xenomega
316 commits

japesinator
284 commits

bohendo
278 commits

webthethird
272 commits

anishnaik
239 commits

arcz
208 commits

tuturu-tech
197 commits

blperez01
129 commits

smoelius
106 commits

fcasal
102 commits

Boyan-MILANOV
94 commits

agroce
90 commits

rajeevgopalakrishna
87 commits
─── ecosystems
─── languages
- Python19
- Solidity13
- TypeScript4
- Go3
- Shell3
- JavaScript3
─── subscriber view
Unlock the full view of crytic
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.