Smart Contract Security Analysis & Code Review
Detect smart contract vulnerabilities and optimize security instantly
What You Can Do
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.
Features
Identifies reentrancy, integer overflow/underflow, unchecked call returns, timestamp dependency, and 50+ known attack vectors
Finds inefficient patterns and suggests storage layout improvements, loop optimization, and calldata vs memory tradeoffs
Checks for proper access control, input validation, state management, and ERC-20/721/1155 standard compliance
Detects suspicious patterns like delegatecall usage, proxy vulnerabilities, and initialization issues
Rates each finding as critical, high, medium, or low with detailed justification and impact assessment
Provides code examples and step-by-step fixes for every vulnerability found
Visualizes external calls, dependencies, and potential attack surfaces across contract interactions
Produces professional security audit reports suitable for stakeholders and deployment teams
Example Output
Vulnerability Report for TokenMint.sol:
- 🔴 CRITICAL — Reentrancy Vulnerability (Line 42)
// Vulnerable
(bool success, ) = recipient.call{value: amount}("");
require(success, "Transfer failed");
balances[recipient] -= amount; // State change after call
Risk: Attacker can drain contract during callback Fix: Update state before external call using checks-effects-interactions pattern
- ⚠️ HIGH — Unchecked Integer Overflow (Line 18)
uint8 price = 100;
price += user_input; // No validation
Recommendation: Use Solidity 0.8.0+ (automatic checks) or OpenZeppelin SafeMath
- 💡 MEDIUM — Gas Inefficiency (Line 35)
for (uint i = 0; i < array.length; i++) { // Reads length each iteration
// ...
}
Optimization: Cache array.length in local variable (saves ~3 gas per iteration)
Summary: 8 issues found (1 critical, 2 high, 3 medium, 2 low). Estimated severity: High. Recommend: Deploy blocklist contract, audit reentrancy fixes, optimize loops before mainnet.
What's Included
- SKILL.md: Complete smart contract security analysis workflow with decision trees and verification checklists
- Vulnerability checklist template: 50+ known vulnerabilities organized by category (reentrancy, overflow, access control, etc.)
- Security audit report template: Professional format suitable for stakeholder review and deployment teams
- Gas optimization guide: Common patterns and their gas costs with before/after comparisons
- Remediation code examples: Copy-paste fixes for common vulnerabilities (SafeMath, ReentrancyGuard, etc.)
- Contract interaction mapper: Workflow for analyzing call chains and dependency graphs
- ERC standard compliance checklist: Verification for ERC-20, ERC-721, ERC-1155, and ERC-4626
Who It's For
- Smart contract developers — Review your own code before deployment or during development iterations
- Blockchain security auditors — Streamline manual audits with automated vulnerability detection and reporting
- DeFi protocol teams — Pre-launch security review for staking, yield farming, and lending contracts
- Smart contract reviewers — Code review specialists evaluating third-party contracts or community contributions
- Web3 startup teams — Quick security assessments when you need results faster than hiring external auditors
Best For
- Pre-deployment security audits — Run before testnet/mainnet launch
- Vulnerability detection — Identify reentrancy, overflow, and access control issues automatically
- Gas optimization — Reduce transaction costs by identifying inefficient patterns
- Code review preparation — Audit third-party contracts or contributions quickly
- Compliance checking — Verify ERC token standards and security best practices
- Post-incident analysis — Investigate exploited contracts and understand attack vectors
You might also like
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 develop systematic approaches to injectable formulation design, from API selection through sterilization strategy. Claude helps you troubleshoot failed batches by analyzing root causes, recommends regulatory pathways (505(b)(2), ANDA, NDA), and provides science-backed solutions for stability, compatibility, and manufacturability challenges.
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.