Agent Skills: mythril-symbolic
Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.
UncategorizedID: a5c-ai/babysitter/mythril-symbolic
244
Install this agent skill to your local
Skill Files
Browse the full folder contents for mythril-symbolic.
Loading file tree…
Select a file to preview its contents.