# Smart Contract Analysis Skill

> Ethereum and blockchain smart contract security analysis

- Skill: `a5c-ai/smart-contract-analysis-skill` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add a5c-ai/smart-contract-analysis-skill`
- Raw SKILL.md: https://api.skillmd.com/api/skills/a5c-ai/smart-contract-analysis-skill/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: a5c-ai (https://skillmd.com/u/a5c-ai)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/a5c-ai/smart-contract-analysis-skill

---


# 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