Alternatives and similar repositories for verite:

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

• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆47Updated 3 months ago
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆102Updated last month
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆65Updated last year
• fuzzland / blazctf-2024
  ☆34Updated 4 months ago
• Pr0pertyGPT / PropertyGPT
  ☆19Updated 7 months ago
• OpenZeppelin / sgp
  Solidity ANTLR4 grammar Python parser
  ☆12Updated last year
• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆19Updated 6 months ago
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 5 months ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• paradigmxyz / paradigm-ctf-2023
  ☆69Updated last year
• Consensys / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆130Updated 2 months ago
• theori-io / web3-publications
  Collection of Web3 Audits and Publications by ChainLight of Theori
  ☆13Updated last year
• Tomosuke0930 / Web3_Audit_Reports
  ☆14Updated 2 years ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆108Updated 10 months ago
• otter-sec / sol-ctf-framework
  Framework for Solana CTF challenges
  ☆58Updated 2 years ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆57Updated 10 months ago
• JoranHonig / awesome-web3-ai-security
  ☆37Updated 8 months ago
• Zellic / publications
  Zellic's audits, publications, and reports
  ☆162Updated this week
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆51Updated 2 weeks ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆115Updated 6 months ago
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆108Updated last year
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆35Updated 11 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆72Updated last month
• NaryaAI / cashio-exploit-workshop
  Write your own exploit for $CASH
  ☆26Updated 2 years ago
• whbjzzwjxq / ZKAP
  ☆21Updated 6 months ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆94Updated 5 months ago
• GuardianAudits / SolidityLab
  ☆39Updated 7 months ago
• Troublor / erebus-redgiant
  Smart contract front-running vulnerability benchmark
  ☆21Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆18Updated last week
• infosec-us-team / Immunefi-Bug-Bounty-Programs-Unofficial
  Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…
  ☆43Updated this week