Alternatives and similar repositories for slitherin

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

• a16z / halmos

  View on GitHub
  A symbolic testing tool for EVM smart contracts
  ☆967Aug 6, 2025Updated 6 months ago
• spearbit / armory

  View on GitHub
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆403Oct 11, 2023Updated 2 years ago
• crytic / medusa

  View on GitHub
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆452Updated this week
• yAudit / defi-fork-bugs

  View on GitHub
  Bugs in commonly forked DeFi protocols
  ☆489Oct 3, 2025Updated 4 months ago
• Decurity / semgrep-smart-contracts

  View on GitHub
  Semgrep rules for smart contracts based on DeFi exploits
  ☆705Jun 2, 2025Updated 8 months ago
• nascentxyz / pyrometer

  View on GitHub
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆789Feb 14, 2025Updated 11 months ago
• 0xJuancito / multichain-auditor

  View on GitHub
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆711Feb 4, 2026Updated last week
• iFrostizz / solhunt

  View on GitHub
  Hunt for common bad practices in Solidity smart contracts !
  ☆123May 9, 2023Updated 2 years ago
• 0xcacti / awesome-oracle-manipulation

  View on GitHub
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆529Mar 29, 2024Updated last year
• zobront / quickpoc

  View on GitHub
  easy POC template generation from the command line
  ☆325Jan 10, 2024Updated 2 years ago
• Picodes / 4naly3er

  View on GitHub
  Static smart contract code 4naly3er
  ☆550Aug 14, 2024Updated last year
• OpenCoreCH / smart-contract-auditing-heuristics

  View on GitHub
  Heuristics for smart contract auditors
  ☆610Dec 13, 2022Updated 3 years ago
• deliriusz / turbopoc

  View on GitHub
  easy POC template generation from the command line
  ☆78Aug 30, 2024Updated last year
• zeroknots / brokentoken

  View on GitHub
  Foundry Test Suit to test weird ERC20 behavior
  ☆235Mar 23, 2023Updated 2 years ago
• emilianobonassi / whitehacks-kit

  View on GitHub
  A simple template to perform whitehacks safely
  ☆181Aug 5, 2023Updated 2 years ago
• immunefi-team / forge-poc-templates

  View on GitHub
  ☆476Mar 31, 2025Updated 10 months ago
• ComposableSecurity / SCSVS

  View on GitHub
  Smart Contract Security Verification Standard
  ☆513Jan 22, 2025Updated last year
• Jon-Becker / heimdall-rs

  View on GitHub
  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…
  ☆1,487Updated this week
• pcaversaccio / reentrancy-attacks

  View on GitHub
  A chronological and (hopefully) complete list of reentrancy attacks to date.
  ☆1,582Nov 24, 2025Updated 2 months ago
• fuzzland / ityfuzz

  View on GitHub
  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
  ☆1,065Dec 10, 2025Updated 2 months ago
• crytic / properties

  View on GitHub
  Pre-built security properties for common Ethereum operations
  ☆360Feb 2, 2026Updated last week
• d-xo / weird-erc20

  View on GitHub
  weird erc20 tokens
  ☆1,674Jun 3, 2025Updated 8 months ago
• crytic / optik

  View on GitHub
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆99Sep 3, 2024Updated last year
• bEsPoKeN-tOkEns / token-tester

  View on GitHub
  Use cursed ERC20s in foundry unit tests
  ☆144Mar 5, 2023Updated 2 years ago
• lidofinance / diffyscan

  View on GitHub
  Diff your Github against Etherscan.
  ☆140Updated this week
• crytic / building-secure-contracts

  View on GitHub
  Guidelines and training material to write secure smart contracts
  ☆2,447Jan 26, 2026Updated 2 weeks ago
• pcaversaccio / malleable-signatures

  View on GitHub
  This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…
  ☆114Feb 6, 2026Updated last week
• Certora / gambit

  View on GitHub
  Using mutations to improve specs and test suites
  ☆204May 12, 2025Updated 9 months ago
• crytic / fuzz-utils

  View on GitHub
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆117Aug 25, 2025Updated 5 months ago
• 0xKitsune / solstat

  View on GitHub
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆430Nov 17, 2023Updated 2 years ago
• ConsenSysDiligence / napalm

  View on GitHub
  ☆46Mar 8, 2024Updated last year
• nascentxyz / simple-security-toolkit

  View on GitHub
  A collection of practical security-focused guides and checklists for smart contract development
  ☆1,212Nov 15, 2023Updated 2 years ago
• transmissions11 / solcurity

  View on GitHub
  Opinionated security and code quality standard for Solidity smart contracts.
  ☆2,163Jul 2, 2023Updated 2 years ago
• coinspect / learn-evm-attacks

  View on GitHub
  🚀 Try the Learn EVM Explorer we just launched!!!
  ☆1,795Feb 2, 2026Updated last week
• SunWeb3Sec / DeFiVulnLabs

  View on GitHub
  To learn common smart contract vulnerabilities using Foundry!
  ☆1,900Apr 24, 2025Updated 9 months ago
• lucas-manuel / invariant-examples

  View on GitHub
  ☆164Jul 30, 2023Updated 2 years ago
• nomoixyz / vulcan

  View on GitHub
  Development framework for Foundry projects
  ☆288Apr 23, 2025Updated 9 months ago
• tintinweb / smart-contract-vulndb

  View on GitHub
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆235Mar 21, 2024Updated last year
• Quillhash / Solidity-Attack-Vectors

  View on GitHub
  This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a p…
  ☆490Jan 28, 2024Updated 2 years ago