Open source: solidity-lens

An open-source static analysis tool for Solidity smart contracts, focused on real-world auditor workflows. What it does: - Catches the top-20 vulnerability patterns from the Trail of Bits and ConsenSys lists - Outputs SARIF for GitHub code-scanning - Plays nicely with Foundry and Hardhat Status: 1.4k GitHub stars, used by 6 audit shops. Roadmap: better cross-contract analysis, a VS Code extension, and a hosted dashboard for teams. Looking for: contributors with audit experience, and one or two design partners who run regular audits and want input on the roadmap.