evm-security

Audit EVM smart contracts in Solidity or Vyper for vulnerabilities.

Updated Feb 25, 2026
One-click install
npx skills add https://github.com/dajneem23/codex-skills --skill evm-security
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: evm-security
Source: https://github.com/dajneem23/codex-skills/tree/main/evm-security
Command: npx skills add https://github.com/dajneem23/codex-skills --skill evm-security

SYSTEM DOCUMENTATION & REQUIREMENTS

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

What problem does it solve?

This Skill automates the comprehensive security assessment of EVM smart contracts, identifying vulnerabilities and providing actionable remediation guidance.

Core Features & Use Cases

  • Systematic Auditing: Follows a 9-step process covering scope definition, behavior mapping, vulnerability checks, exploit pattern matching, and remediation.
  • Comprehensive Knowledge Base: Leverages multiple checklists and historical exploit patterns for thorough analysis.
  • Use Case: When tasked with auditing a new DeFi protocol's Solidity smart contracts, use this Skill to systematically uncover potential security flaws, prioritize them by severity, and receive concrete steps to fix them.

Quick Start

Use the evm-security skill to audit the provided Solidity smart contracts.

Frequently Asked Questions about evm-security

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

FAQPage Schema
How do I audit a Solidity smart contract for security vulnerabilities?

To audit a Solidity smart contract, this Skill systematically analyzes the code through a 9-step review process, mapping behaviors and matching historical exploit patterns to identify vulnerabilities and provide prioritized remediation guidance.

What is the process for conducting an EVM security audit?

An EVM security audit involves defining scope, mapping behaviors, checking vulnerabilities, matching exploit patterns, and prioritizing remediation. This Skill enforces a structured 9-step review process using multiple reference checklists for comprehensive coverage.

Can I use this to review Vyper smart contracts or is it limited to Solidity?

Yes, you can review Vyper smart contracts. The Skill conducts systematic security assessments and vulnerability detection for EVM smart contracts written in both Solidity and Vyper.

How do I analyze access control validation in DeFi protocol smart contracts?

Analyzing access control validation requires mapping contract behaviors and checking abuse paths. This Skill systematically validates access controls and identifies protocol architecture vulnerabilities during the security review.

Does this smart contract audit provide steps to fix detected vulnerabilities?

Yes, it provides actionable remediation guidance. After identifying vulnerabilities through systematic checks and exploit pattern matching, the Skill delivers concrete steps to fix them, prioritized by severity.