semantic-guard-analysis
v1.0.0Detects logic vulnerabilities in smart contracts by analyzing guard-state consistency patterns. Uses the Consistency Principle to find functions that bypass security checks (require, modifiers) established by the contract's own patterns.
by QuillShield117updated 4 months ago
Source
git clone https://github.com/quillai-network/quillshield_skillsClone the source, then follow the repository's marketplace instructions for your runtime. The plugin root is plugins/semantic-guard-analysis/ inside the repository.
Layout
├── .claude-plugin/plugin.json└── skills/semantic-guard-analysis/SKILL.md
Skills1
Detects 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 contracts for missing access controls, inconsistent pause checks, logic bugs, forgotten modifiers, or when traditional tools report no issues but logic errors may exist.
Manifests1
{
"name": "semantic-guard-analysis",
"version": "1.0.0",
"description": "Detects logic vulnerabilities in smart contracts by analyzing guard-state consistency patterns. Uses the Consistency Principle to find functions that bypass security checks (require, modifiers) established by the contract's own patterns.",
"author": {
"name": "QuillShield",
"url": "https://github.com/quillai-network"
}
}