awesome-mythx-smart-contract-security-tools
github.com/muellerberndt/awesome-mythx-smart-contract-security-tools ↗A curated list of resources and tools for the MythX smart contract security API
254
GitHub Stars
40
Curated Resources
6
Categories
5 hours ago
Last Refreshed
IDEs with MythX supportCommand-line toolsContinuous integration howtosSupport and documentationLanguage bindingsArticles, papers and videos
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me symbolic execution / mythril resources from awesome-mythx-smart-contract-security-tools"
Installation instructions →What's inside
Articles, papers and videos
- Advances in Smart Contract Vulnerability Detection (DEFCON 27 / PDF)Symbolic execution / Mythril
- Advances in Smart Contract Vulnerability Detection (EthBerlin 2019)Presentation Videos
- Catching Weird Security Bugs with Contract Invariants (Medium)MythX bug detection and property checking
- Checking Custom Correctness Properties of Smart Contracts Using the AssertionFailed Event (Medium)MythX bug detection and property checking
- Checking Custom Security Properties with the MythX Plugin for Remix (Medium)MythX bug detection and property checking
- Detecting DeFi Bugs and Arbitrage Opportunities Using Symbolic Execution (Parallele Polis 2020)Presentation Videos
IDEs with MythX support
- Brownie
Python framework for Ethereum smart contract deployment (
- MythX for VS Code
MythX Extension for Visual Studio Code
- MythX Plugin for Embark
Security verification plugin for
- MythX Plugin for Truffle
Security verification plugin for the
- Remix IDE
Activate the "MythX Security Verification" module in plugin manager (
- Truffle Sca2t
Smart contract audit assistant (generates Mocha test files for CI)
Command-line tools
Support and documentation
Continuous integration howtos
Showing a sample of 40 resources. View the full list on GitHub →