Ask me what skills you need
What are you building?
Tell me what you're working on and I'll find the best agent skills for you.
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.
Mythril is a symbolic execution tool for EVM bytecode that detects security vulnerabilities in Solidity smart contracts. It uses the LASER symbolic virtual machine to explore all reachable contract states across multiple transactions, then feeds path constraints to the Z3 SMT solver to generate concrete exploit inputs. It is maintained by Consensys Diligence.
Unlike static analyzers (Slither, Semgrep) that match code patterns, Mythril proves whether a vulnerability is actually exploitable by constructing valid transaction sequences that trigger it. This makes it slower but significantly more precise for certain vulnerability classes.
LLMs generate bad Mythril commands. These are the blind spots that cause wasted time and missed bugs.
--execution-timeout and --solver-timeout. Without them, your CI pipeline will hang indefinitely.npx skills add 0xinit/cryptoskills --skill mythrilHow clear and easy to understand the SKILL.md instructions are, rated from 1 to 5.
The main idea is there, but the wording is messy and easy to misinterpret.
How directly an agent can act on the SKILL.md instructions, rated from 1 to 5.
Partially actionable with several concrete steps, but still missing important details.