InstaDApp is a DApp built on the Ethereum network that integrates DeFi protocols into one platform for easy asset monitoring and management.
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.