Alternatives and similar repositories for halmos

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

• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆786Updated 8 months ago
• fvictorio / evm-puzzles
  A collection of EVM puzzles
  ☆841Updated 2 years ago
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆545Updated last year
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆505Updated last year
• spearbit / portfolio
  ☆560Updated this week
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆499Updated 9 months ago
• 0xJuancito / multichain-auditor
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆703Updated last year
• Cyfrin / aderyn
  Solidity Static Analyzer that easily integrates into your editor
  ☆635Updated last week
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆487Updated 7 months ago
• pcaversaccio / snekmate
  State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
  ☆563Updated this week
• PaulRBerg / foundry-template
  Foundry-based template for developing Solidity smart contracts
  ☆626Updated this week
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆427Updated this week
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆342Updated 6 months ago
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆525Updated last year
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆372Updated last year
• crisgarner / awesome-foundry
  A curated list of awesome of the Foundry development framework.
  ☆1,186Updated last year
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆461Updated last year
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆485Updated 3 weeks ago
• wolflo / evm-opcodes
  A quick reference for EVM opcodes
  ☆798Updated last year
• paradigmxyz / paradigm-ctf-2022
  Puzzles used in the 2022 Paradigm CTF
  ☆389Updated 3 years ago
• harnesslabs / arbiter
  Multi-agent framework for design, simulation, and auditing.
  ☆720Updated 4 months ago
• RareSkills / solidity-riddles
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆381Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆401Updated last year
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆605Updated 2 years ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…
  ☆328Updated this week
• spearbit / armory
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆400Updated 2 years ago
• w1nt3r-eth / evm-from-scratch
  Super secret 100% practical EVM course. Please do not share
  ☆724Updated 2 years ago
• nascentxyz / simple-security-toolkit
  A collection of practical security-focused guides and checklists for smart contract development
  ☆1,179Updated last year
• immunefi-team / forge-poc-templates
  ☆459Updated 6 months ago
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆281Updated 10 months ago