blockchain-security-audit
OfficialThoroughly audit smart contracts for security vulnerabilities.
Software Engineering#security audit#formal verification#smart contract#blockchain security#defi protocols
AuthorCanhada-Labs
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides a comprehensive security review for smart contracts, identifying vulnerabilities and potential risks in EVM-based contracts and DeFi protocols.
Core Features & Use Cases
- Security Review: Conducts a thorough audit of smart contracts using EthTrust Security Levels and OWASP SCSVS as primary coverage.
- Formal Verification: Utilizes formal verification tools to ensure contract properties hold across all inputs.
- Static and Dynamic Analysis: Uses Slither, Mythril, Echidna, Foundry, and Certora for thorough code analysis.
- Use Case: When reviewing a new smart contract for potential vulnerabilities before deploying it to the mainnet.
Quick Start
Load the blockchain-security-audit skill and initiate an audit on the contract 'MyContract.sol'.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: blockchain-security-audit Download link: https://github.com/Canhada-Labs/ceo-orchestration/archive/main.zip#blockchain-security-audit Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.