Projects Tagged smart-contract-security — Projects by Tags Showcasing Audited Smart Contract Security Tools, Protocols, and Vulnerability Analyses
Discover projects tagged smart-contract-security: a curated Projects by Tags list of blockchain projects, protocols, and developer tools that prioritize smart contract security through audits, formal verification, fuzzing, static analysis, and runtime monitoring. This collection highlights long-tail search phrases such as smart contract security audits for DeFi protocols, formal verification tools for Solidity and Vyper, and EVM runtime anomaly detection, and provides actionable insights on audit status, remediation history, and tooling integrations. Use the filtering UI to narrow results by audit firm, severity, ecosystem (EVM, L2, NFTs), and vulnerability type, then explore each project's code repositories, published audit reports, and bug bounty activity to evaluate risk and contribute to secure development — start filtering and compare projects to find vetted security solutions today.
