Mythril symbolic execution for Solidity — deep vulnerability detection via multi-transaction analysis, reentrancy, integer overflow, unchecked calls, and delegatecall exploits. Finds bugs that static analysis and fuzzing miss.
Installation
1
Add the marketplace
/plugin marketplace add 0xinit/cryptoskills
2
Install plugins
/plugin
Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.