Alternatives and similar repositories for mythril:

Users that are interested in mythril are comparing it to the libraries listed below

• tintinweb / smart-contract-inspector
  the magic X-ray machine for solidity smart contracts
  ☆175Updated 3 years ago
• MrToph / replaying-ethereum-hacks
  ☆194Updated 3 years ago
• OriginProtocol / security
  Materials related to security: docs, checklists, processes, etc...
  ☆201Updated this week
• 0xsomnus / Solidity-DevSecOps-Standard
  A checklist detailing DevSecOps practices for EVM-based projects.
  ☆148Updated 2 years ago
• 0xsha / ChainWalker
  Rapid Smart Contract Crawler
  ☆199Updated 8 months ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆206Updated last year
• primitivefinance / hardhat-marmite
  🥘 Hassle-free Hardhat plugin to compare gas cost among different Solidity code snippets.
  ☆196Updated 2 years ago
• PumpkingWok / CTFGym
  List of CTF related to Ethereum world (solidity smart contracts)
  ☆118Updated 2 years ago
• a16z / metamorphic-contract-detector
  ☆161Updated 2 years ago
• 0xKitsune / Foundry-Vyper
  A Foundry template to compile and test Vyper contracts.
  ☆176Updated 7 months ago
• eternauta1337 / pocketh
  A pocket knife for auditing smart contracts.
  ☆257Updated 2 years ago
• guylando / KnowledgeLists
  Contains lists of things to know/remember in different topics
  ☆184Updated 3 years ago
• blocksecteam / defi_poc
  POC for DeFi Vulnerabilities
  ☆199Updated 2 years ago
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆236Updated 3 years ago
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 2 years ago
• byterocket / c4-common-issues
  A collection of common security issues and possible gas optimizations in solidity smart contracts
  ☆160Updated 2 years ago
• ethereum / solidity-underhanded-contest
  Website for the Underhanded Solidity Contest
  ☆170Updated 3 months ago
• lpinilla / Smart-Contract-Hash-Matcher
  Audit assist tool: Given a contract, find all subcontracts defined on it, calculate their sha-256 hash and look for exact matches
  ☆39Updated last year
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆104Updated last year
• yearn / yearn-security
  Security contacts and disclosure reports
  ☆200Updated 3 months ago
• muellerberndt / awesome-mythx-smart-contract-security-tools
  A curated list of resources and tools for the MythX smart contract security API
  ☆252Updated 4 years ago
• MrToph / ethernaut
  My solutions to https://ethernaut.openzeppelin.com/
  ☆69Updated 4 years ago
• EthTx / ethtx_ce
  Ethereum transaction decoder (community version).
  ☆270Updated last year
• tintinweb / smart-contract-storage-viewer
  🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder
  ☆118Updated 11 months ago
• patrickd- / cheatsheet.sol
  Solidity – Compilable Cheatsheet
  ☆217Updated 5 months ago
• 0xLanterns / OA
  Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …
  ☆96Updated last year
• memester-xyz / surl
  HTTP Library for Solidity based on curl
  ☆327Updated last year
• sherlock-protocol / sherlock-reports
  Sherlock audit and coverage reports
  ☆122Updated this week
• yieldprotocol / yield-utils-v2
  Utility contracts for Yield v2
  ☆135Updated last year
• danfinlay / eip712-codegen
  A utility for generating Solidity code for recovering signatures using the EIP-712 signTypedData schema.
  ☆97Updated last year