Alternatives and similar repositories for thoth:

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

• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆122Updated last month
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆35Updated last year
• crytic / caracal
  Static Analyzer for Starknet smart contracts
  ☆142Updated last year
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆109Updated last year
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆47Updated 4 months ago
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 6 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆110Updated last year
• Zellic / example-ctf-challenge
  A self-contained example Ethereum challenge using Paradigm's CTF framework
  ☆28Updated 2 years ago
• minaminao / erever
  My swiss army knife for reversing EVM bytecodes (super experimental)
  ☆117Updated 5 months ago
• Zellic / publications
  Zellic's audits, publications, and reports
  ☆165Updated this week
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆104Updated 3 months ago
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆104Updated last month
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated last month
• paradigmxyz / paradigm-ctf-2023
  ☆74Updated last year
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated 6 months ago
• perimetersec / evm-fuzzing-resources
  A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
  ☆133Updated last month
• quantstamp / l2-security-framework
  A framework for assessing the security of L2s
  ☆46Updated last year
• 0xToshii / mr-steal-yo-crypto-ctf-foundry
  Solidity CTF challenges for mrstealyocrypto.xyz (foundry)
  ☆139Updated last year
• sherlock-protocol / sherlock-reports
  Sherlock audit and coverage reports
  ☆126Updated this week
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆183Updated last month
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆244Updated 9 months ago
• devdacian / solidity-fuzzing-comparison
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆152Updated 2 months ago
• ImmuneBytes-Security-Audit / Blockchain-Attack-Vectors
  A framework that references, categorizes, and mitigates blockchain attack vectors.
  ☆24Updated last week
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆117Updated 7 months ago
• adelapie / ghidra-evm
  The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…
  ☆139Updated 3 years ago
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆66Updated last year
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆104Updated last year