semantic-gap-investigator
CommunityUncover semantic gaps in invariants.
Software Engineering#auditing#traceability#semantic#invariants#gap-analysis#findings#smart-contract-security
AuthorPlamenTSV
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Identifies and analyzes semantic invariants in smart contract code, surfacing gaps where one variable is updated without corresponding updates to another, enabling focused security reviews.
Core Features & Use Cases
- Traces SYNC_GAP, ACCUMULATION_EXPOSURE, and CONDITIONAL annotations through call graphs to locate stale reads and delayed updates.
- Evaluates exploitability and risk with concrete-value modeling, and yields structured findings and chain summaries for remediation planning.
- Applies to audits of complex multi-contract ecosystems, governance modules, and incentive-driven protocols where invariant consistency is critical.
Quick Start
Run the Semantic Gap Investigator on your project to identify and classify SYNC_GAP, ACCUMULATION_EXPOSURE, and CONDITIONAL annotations.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: semantic-gap-investigator Download link: https://github.com/PlamenTSV/plamen/archive/main.zip#semantic-gap-investigator Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.