Crypto Security Tools

Scribble is a testing tool for solidity smart contracts through runtime verification.

A Complete Security Infrastructure

The SCSVS is a list of standards that ensure smart contract security.

Semgrep rules for Solidity smart contracts based on DeFi exploits.

SharkTeam offers smart contract audit, chain analytics, and emergency response services.

Shield is a content moderation engine that helps web3 platforms and communities filter scams.

This is solc-verify, an auto-verifier compiler for Solidity.

Opinionated security and code quality standard for Solidity smart contracts.

Solidcheck.io is an automated vulnerability testing platform that secures Solidity smart contracts.

SolidityScan is an automated smart contract vulnerability detector.

Smart contracts fuzzing template repository.

Bot protection for smart contracts, securing transactions using captchas.

Data platform that powers enterprise observability, unified security and custom applications.

Scalable Transparent Argument of Knowledge (STARK) is a secure and efficient cryptographic proofs.

StealthTest is a secure private testing environment for Ethereum and EVM-compatible blockchains.

A list of Smart Contract Weakness Classification and Test Cases.

Synpress is an e2e testing framework with support for metamask.

Tayt is a Starknet (Cairo) smart contract fuzzer in a Python box.

The world leader in smart contract risk and the largest collection of measured insights.

Solana Fuzzing Framework built by Ackee Blockchain Security.

Trustblock secures and simplifies the Web3 ecosystem.

Solidity language support and visual security auditor for Visual Studio Code.

Web3 Antivirus detects crypto scams and issues warnings before any signatures are made.

ZIION is the first comprehensive solution for blockchain security testing and development.

Ziion is a blockchain and smart contract security operating system (OS).