Stacks is a Bitcoin layer for smart contracts. The Stacks layer enables DeFi, NFTs, and other decentralized apps built on Bitcoin.
Website
Certora provides security analysis tools for smart contracts using formal verification (math proofs) to ensure that algorithms are behaving as intended, automating security auditing for DeFi protocols like Lido, MakerDAO, Aave, among others.
Solscan is a real-time update scanning tool for the Solana ecosystem.