Agent Plugins Marketplace
← All plugins

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 QuillShield125 GitHub starsUpdated 5 months ago

Directory evidence

Runtimes
Claude Code
Parsed components
1 skill or MCP entry
Source updated
Mar 30, 2026
Manifest status
Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →

Install state-invariant-detection for Claude Code

Installs for the current user
claude plugin marketplace add IchenDEV/agent-plugin-mkt
claude plugin marketplace update agent-plugin-marketplace
claude plugin install state-invariant-detection@agent-plugin-marketplace

Paste and run these commands in a terminal with Claude Code. They add and refresh the PluginsMP catalog, then install this plugin.

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually
git clone https://github.com/quillai-network/quillshield_skills

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/state-invariant-detection/.

Plugin files

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

Included 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.

Plugin 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"
  }
}

For maintainers

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[state-invariant-detection on Agent Plugins Marketplace](https://pluginsmp.com/plugins/state-invariant-detection)