event-correctness
CommunityVerify events match actual on-chain state.
Software Engineering#auditing#solidity#ethereum#smart-contract#state-validation#event-correctness#emit-verification
AuthorPlamenTSV
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps auditors verify that emitted events in Solidity/EVM contracts accurately reflect the actual on-chain state, preventing mismatches between state changes and what is reported via events.
Core Features & Use Cases
- Inventory and analyze emits across contract functions to detect incorrect parameters
- Check value accuracy, index correctness, ordering, branch coverage, and parameter count
- Provide actionable findings with IDs (e.g., EVT-N) to guide fixes
- Off-chain impact assessment describing potential data divergence
Quick Start
Review all emits generated by the contract and compare each emitted parameter against the actual post-operation state to confirm correctness.
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: event-correctness Download link: https://github.com/PlamenTSV/plamen/archive/main.zip#event-correctness 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.