Solidity & EVM Development + Security Instructions for GitHub Copilot

What problem does it solve?

This Skill provides comprehensive guidelines and best practices for developing secure Solidity smart contracts and performing thorough security audits, integrating established security patterns and analysis techniques.

Core Features & Use Cases

• Secure Coding Practices: Learn and apply patterns like Checks-Effects-Interactions (CEI) to prevent reentrancy.
• Vulnerability Identification: Understand common vulnerabilities (overflows, access control issues, etc.) and their prevention.
• Audit Methodologies: Follow structured approaches for smart contract security analysis, including invariant testing and differential reviews.
• Tooling Integration: Utilize static analysis tools like Slither and Mythril.
• Use Case: A developer can use this Skill to ensure their new DeFi protocol contract adheres to the highest security standards, minimizing risks before deployment. An auditor can use it as a checklist and reference during a security review.

Quick Start

Review the "Core Security Principles" section to understand the CEI pattern for secure function design.