Skills
.Work. You
Rest

assert-violation

Community

Detects improper use of assert()

Software Engineering#security#vulnerability#auditing#smart contracts#solidity#require#assert
AuthorApegurus
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill identifies instances where assert() statements are misused in Solidity smart contracts, which can lead to unexpected gas consumption or security vulnerabilities.

Core Features & Use Cases

  • Detects assert() misuse: Flags assert() used for input validation or external call checks instead of require().
  • Solidity Version Awareness: Considers the different gas behaviors of assert() in Solidity versions before and after 0.8.0.
  • Use Case: Ensure your smart contracts correctly handle validation and state checks, preventing potential denial-of-service or griefing attacks.

Quick Start

Analyze the attached contract 'MyContract.sol' for assert violations.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 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: assert-violation
Download link: https://github.com/Apegurus/solidity-argus/archive/main.zip#assert-violation

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.