What problem does it solve? Smart contract developers often skip structured security review or rely on ad-hoc checks, missing vulnerabilities that automated detectors, visual inspection, and property-based testing would catch before deployment. ## Core Features & Use Cases - Automated Vulnerability Scanning: Runs Slither with 70+ detectors, parses findings by severity, and recommends fixes with file references. - Special Feature Validation: Checks upgradeability risks, ERC conformance, and token integration patterns only when applicable to the codebase. - Visual Security Inspection: Generates inheritance graphs, function summaries, and state variable authorization diagrams to reveal shadowing and access control issues. - Property Documentation & Testing: Helps define security invariants and sets up Echidna fuzzing or Manticore formal verification. - Use Case: Before deploying a DeFi staking contract, run the full workflow to get a prioritized action plan covering reentrancy fixes, timelock recommendations, and fuzzing invariants. ## Quick Start Ask the assistant to run the secure development workflow on your Solidity project and produce a security report with an action plan.
