Alternatives and similar repositories for verite:

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

• fuzzland / blazctf-2024
  ☆37Updated 6 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆75Updated last year
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆98Updated 7 months ago
• fuzzland / writeup
  CTF Writeups
  ☆37Updated last year
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆47Updated 5 months ago
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆104Updated this week
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆111Updated last year
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆71Updated last year
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆117Updated 8 months ago
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆36Updated last year
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆134Updated 4 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 3 months ago
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆54Updated last month
• OpenZeppelin / sgp
  Solidity ANTLR4 grammar Python parser
  ☆13Updated last month
• numencyber / NumenCTF_2023
  Numen Cyber Smart Contract CTF
  ☆46Updated 2 years ago
• JoranHonig / awesome-web3-ai-security
  ☆38Updated 10 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆104Updated 3 months ago
• DeFiHackLabs / blazctf-2024-writeup
  ☆16Updated 6 months ago
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆42Updated 7 months ago
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆59Updated 6 months ago
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆59Updated last year
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆46Updated 3 months ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated last year
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆106Updated 3 months ago
• NaryaAI / cashio-exploit-workshop
  Write your own exploit for $CASH
  ☆27Updated 2 years ago
• Zellic / solidity-parser
  Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…
  ☆59Updated 3 months ago
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆44Updated last year
• chainlight-io / publications
  ☆87Updated last month
• MEDGA-eth / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆45Updated 5 months ago