Smart Contract Security Audit & Optimizer
Audit and optimize Solidity contracts for vulnerabilities and gas efficiency
What You Can Do
You can submit your Solidity smart contracts for comprehensive security analysis, vulnerability detection, and gas optimization recommendations. Claude reviews your code against known attack vectors, design patterns, and best practices—identifying reentrancy risks, overflow/underflow issues, access control flaws, and inefficient operations. You receive actionable fix recommendations with explanations of the security implications and gas savings potential.
Features
Identifies reentrancy, integer overflow/underflow, unchecked calls, and access control flaws
Finds inefficient storage patterns, expensive loops, and unnecessary operations with cost estimates
Checks compliance with ERC-20, ERC-721, and other standard interfaces plus common anti-patterns
Proposes specific code changes with explanations of security and performance impact
Rates vulnerabilities as critical, high, medium, or low based on exploitability and impact
Verifies adherence to OpenZeppelin standards, SafeMath patterns, and reentrancy guards
Estimates transaction cost changes and provides before/after gas comparisons
Example Output
Sample Vulnerability Report
Critical Issue: Reentrancy in withdraw() function
- Location: Line 45,
(success, ) = recipient.call{value: amount}("") - Risk: Attacker contract can recursively call
withdraw()before balance updates - Fix: Move balance update before external call:
balances[msg.sender] = 0; (success, ) = recipient.call{value: amount}("") - Gas Savings: 200 gas per call
Gas Optimization Example
Current code:
for (uint i = 0; i < users.length; i++) {
if (balances[users[i]] > 0) { /* ... */ }
}
Optimized code:
for (uint i = 0; i < users.length; ++i) { // ++i saves 6 gas
uint bal = balances[users[i]]; // cache storage read
if (bal > 0) { /* ... */ }
}
Estimated savings: ~2,400 gas for 100 iterations
What's Included
- SKILL.md: Complete security audit framework with vulnerability taxonomy and remediation workflows
- Security Checklist: 50+ vulnerability patterns across contracts, functions, and math operations
- Gas Optimization Guide: Reference for storage, loops, function calls, and opcode efficiency
- Audit Report Template: Structure for organizing findings, severity levels, and fix recommendations
- ERC Standards Compliance Matrix: Requirements for ERC-20, ERC-721, ERC-1155, and proxy patterns
- Common Anti-Patterns Reference: Guide to pull-over-push, delegation, and upgradability risks
Who It's For
- Solidity Developers building production dApps and protocols
- Security Auditors & Code Reviewers performing pre-deployment validation
- DeFi Protocol Teams shipping complex financial contracts
- Web3 Startups launching EVM-based smart contracts
- Smart Contract QA Engineers verifying code quality and safety before mainnet
Best For
- Pre-deployment security review of new or modified contracts
- Gas optimization for reducing transaction costs before release
- Best practices validation against ERC standards and design patterns
- Vulnerability discovery in existing contracts or audits
- Code pattern compliance verification against organization standards
You might also like
Rapidly analyze production incidents by correlating observability signals—logs, metrics, traces, and events—to identify the true root cause instead of symptoms. You'll reconstruct incident timelines, quantify impact scope, and generate both immediate remediation steps and long-term prevention measures.
Claude analyzes your code diffs and generates standardized commit messages that follow the Conventional Commits specification. The skill automatically determines the correct commit type, scope, and description based on the changes you've made, ensuring your messages are parseable by automation tools while remaining human-readable for code reviewers.
You'll transform high-level feature requirements into a complete development plan covering API design, frontend implementation, testing strategy, and documentation. The skill helps you identify dependencies, parallelize work across frontend and backend teams, and establish quality gates that ensure features ship bug-free with proper error handling and logging.
Transform schema and data changes into production-ready migration packages that protect data integrity and minimize downtime. You can handle column additions, renames, type conversions, and backfills using proven patterns like expand-contract and shadow tables. The skill generates explicit rollback scripts, validation checklists, and phased execution plans that keep applications stable throughout the migration.
You can create comprehensive performance testing strategies tailored to your application's architecture, analyze test results to identify bottlenecks, and generate prioritized recommendations for optimization. The skill helps you design load tests, interpret metrics like latency and throughput, and create action plans for performance improvements.
You can design comprehensive performance test strategies tailored to your application architecture, analyze performance metrics and logs to identify bottlenecks, and receive specific optimization recommendations. The skill guides you through creating realistic load scenarios, interpreting performance data, and prioritizing fixes based on impact analysis.
You can design end-to-end NGS pipelines tailored to your experiment type (WGS, WES, RNA-seq, targeted), troubleshoot pipeline failures by analyzing QC metrics and logs, and optimize performance by fine-tuning parameters and identifying bottlenecks. This skill handles the full workflow from raw sequencing data quality assessment through variant interpretation and annotation.
You can accelerate your entire antenna design workflow—from initial concept to optimized specifications—by leveraging Claude's knowledge of electromagnetic theory, antenna types, and design trade-offs. Claude helps you parameterize designs, identify optimal configurations for your frequency band and application, and prepare detailed briefs for simulation and manufacturing. You'll generate design reviews, impedance-matching solutions, and validation checklists without context-switching to multiple tools.