Alternatives and similar repositories for scout-audit

Users that are interested in scout-audit are comparing it to the libraries listed below

• CoinFabrik / scout-soroban-examples
  Soroban Smart Contract examples security reviewed by Scout and manual auditors
  ☆28Updated last year
• CoinFabrik / scout
  Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …
  ☆60Updated 9 months ago
• CoinFabrik / scout-soroban
  Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …
  ☆43Updated 10 months ago
• CoinFabrik / coinfabrik-audit-reports
  A list of public audit reports conducted by the CoinFabrik team.
  ☆22Updated last week
• CoinFabrik / stacy
  Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…
  ☆28Updated last year
• MariusVanDerWijden / tx-fuzz
  ☆117Updated 5 months ago
• runtimeverification / kontrol
  ☆81Updated last week
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆70Updated 3 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆88Updated last year
• CoinFabrik / scout-actions
  Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…
  ☆16Updated 4 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 5 months ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆109Updated last year
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆44Updated last week
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆206Updated last year
• crytic / slither-action
  ☆143Updated 6 months ago
• Certora / tutorials-code
  Certora tutorials
  ☆26Updated last month
• ethereum / protocol-security
  ☆42Updated this week
• OpenZeppelin / openzeppelin-relayer
  OpenZeppelin Relayer
  ☆94Updated this week
• x676f64 / awesome-substrate-security
  A repo to for sharing information on Substrate security
  ☆18Updated last year
• spherex-xyz / reentrancy-guard-proxy
  A Proxy contract incorporating a Reentrancy Guard
  ☆28Updated 2 years ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆138Updated 9 months ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 5 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• VulnPlanet / l3x
  AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
  ☆86Updated last year
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆65Updated last year
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆252Updated last year
• Hexens / awesome-fhe-attacks
  A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)
  ☆83Updated 4 months ago
• timurguvenkaya / near-sc-security-course
  ☆25Updated 2 years ago
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆241Updated last week