Skills
.Work. You
Rest

state-invariant-detection

Community

Detects broken mathematical relationships in smart contracts.

Software Engineering#security#vulnerability#auditing#smart contract#defi#invariant detection
AuthorRamprasad4121
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill automatically identifies and flags critical vulnerabilities in smart contracts arising from broken mathematical relationships between state variables, preventing financial losses due to accounting errors, tokenomics flaws, or state desynchronization.

Core Features & Use Cases

  • Invariant Inference: Automatically discovers and classifies mathematical relationships (e.g., totalSupply = Σ balances, k = reserveA × reserveB).
  • Violation Detection: Pinpoints specific functions that violate these inferred invariants.
  • Use Case: Auditing a DeFi token contract to ensure that totalSupply always accurately reflects the sum of all user balances, preventing unauthorized minting or supply discrepancies.

Quick Start

Analyze the provided smart contract code for state-invariant violations.

Dependency Matrix

Required Modules

None required

Components

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: state-invariant-detection
Download link: https://github.com/Ramprasad4121/srp/archive/main.zip#state-invariant-detection

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.