Анализ уязвимостей Solidity смарт-контрактов

★ 8.4 · security

analyzing-ethereum-smart-contract-vulnerabilities is a Claude Code skill that performs static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control flaws, and other vulnerability classes before deployment to Ethereum mainnet. Slither leverages an intermediate representation with 90+ built-in detectors for fast pattern-based checks, while Mythril applies symbolic execution and SMT solving to uncover complex execution-path vulnerabilities. The skill covers running both tools, correlating and deduplicating findings, triaging results by exploitability and financial impact, and generating a structured audit report with SWC identifiers, severity ratings, affected functions, and remediation guidance. It is aimed at DeFi protocol auditors, SOC analysts building detection procedures, and developers who need to eliminate smart contract risks before funds are at stake.