skills.rest
Canhada-Labs
Canhada-LabsOFFICIAL
Explore all skills by this author →
GitHub

blockchain-security-audit

Identify security vulnerabilities in EVM smart contracts and DeFi protocols.

2|Updated Jun 30, 2026
Search Tags:#security audit#formal verification#smart contract#blockchain security#defi protocols
One-click install
npx skills add https://github.com/Canhada-Labs/ceo-orchestration --skill blockchain-security-audit
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: blockchain-security-audit
Source: https://github.com/Canhada-Labs/ceo-orchestration/tree/main/.claude/skills/domains/fintech/skills/blockchain-security-audit
Command: npx skills add https://github.com/Canhada-Labs/ceo-orchestration --skill blockchain-security-audit

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

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'.

Frequently Asked Questions about blockchain-security-audit

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I audit smart contracts for security vulnerabilities before mainnet deployment?▼

You audit smart contracts for security vulnerabilities by applying EthTrust Security Levels and OWASP SCSVS coverage to identify risks in EVM-based contracts and DeFi protocols before mainnet deployment.

What is formal verification for smart contracts and how does it find DeFi protocol risks?▼

Formal verification for smart contracts mathematically proves contract properties hold across all inputs, identifying potential vulnerabilities and risks in DeFi protocols beyond what standard static analysis covers.

Can I use static and dynamic analysis tools like Slither, Mythril, and Foundry for EVM contract audits?▼

Yes, you can use static and dynamic analysis tools like Slither, Mythril, Echidna, Foundry, and Certora to perform thorough code analysis and identify vulnerabilities in EVM smart contracts and DeFi protocols.

Do I need prior knowledge of blockchain security principles to audit smart contracts?▼

Yes, conducting a smart contract security audit requires knowledge of smart contract development and blockchain security principles to effectively identify vulnerabilities and apply EthTrust Security Levels and OWASP SCSVS.

What's the best way to check EVM smart contracts against OWASP SCSVS and EthTrust Security Levels?▼

The best way to check EVM smart contracts against OWASP SCSVS and EthTrust Security Levels is to perform a comprehensive security review combining formal verification with static and dynamic analysis tools like Slither and Foundry.

Related Skills

Explore More Software Engineering Skills→
aiunlocked1412aiunlocked1412
14

blockchain-dev

Generate Solidity or Rust smart contracts with deployment scripts and security checks.

Community
Advanced
amdmaxamdmax
2

security-review

Audit code changes against OWASP Top 10 and API Security Top 10 standards.

Community
Advanced
telihateliha

Smart Contract Security Audit

Audit Solidity smart contracts for security vulnerabilities and generate Markdown reports.

Official
Advanced
SkobynSkobyn

web3-audit

Audit smart contracts for DeFi security vulnerabilities and Foundry exploit tests.

Community
Advanced