displayName
Smart Contract Audit
workflowKind
security
triggerType
on-demand
typicalCadence
per-deployment
complexity
single-team
description
Audits smart contract code for correctness, security vulnerabilities,
gas optimization, and compliance — running static analysis, fuzzing,
formal verification checks, and producing a findings report with
severity ratings. Excludes contract development.