Awesome MythX Smart Contract Security Tools

MythX is a smart contract security analysis API for that supports Ethereum, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. This is a curated list of developer tools built on MythX.

IDE

• Remix IDE - Activate the "MythX Security Verification" module in plugin manager (Howto)
• MythX Plugin for Truffle - Security verification plugin for the Truffle Framework
• MythX for VS Code - MythX Extension for Visual Studio Code
• Brownie - Python framework for Ethereum smart contract deployment (native integration)
• MythX Plugin for Embark - Security verification plugin for Status Embark by Flex Dapps
• Truffle Sca2t - Smart contract audit assistant (generates Mocha test files for CI)

Command-Line Tools

• MythX CLI - Official command-line tool maintained by MythX
• Sabre - JavaScript CLI for the MythX API
• Mythos - Another JavaScript client for the MythX API

Language Bindings

• MythXJS - MythX JavaScript library
• PythX - A Python library for the MythX platform

Continuous Integration

• GuardRails - Realtime feedback on Github repositories powered by MythX
• GitMythX - MythX Github app

Support and Documentation

• MythX Developer and User Guide
• MythX Community Discord

Howtos and Articles

• Detecting Smart Contract Vulnerabilities with MythX
• Checking Custom Correctness Properties of Smart Contracts Using MythX
• Automation of Smart Contract Auditing with MythX and CircleCI

Articles & Papers

• The Tech Behind MythX
• Harvey Greybox Fuzzing Article Series
• Fuzzing Smart Contracts Using Input Prediction
• Fuzzing Smart Contracts Using Multiple Transactions
• Intro to Symbolic Execution in Mythril
• Learning Inputs in Greybox Fuzzing
• Smashing Smart Contracts (HITB GSEC 2018)
• Advances in Smart Contract Vulnerability Detection (DEFCON 27)
• Practical Mutation Testing in Smart Contracts