🎯7Skills
🎯Skills7
🎯behavioral-state-analysis🎯Skill
Skill
behavioral-state-analysis
🎯state-invariant-detection🎯Skill
Skill
state-invariant-detection
🎯semantic-guard-analysis🎯Skill
Skill
semantic-guard-analysis
🎯reentrancy-pattern-analysis🎯Skill
Skill
reentrancy-pattern-analysis
🎯oracle-flashloan-analysis🎯Skill
Skill
oracle-flashloan-analysis
🎯proxy-upgrade-safety🎯Skill
Skill
proxy-upgrade-safety
🎯signature-replay-analysis🎯Skill
Skill
signature-replay-analysis