Smart Contract Security Audit & Gas Optimization Review
Audit smart contracts for security vulnerabilities and gas inefficiencies
What You Can Do
You get a comprehensive security and gas optimization review of your Solidity smart contracts. The skill identifies common vulnerabilities like reentrancy attacks, overflow/underflow bugs, and unchecked external calls, while also pinpointing expensive operations and suggesting specific gas optimizations. Use this as a pre-audit screening to catch issues early and prepare your code for professional security review.
Features
identifies reentrancy, integer overflow/underflow, unchecked calls, and other common exploits
analyzes execution paths, storage patterns, and loop operations to find optimization opportunities
examines permission models, role assignments, and authorization checks for gaps
compares code against Solidity style guidelines, naming conventions, and industry standards
prioritizes findings from critical to info-level so you fix the highest-impact items first
provides specific code changes with explanations for each optimization
identifies inefficient storage patterns and suggests packing strategies
flags risky interactions with other contracts and suggests SafeERC20/checked call patterns
Example Output
Security Finding — Critical: Reentrancy Vulnerability
// VULNERABLE
function withdraw(uint amount) external {
require(balanceOf[msg.sender] >= amount);
(bool success,) = msg.sender.call{value: amount}("");
require(success);
balanceOf[msg.sender] -= amount; // State change AFTER external call
}
Fix: Move state update before external call (checks-effects-interactions pattern).
Gas Optimization — Medium: Redundant Storage Reads
Your batchTransfer() function reads contractState.maxSupply inside the loop 10+ times. Estimated savings: ~2,000 gas per transaction. Cache it as a local variable before the loop.
Access Control Issue — High: The burn() function requires msg.sender == owner, but owner is never initialized in the constructor. This will always revert.
What's Included
- SKILL.md: Complete audit workflow and security analysis methodology
- Security Checklist: 40+ vulnerability patterns and exploit vectors to analyze
- Gas Optimization Matrix: Common inefficiencies mapped to gas savings
- Risk Scoring Template: Framework for ranking findings by severity and exploitability
- Remediation Tracker: Checklist to track fixes before professional audit
Who It's For
- Smart contract developers preparing code for deployment or professional audit
- DeFi protocol teams reducing gas costs and improving contract security
- Blockchain security engineers performing initial risk assessment and code review
- Web3 audit firms using this as a pre-screening tool before formal engagement
- Protocol founders who need fast security visibility before stakeholder review
Best For
- Pre-audit security screening — catch vulnerabilities before paying for professional audits
- Gas cost optimization — reduce transaction costs and improve user experience
- Code review preparation — self-audit before team or community review
- Smart contract refactoring — identify architectural weaknesses and improvement opportunities
- Post-incident analysis — quickly audit similar contracts after ecosystem security events
You might also like
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.
You can convert raw API code, OpenAPI specs, GraphQL schemas, and implementation details into production-ready reference documentation. The skill generates systematically organized endpoint documentation with parameter tables, real request/response examples, error code catalogs, authentication details, rate limits, and SDK usage snippets in multiple programming languages—creating the authoritative developer reference for REST APIs, GraphQL APIs, WebSocket APIs, and webhook schemas.
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.
This skill guides you through designing Kalman filters for your specific state estimation and sensor fusion problems. You'll learn to diagnose filter divergence, tune covariance matrices (Q and R), and validate observability—turning mathematical theory into production-ready filters. The skill provides step-by-step workflows, diagnostic tools, and practical templates for common applications like GPS/IMU fusion, SLAM, and aircraft navigation.
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 rapidly design, optimize, and validate chromatographic and LC-MS/MS methods for analyzing drugs and metabolites in biological matrices. This skill guides you through analytical method development workflows—including parameter selection, sensitivity optimization, and regulatory strategy—while ensuring ICH Q2(R2) and FDA compliance throughout the development process.