Awesome MythX Smart Contract Security Tools

A curated list of resources and tools for the MythX smart contract security API.

IDE

• MythX Plugin for Truffle - Security verification plugin for the Truffle Framework
• 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)

Continuous Integration

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

Command line tools

• MythX API CURL - Shell scripts that interact with the MythX API
• Mythos - CLI client for the MythX API
• Sabre - Minimum viable JavaScript client

Language Bindings

• Armlet - MythX JavaScript connector
• PythX - A Python library for the MythX platform (with CLI)

Support and Documentation

• MythX Developer and User Guide
• Github repo for reporting API bugs
• MythX Community Discord

Howtos

• Detecting Smart Contract Vulnerabilities with Mythx
• Automation of Smart Contract Auditing with MythX and CircleCI

Papers and Articles

• The Tech Behind MythX
• Harvey Greybox Fuzzing Article Series Part 1
• Fuzzing Smart Contracts Using Input Prediction
• Fuzzing Smart Contracts Using Multiple Transactions
• Harvey Paper - Learning Inputs in Greybox Fuzzing
• Intro to Symbolic Execution in Mythril
• Mythril Paper - Smashing Smart Contracts
• Why You Should Buidl on MythX API