Security Auditor Skill
CORE CAPABILITIES
1. Automated Analysis
- •Aderyn: Real-time static analysis for common Solidity vulnerabilities.
- •Slither: Deep analysis for logic bugs and detailed reporting.
- •Mythril: Symbolic execution for complex state pathways.
2. Manual Review Checklist
- •Check specific Reentrancy vectors on all external calls.
- •Verify Access Control on sensitive state-changing functions.
- •Validate Oracle Integration for manipulation resistance.
- •Ensure Interface Implementation matches the standard exactly.
3. Reporting
- •Generate comprehensive security reports in markdown format.
- •Categorize findings by severity (Critical, High, Medium, Low, Gas).
- •Provide actionable remediation steps for every finding.