IronsideSec 
-
4naly3er Public
Forked from Picodes/4naly3erStatic smart contract code 4naly3er
TypeScript GNU General Public License v3.0 UpdatedMay 28, 2024 -
aderyn Public
Forked from Cyfrin/aderynAderyn 🦜 Rust-based Solidity AST analyzer.
Rust GNU Affero General Public License v3.0 UpdatedJun 5, 2024 -
ai-auditor-primers Public
Forked from devdacian/ai-auditor-primersPrimers for Specialist AI Smart Contract Auditors
MIT License UpdatedJul 4, 2025 -
-
-
-
awesome-web3sec-blogs-and-podcasts Public
Forked from tpiliposian/awesome-web3sec-blogs-and-podcastsList of awesome blogs and podcasts about web3 security and more
UpdatedMar 2, 2025 -
cawfree-byth Public
Forked from cawfree/bythThe behavioural indexer for Ethereum.
Rust MIT License UpdatedJun 10, 2024 -
CertoraProver Public
Forked from Certora/CertoraProverThe Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Kotlin GNU General Public License v3.0 UpdatedAug 12, 2025 -
claudit Public
Forked from marchev/clauditMCP server for searching Solodit smart contract security findings
JavaScript MIT License UpdatedMar 4, 2026 -
contracts Public
Forked from InverterNetwork/contractsThe Inverter Network protocol smart contracts
Solidity GNU Lesser General Public License v3.0 UpdatedJun 5, 2024 -
DeFiHackLabs Public
Forked from SunWeb3Sec/DeFiHackLabsReproduce DeFi hacked incidents using Foundry.
Solidity UpdatedJun 19, 2024 -
-
-
Inverter-Network-0xe47e52c4fea05e555920f1dcdcc6fb8eca103eeb Public
Forked from hats-finance/Inverter-Network-0xe47e52c4fea05e555920f1dcdcc6fb8eca103eebFork of the Inverter Smart Contracts Repository
Solidity GNU Lesser General Public License v3.0 UpdatedJun 5, 2024 -
-
makerdao-nst Public
Forked from sky-ecosystem/usdsRuby GNU Affero General Public License v3.0 UpdatedJun 24, 2024 -
-
milotruck-bot-regast Public
Forked from MiloTruck/regastA static analyzer for Solidity, built upon regex and ASTs.
Python UpdatedFeb 19, 2024 -
oz-known-issues Public
Forked from gmh5225/oz-known-issuesFind the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulnerabilities that may affect your code.
UpdatedNov 25, 2023 -
pearai-app Public
Forked from veerbia/pearai-appThe Open Source AI-Powered Code Editor. A fork of VSCode and Continue.
TypeScript Other UpdatedSep 28, 2024 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity and Vyper
Python GNU Affero General Public License v3.0 UpdatedJun 5, 2024 -
-
-
-
Whirlpool Public
Forked from Samourai-Wallet/WhirlpoolChaumian CoinJoin implementation by the developers of Samourai Wallet
MIT License UpdatedNov 27, 2019