Alternatives and similar repositories for verite:

Users that are interested in verite are comparing it to the libraries listed below

• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆65Updated last year
• NaryaAI / cashio-exploit-workshop
  Write your own exploit for $CASH
  ☆26Updated 2 years ago
• theori-io / web3-publications
  Collection of Web3 Audits and Publications by ChainLight of Theori
  ☆13Updated last year
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆95Updated last week
• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆121Updated last month
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 4 months ago
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆45Updated 2 months ago
• 0xVolodya / audits
  Public audits
  ☆51Updated last year
• Pr0pertyGPT / PropertyGPT
  ☆18Updated 6 months ago
• farazsth98 / real-world-ethereum-hacks-remastered
  ☆25Updated 9 months ago
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆33Updated 10 months ago
• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆19Updated 5 months ago
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆107Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• Tomosuke0930 / Web3_Audit_Reports
  ☆14Updated 2 years ago
• Troublor / Nyx
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆16Updated 8 months ago
• muellerberndt / legion
  Scrappy bot army that automates web3 bug hunting workflows.
  ☆80Updated this week
• fuzzland / blazctf-2024
  ☆33Updated 3 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆67Updated last year
• Zellic / publications
  Zellic's audits, publications, and reports
  ☆155Updated this week
• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆46Updated last year
• quantstamp / l2-security-framework
  A framework for assessing the security of L2s
  ☆44Updated last year
• otter-sec / sol-ctf-framework
  Framework for Solana CTF challenges
  ☆58Updated 2 years ago
• immunefi-team / wormhole-uninitialized
  The repository contains a runnable POC for uninitialized wormhole implementation contract
  ☆73Updated last year
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆148Updated last year
• iczc / rwctf-5th-realwrap
  RealWorld CTF 5th realwrap challenge
  ☆18Updated last year
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆68Updated 6 months ago
• Consensys / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆130Updated last month
• Troublor / erebus-redgiant
  Smart contract front-running vulnerability benchmark
  ☆21Updated last year
• Frankcastleauditor / public-audits
  All the private and public audits that I have worked on.
  ☆63Updated this week