Smart Contract Audit

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

gitwalter 84dc114 1.1 KB Updated

File contents

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.

gitwalter/antigravity-agent-factory/tree/main/.agent/skills/verification/smart-contract-audit commit 84dc1148e2

Frequently asked questions

npx skillmds@latest add gitwalter/smart-contract-audit