behavioral-state-analysis

What problem does it solve?

This Skill addresses the challenge of high token costs and lengthy processing times in smart contract security audits by employing a token-efficient approach called Behavioral State Analysis (BSA).

Core Features & Use Cases

• Token-Efficient Auditing: Scopes analysis to the contract type, running only relevant threat engines to minimize token consumption.
• Tiered Output Depth: Provides detailed output for critical findings and concise summaries for lower-severity ones.
• Use Case: Auditing a DeFi protocol's smart contracts to identify potential economic exploits and access control vulnerabilities while staying within a strict token budget.

Quick Start

Use the behavioral-state-analysis skill to audit the provided smart contract code for security vulnerabilities.