Our initial solution is codenamed Blockstead, an automated smart contract security analyzer. Blockstead utilises several open-source smart contract static analyzers to scan Ethereum and BNB smart contracts at scale. It also implements a rule-based expert system to aggregate scan results from analyzers into one explainable security score. In its first iteration, Blockstead can detect up to 40% of Ethereum’s smart contract weakness classifications (SWCs); a much higher SWC coverage than any individual analyzer. Blockstead also provides transaction analysis and visuals to assist with tracing stolen funds. With its comprehensive analysis framework, Blockstead helps developers avoid deploying vulnerable contracts; e-crime investigators analyse and trace stolen funds; and allows investment analysts to incorporate vulnerabilities as risks for DeFi portfolio management.