─── 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.