contracts-overview

Audit Solidity smart contracts for reentrancy and EVM vulnerabilities using Slither and Foundry.

7|1|Updated Apr 14, 2026

Search Tags:#audit #vulnerability detection #smart contract #reentrancy #EVM

Ready to run

npx skills add https://github.com/ArianHobson333/claude-bug-bounty-stack --skill contracts-overview

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: contracts-overview
Source: https://github.com/ArianHobson333/claude-bug-bounty-stack/tree/main/vendor/Decepticon/skills/contracts
Command: npx skills add https://github.com/ArianHobson333/claude-bug-bounty-stack --skill contracts-overview

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires slither, foundry, and includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill automates the audit process for smart contracts, identifying reentrancy and EVM vulnerabilities, saving time and reducing manual errors.

Core Features & Use Cases

Smart Contract Audit: Scans Solidity/EVM contracts for reentrancy and other common vulnerabilities.
Slither Integration: Utilizes Slither for detailed contract analysis.
Foundry PoC Generation: Generates Proof of Concept (PoC) tests using Foundry.
DeFi Attack Playbooks: Provides playbooks for common DeFi attacks.

Quick Start

Use the contracts-overview skill to audit a smart contract by providing the path to the contract file.

Frequently Asked Questions about contracts-overview

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

FAQPage Schema

How do I audit smart contracts for reentrancy and EVM vulnerabilities?▼

You can audit smart contracts for reentrancy and EVM vulnerabilities by running automated analysis with Slither and Foundry to detect access control and upgradeable proxy issues. This Skill scans Solidity contracts to identify these security flaws automatically.

What is a reentrancy vulnerability in Solidity and EVM contracts?▼

A reentrancy vulnerability in EVM contracts occurs when external calls hijack execution flow before state updates finish. This Skill identifies reentrancy, access control, and upgradeable proxy issues in Solidity code using Slither analysis.

Do I need Slither and Foundry installed to scan Solidity contracts?▼

Yes, you need Slither and Foundry installed to scan Solidity contracts for in-depth vulnerability analysis and Proof of Concept generation. These dependencies are required for the automated audit process to execute successfully.

Can I generate a Foundry Proof of Concept test for smart contract vulnerabilities?▼

Yes, you can generate a Foundry Proof of Concept test for smart contract vulnerabilities. This Skill creates PoC tests using Foundry to validate detected reentrancy and access control issues in your Solidity code.

What's the best way to detect upgradeable proxy issues in EVM contracts?▼

The best way to detect upgradeable proxy issues in EVM contracts is using Slither static analysis. This Skill automates this detection process alongside reentrancy and access control checks for Solidity contracts.

Are there playbooks for common DeFi attacks available during smart contract audits?▼

Yes, playbooks for common DeFi attacks are provided during smart contract audits. These playbooks accompany the reentrancy and EVM vulnerability detection to help contextualize findings from Slither and Foundry scans.