home/categories/smart-contracts/a5c-ai-babysitter-library-specializations-cryptography-blockchain-skills-mythril-symbolic-skill-md
smart-contractsblockchain
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.
maintainer
a5c-ai
Обновлено 25.03.2026
Звёзды
538
Форки
33
quick start
Installation and usage
Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use mythril-symbolic