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
semantic-guard-analysis
Detects logic vulnerabilities by finding functions that bypass security checks the contract consistently applies elsewhere. Based on the Consistency Principle.
/
Plugin semantic-guard-analysis 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)
semantic-guard-analysisDetects logic vulnerabilities in smart contracts by analyzing guard-state consistency patterns. Identifies functions that bypass security checks (require, modifiers) that other functions consistently apply. Uses the Consistency Principle — a contract is its own specification. Use when auditing smart
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 semantic-guard-analysis?
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