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.

소스 보기 smart-contracts

maintainer

a5c-ai

업데이트됨 2026. 3. 25.

스타

538

포크

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

사용법

설치 후 터미널에서 다음 명령을 실행하여 이 스킬을 사용할 수 있습니다:

skills use mythril-symbolic