state-sync-analysis
OfficialDetect state inconsistency in smart contracts.
AuthorPurpleAILAB
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill identifies potential vulnerabilities in smart contracts arising from state inconsistencies during external calls, which can be exploited by attackers.
Core Features & Use Cases
- State Dependency Mapping: Visualizes how different contract states and external data sources are interconnected.
- Inconsistency Window Detection: Pinpoints specific moments during external calls where a contract's state might become temporarily out of sync.
- Timing Attack Analysis: Identifies risks like read-only reentrancy and cross-contract state races.
- Use Case: An auditor can use this Skill to automatically flag potential reentrancy vulnerabilities in a DeFi protocol's withdrawal function by analyzing its state update order relative to external token transfers.
Quick Start
Analyze the provided Solidity code for state synchronization issues and potential timing attacks.
Dependency Matrix
Required Modules
None requiredComponents
referencesscripts
💻 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: state-sync-analysis Download link: https://github.com/PurpleAILAB/Vigilo/archive/main.zip#state-sync-analysis 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 223,000+ vetted skills library on demand.