The Guardian is a tool that includes identity management and blockchain tools for developers to get started creating digital environmental assets; such as carbon offsets and credits.
Website | Case Study
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.