smart
Certora (@Certora) — Twitter Score 84 out of 1000
Great
84Ranked #9,378 of 493,263 crypto accounts tracked by TwitterScore.io
toly 🇺🇸
Stani
Robert Leshner
Luca Netz 🐧
Tarun Chitra
John Wang
Upgrade to see this data
Upgrade to see this data
Upgrade to see this data
Smart Followers
Unlock instant search across all smart followers, plus categories, trending alpha and bulk score checks.
Unlock instant search across all smart followers, plus categories, trending alpha and bulk score checks.
| Username | Following Date | Twitter Score | Followers | Smart Followers | Description |
|---|---|---|---|---|---|
|
|
|||||
About Certora's Twitter Score
Certora is a smart contract security firm that pioneered formal verification in the DeFi space through its Certora Prover tool. Certora's Twitter Score is 84 out of 1000 (a Good rating) as of October 2026, ranking #9,378 (top 5%) among 493,263 tracked accounts.
Certora was founded by Mooly Sagiv, who serves as CEO, and offers end-to-end security services spanning formal verification, manual audits, and protocol design review. The firm states that more than $100B in total value locked is protected by its technology and services. Featured audit engagements include Safe{Mobile}, Aave V3 Risk-Steward, EigenLayer Protocol, Kamino Lending, Lido Dual Governance, and Withdrawal Fee.
Certora also runs formal-verification-focused audit contests in partnership with Code4rena, with more than $800k in rewards distributed to date. The team built Gambit, an open source Solidity mutation testing tool, and maintains dedicated security hubs for builders on Solana, Stellar (Soroban), and Sui, including formal verification of Sui Move smart contracts. Certora has published 3,063 posts on the platform and has been mentioned by 231 accounts a total of 552 times.
Who follows Certora on X?
The accounts that follow Certora include 317 founders, 92 angel investors, 79 influencers and 6 VCs, among them Toly, Stani, Robert Leshner, Luca Netz, Tarun Chitra and John Wang.
