smart-contract-analysis-skill

Solid

Ethereum and blockchain smart contract security analysis

AI & Automation 1,160 stars 71 forks Updated today MIT

Install

View on GitHub

Quality Score: 94/100

Stars 20%
100
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
51
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# Smart Contract Analysis Skill ## Overview This skill provides Ethereum and blockchain smart contract security analysis capabilities. ## Capabilities - Execute Slither static analysis - Run Mythril symbolic execution - Analyze Solidity code patterns - Detect reentrancy vulnerabilities - Check for integer overflow - Generate Echidna fuzz tests - Support multiple EVM chains - Create formal verification specs ## Target Processes - smart-contract-auditing.js - security-tool-development.js ## Dependencies - Slither - Mythril - Echidna - Solidity compiler (solc) - Python 3.x - Node.js (for Hardhat/Foundry) ## Usage Context This skill is essential for: - Smart contract security audits - DeFi vulnerability research - Automated vulnerability detection - Fuzz testing smart contracts - Formal verification support ## Integration Notes - Supports Solidity and Vyper - Can analyze multiple EVM-compatible chains - Integrates with Hardhat and Foundry - Supports custom detector development - Can generate audit reports

Details

Author
a5c-ai
Repository
a5c-ai/babysitter
Created
4 months ago
Last Updated
today
Language
JavaScript
License
MIT

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Featured

analyzing-ethereum-smart-contract-vulnerabilities

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

13,115 Updated today
mukul975
AI & Automation Listed

analyzing-ethereum-smart-contract-vulnerabilities

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

6 Updated yesterday
26zl
AI & Automation Solid

slither-analysis

Expert integration with Slither static analyzer for smart contract vulnerability detection, code quality analysis, and security reporting. Supports all Slither detectors and custom analysis configurations.

1,160 Updated today
a5c-ai
AI & Automation Solid

solidity-security

Master smart contract security best practices to prevent common vulnerabilities and implement secure Solidity patterns. Use when writing smart contracts, auditing existing contracts, or implementing security measures for blockchain applications.

36,222 Updated today
wshobson
AI & Automation Solid

solidity-security

Master smart contract security best practices, vulnerability prevention, and secure Solidity development patterns.

39,350 Updated today
sickn33