input-arithmetic-safety
CommunitySecure your smart contracts from input & arithmetic flaws.
Software Engineering#code analysis#input validation#defi security#smart contract security#solidity audit#arithmetic vulnerability
AuthorRamprasad4121
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill identifies critical input validation failures and subtle arithmetic vulnerabilities in smart contracts that can lead to exploits, even in Solidity 0.8+.
Core Features & Use Cases
- Input Validation: Detects missing checks for zero addresses, zero amounts, array lengths, and bounds.
- Arithmetic Safety: Finds precision loss from division-before-multiplication, rounding exploitation, ERC4626 inflation risks, unsafe casting, and unchecked block edge cases.
- Use Case: When auditing a DeFi protocol's core token logic, use this Skill to ensure that all user-supplied amounts are validated and that fee calculations do not suffer from precision loss or dust attacks.
Quick Start
Analyze the provided smart contract code for input validation and arithmetic vulnerabilities.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 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: input-arithmetic-safety Download link: https://github.com/Ramprasad4121/srp/archive/main.zip#input-arithmetic-safety Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.