Skip to content

@crytic Crytic

Change the repository type filter

All

    Repositories list

    65 repositories

    • echidna

      Public
      Ethereum smart contract fuzzer
      testingsecurityethereumsmart-contractssolidityfuzzerevm
      Haskell
      •
      GNU Affero General Public License v3.0
      •414•3k•80•32•Updated Nov 3, 2025Nov 3, 2025

    • slither

      Public
      Static Analyzer for Solidity and Vyper
      static-analysisethereumsolidityvyper
      Python
      •
      GNU Affero General Public License v3.0
      •1.1k•6k•408•70•Updated Nov 2, 2025Nov 2, 2025

    • medusa

      Public
      Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
      Go
      •
      GNU Affero General Public License v3.0
      •74•427•89•14•Updated Oct 30, 2025Oct 30, 2025

    • solana-lints

      Public
      Lints based on the Sealevel Attacks
      Rust
      •10•45•3•11•Updated Oct 30, 2025Oct 30, 2025

    • crytic-compile

      Public
      Abstraction layer for smart contract build systems
      Python
      •
      GNU Affero General Public License v3.0
      •89•185•105•16•Updated Oct 27, 2025Oct 27, 2025

    • solc-select

      Public
      Manage and switch between Solidity compiler versions
      ethereumsolidity
      Python
      •
      GNU Affero General Public License v3.0
      •112•794•14•7•Updated Oct 27, 2025Oct 27, 2025

    • building-secure-contracts

      Public
      Guidelines and training material to write secure smart contracts
      Solidity
      •
      GNU Affero General Public License v3.0
      •374•2.4k•40•15•Updated Oct 14, 2025Oct 14, 2025

    • pyevmasm

      Public
      Ethereum Virtual Machine (EVM) disassembler and assembler
      pythonethereumassemblerevmdissassembler
      Python
      •
      Apache License 2.0
      •51•381•10•7•Updated Sep 4, 2025Sep 4, 2025

    • fuzz-utils

      Public
      A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
      Solidity
      •
      GNU Affero General Public License v3.0
      •5•110•17•2•Updated Aug 25, 2025Aug 25, 2025

    • contract-explorer

      Public
      Visual Studio Code integration for Slither, a Solidity static analysis framework
      static-analysisethereumvisual-studio-codesolidityvscode-extension
      TypeScript
      •
      GNU Affero General Public License v3.0
      •10•35•21•3•Updated Aug 8, 2025Aug 8, 2025

    • crytic.nix

      Public
      A flake.nix for easy access to crytic tools
      Nix
      •0•1•0•0•Updated Jul 23, 2025Jul 23, 2025

    • attacknet

      Public
      Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
      Go
      •
      GNU Affero General Public License v3.0
      •15•75•7•2•Updated Jul 9, 2025Jul 9, 2025

    • medusa-geth

      Public
      A go-ethereum fork enabling additional testing capabilities for medusa
      1•12•0•0•Updated Apr 23, 2025Apr 23, 2025

    • properties

      Public
      Pre-built security properties for common Ethereum operations
      Solidity
      •
      GNU Affero General Public License v3.0
      •52•344•20•5•Updated Apr 18, 2025Apr 18, 2025

    • slither-action

      Public
      Shell
      •
      GNU Affero General Public License v3.0
      •22•143•7•3•Updated Mar 21, 2025Mar 21, 2025

    • anchorx-ray

      Public
      Node module for scanning and visualize Solana accounts
      HTML
      •
      GNU Affero General Public License v3.0
      •2•36•3•0•Updated Mar 3, 2025Mar 3, 2025

    • amarna

      Public archive
      Amarna is a static-analyzer and linter for the Cairo programming language.
      linterstatic-analysiscairostarknet
      Python
      •
      GNU Affero General Public License v3.0
      •8•148•11•3•Updated Feb 14, 2025Feb 14, 2025

    • etheno

      Public archive
      Simplify Ethereum security analysis and testing
      ethereumtrufflesymbolic-executionsoliditydifferential-testingganache
      Python
      •
      GNU Affero General Public License v3.0
      •33•340•30•7•Updated Feb 14, 2025Feb 14, 2025

    • blockchain-security-contacts

      Public
      Directory of security contacts for blockchain companies
      securityemaildirectoryethereumblockchain
      Creative Commons Attribution 4.0 International
      •188•406•4•1•Updated Feb 7, 2025Feb 7, 2025

    • optik

      Public
      Optik is a set of symbolic execution tools that assist smart-contract fuzzers
      smart-contractssymbolic-executionfuzzingevmsecurity-toolsechidnamaat
      Python
      •
      Other
      •12•99•22•6•Updated Sep 3, 2024Sep 3, 2024

    • .github

      Public
      GNU Affero General Public License v3.0
      •8•1•0•0•Updated Aug 27, 2024Aug 27, 2024

    • awesome-ethereum-security

      Public
      A curated list of awesome Ethereum security references
      securityethereumsolidityevm
      Creative Commons Attribution 4.0 International
      •203•1.4k•4•20•Updated Aug 20, 2024Aug 20, 2024

    • evm-opcodes

      Public
      Ethereum opcodes and instruction reference
      ethereuminstructionsopcodesevm
      Apache License 2.0
      •220•1.4k•8•2•Updated Aug 19, 2024Aug 19, 2024

    • smart-contract-data

      Public archive
      smart contract data
      0•0•0•0•Updated Aug 15, 2024Aug 15, 2024

    • slither-lsp

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Jul 28, 2024Jul 28, 2024

    • cloudexec

      Public
      A general purpose foundation for cloud-based fuzzing and mutation testing jobs
      Go
      •
      GNU Affero General Public License v3.0
      •1•21•19•2•Updated Jul 26, 2024Jul 26, 2024

    • ethereum-package

      Public
      A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
      Starlark
      •
      MIT License
      •296•0•0•1•Updated Jul 11, 2024Jul 11, 2024

    • slither-workshop

      Public archive
      Slither workshop (secureum)
      Python
      •5•2•0•0•Updated Jun 17, 2024Jun 17, 2024

    • roundme

      Public
      Rust
      •
      GNU Affero General Public License v3.0
      •8•94•3•1•Updated May 31, 2024May 31, 2024

    • ethdam

      Public archive
      1•2•0•0•Updated Apr 12, 2024Apr 12, 2024