Katarina / security before the audit↗
katarina.fyi
Katarina is a multi-agent security review harness for Solidity, Rust, C/C++ and backend code. It supports review of code, economics and incentives before audits, and provides an offline benchmark workflow.