state-invariant-detection

v1.0.0

Detects broken mathematical relationships between state variables in smart contracts. Automatically infers invariants (sum, conservation, ratio, monotonic, synchronization) then finds functions that violate them. Catches unauthorized minting, broken tokenomics, and accounting desynchronization.

Claude Code1 skill

by QuillShield117updated 4 months ago

Source

$ git clone https://github.com/quillai-network/quillshield_skills

Clone the source, then follow the repository's marketplace instructions for your runtime. The plugin root is plugins/state-invariant-detection/ inside the repository.

Layout

plugins/state-invariant-detection/

├── .claude-plugin/plugin.json
└── skills/state-invariant-detection/SKILL.md

Skills1

state-invariant-detectionskills/state-invariant-detection/SKILL.md

Detects broken mathematical relationships between state variables in smart contracts. Automatically infers invariants (totalSupply = sum(balances), conservation laws, ratio constraints) then finds functions that violate them. Catches unauthorized minting, broken tokenomics, accounting desynchronization, and state drift. Use when auditing for state-state invariant violations, broken accounting, supply mismatches, desynchronized state variables, or conservation law violations in smart contracts.

Manifests1

plugins/state-invariant-detection/.claude-plugin/plugin.json

{
  "name": "state-invariant-detection",
  "version": "1.0.0",
  "description": "Detects broken mathematical relationships between state variables in smart contracts. Automatically infers invariants (sum, conservation, ratio, monotonic, synchronization) then finds functions that violate them. Catches unauthorized minting, broken tokenomics, and accounting desynchronization.",
  "author": {
    "name": "QuillShield",
    "url": "https://github.com/quillai-network"
  }
}