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
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.
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 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.
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.
You can rapidly identify root causes of training failures, data pipeline breakdowns, and model serving issues by analyzing logs, metrics, and infrastructure state. Claude examines your system events, resource utilization patterns, and error traces to pinpoint performance bottlenecks, data quality problems, and deployment misconfigurations—then recommends targeted remediation steps.
Diagnose and resolve computer vision model failures using a structured, multi-angle debugging framework. You'll systematically investigate root causes across model architecture, data quality, preprocessing, and inference stages—then receive targeted fixes to get your model back on track.
You can validate IMU sensor fusion algorithms, interpret calibration data, and diagnose navigation errors through structured diagnostic workflows. The skill guides you through systematic checks of sensor offsets, quaternion calculations, gimbal lock conditions, and axis alignment issues. It produces actionable calibration coefficients, tuning parameters, and root-cause analysis of drift and orientation errors.
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.