Multi-dimensional smart contract security auditing using Behavioral State Analysis (BSA). Combines behavioral intent extraction, parallel threat engines, adversarial simulation with PoC generation, and Bayesian confidence scoring.
1 skill
134
claude
state-invariant-detection
Automatically infers mathematical relationships between state variables then finds functions that violate them. Catches vulnerabilities behind the biggest DeFi hacks.
/
Plugin state-invariant-detection from marketplace quillshield-security-skills in quillai-network/quillshield_skills. Commands read from the repo's manifest — 1 month ago.
What it installs
Skills (1)
state-invariant-detectionDetects 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 desynchronizat
More from quillai-network/quillshield_skills
All 11 plugins →defender
claudeBlue-team release-gate skill for deploy and upgrade readiness. Reviews CI/CD trust boundaries, deploy script safety, config drift, signer/admin operational security, and outputs an evidence-based release verdict.
1 skill
134
dos-griefing-analysis
claudeDetects Denial of Service and griefing vulnerabilities — unbounded loops, gas limit exhaustion, external call failure DoS, 63/64 gas griefing, and storage bloat.
1 skill
134
external-call-safety
claudeDetects unsafe external call patterns and token integration vulnerabilities. Covers unchecked return values, fee-on-transfer tokens, rebasing tokens, and callback risks.
1 skill
134
input-arithmetic-safety
claudeDetects input validation failures and arithmetic vulnerabilities — precision loss, rounding exploitation, ERC4626 inflation attacks, unsafe casting, and unchecked block risks.
1 skill
134
Detects price oracle manipulation and flash loan attack vectors. Classifies oracle trust models, identifies stale prices, circular dependencies, and flash loan atomicity exploitation.
1 skill
134
Maintain state-invariant-detection?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex plugins11 plugins