Launching a Protocol? Don't Get Hacked.

Static analysis framework for Solidity smart contracts. Detects vulnerabilities, optimizes gas usage, and suggests code improvements.

Echidna is a Haskell fuzzer for Ethereum smart contracts that builds ABI call sequences to falsify invariants, Solidity assertions, or Foundry-style tests. Use it when you can name a property — an echidna_ function, an assert, or a Foundry test — and want a minimized call sequence if the campaign breaks it.

Forta is an onchain risk platform: Forta Risk maps and monitors dependencies behind assets, and Forta Firewall screens transactions at the sequencer. Use Forta Risk for ongoing exposure alerts, or Firewall when undesired transactions should be stopped before execution.

Symbolic execution tool for EVM bytecode analysis. Detects security vulnerabilities in Ethereum smart contracts.

Real-time Web3 threat detection and prevention platform using proprietary ML models. Detects cyber, economic, governance, and community threats before they have impact.

Blockaid screens transactions, dApps, and tokens in real time for scams, fraud, exploits, and compliance risk. Wallets use it for end-user protection; protocol and wallet operators use onchain monitoring and Cosigner when they need programmatic policy checks.

Flashbots Protect submits transactions to a private mempool so they are hidden from frontrunning and sandwich bots, and it can refund MEV or priority fees. Point eth_sendRawTransaction at rpc.flashbots.net/fast when a transaction should stay out of the public mempool; reverted transactions are not included and are not charged.

GoPlus Security APIs return token, address, approval, NFT, dApp, and phishing-URL risk data, and can simulate a transaction on EVM chains and Solana. Call the token or address API before a transfer or an approval; the Token Security API for Solana is marked Beta in the docs.

AuditAgent is Nethermind's AI scanner for Solidity, Cairo, and Solana Rust. Run it on a repository, a deployed contract, in CI, or from an MCP client when you want a vulnerability report and suggested invariants before a manual audit.

Arkham is a blockchain explorer that groups addresses into labeled entities and lets you graph and trace fund flows across chains. Use its alerts, token-holder views, or the Intel Exchange when you need the entity behind an address rather than a raw transaction list.

Rating: 4.9/5 · Est. 2012

Rating: 4.8/5 · Est. 2015

Rating: 4.7/5 · Est. 2022

Rating: 4.8/5 · Est. 2021

Rating: 4.7/5 · Est. 2021

Rating: 4.5/5 · Est. 1999

Rating: 4.7/5 · Est. 2023

Rating: 4.6/5 · Est. 2023