# Smart Contract Audit

> Skills for performing security audits and gas optimization checks on smart contracts.

- Skill: `gitwalter/smart-contract-audit` (Agent Skill)
- Install (CLI): `npx skillmds@latest add gitwalter/smart-contract-audit`
- Raw SKILL.md: https://api.skillmd.com/api/skills/gitwalter/smart-contract-audit/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: gitwalter (https://skillmd.com/u/gitwalter)
- Updated: 2026-09-10
- Page: https://skillmd.com/skills/gitwalter/smart-contract-audit

---


# Smart Contract Audit Skill

## When to Use
Use this skill before deploying any smart contract to a testnet or mainnet, focusing on security vulnerabilities and gas optimization.

## Prerequisites
- Compiled smart contract artifacts (e.g., ABI, Bytecode).
- Validated `solidity-patterns.json` Knowledge Item.
- Static analysis tools (like Slither or Mythril) installed in the environment.

## Process
1. **Static Analysis**: Run automated scanners using the `run_audit` tool.
2. **Manual Review**: Critically examine logic involving value transfers and state changes.
3. **Gas Optimization**: Identify areas to reduce computational cost.
4. **Report Generation**: Compile all findings into a structured audit artifact.

## Best Practices
- **Security-First**: Prioritize resolving reentrancy and arithmetic overflow vulnerabilities.
- **Layered Auditing**: Combine automated tools with manual specialized review.
- **Immutable Path**: Never deploy a contract that hasn't cleared the audit gate.