mythril-symbolic
a5c-ai/babysitter/library/specializations/cryptography-blockchain/skills/mythril-symbolic
PlatformUniversal
Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.
Universal