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
Analyze Solidity and other smart contract code for security vulnerabilities, gas inefficiencies, and best practice violations. Get detailed reports with risk scoring, remediation suggestions, and optimization recommendations. Whether you're auditing before deployment or reviewing third-party contracts, this skill identifies critical issues faster than manual review.
You can systematically diagnose database performance bottlenecks by sharing your schema, slow query logs, and execution plans with Claude. It identifies root causes—missing indexes, inefficient joins, lock contention—and provides prioritized recommendations with ready-to-implement SQL. Skip the manual log analysis and get tuning strategies tailored to your workload.
This skill provides a structured approach to analyzing process problems, identifying root causes, and recommending capacity optimizations. You'll get clear bottleneck identification, data-driven recommendations, and a framework to validate whether your solutions actually work. Perfect for diagnosing why workflows are slow and finding the leverage points that matter most.
Use Claude to systematically analyze your database queries, execution plans, and schema to identify performance bottlenecks. The skill generates actionable optimization recommendations with SQL rewrites, index strategies, and configuration tuning. You'll receive detailed before-and-after performance analysis to validate improvements and prioritize work by impact.
You'll design and implement mobile features with architectural rigor, cross-platform considerations, and edge-case handling built-in. This skill generates complete system designs, platform-specific implementation strategies, performance optimization approaches, and testing frameworks. The output is production-ready guidance spanning iOS and Android with security, offline resilience, and deployment strategies included.
Design and optimize injectable formulations by analyzing your active pharmaceutical ingredient (API), selecting compatible excipients, and predicting stability outcomes. You'll receive systematic workflows that guide you through API characterization, formulation architecture, and risk mitigation—enabling faster development cycles and regulatory-ready documentation.
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 can architect multi-node ROS control systems from scratch, including node design patterns, communication flows, and real-time constraints. You'll debug complex node interactions using publisher/subscriber analysis, service call tracing, and action server diagnostics. You can optimize motion controllers through PID tuning, trajectory planning validation, and performance profiling to achieve precise, responsive robotic behavior.