claudeindex
Plugin

state-invariant-detection

Automatically infers mathematical relationships between state variables then finds functions that violate them. Catches vulnerabilities behind the biggest DeFi hacks.

Installation

1

Add the marketplace

/plugin marketplace add quillai-network/qs_skills
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.