halmos
by a16z
A symbolic testing tool for EVM smart contracts
AI summary
Contract tester
A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts
- stars
- 835
- forks
- 71
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Contract tester
Automates smart-contract testing and deployment on EOSIO blockchain
Smart contract library
Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style
Contract Vulnerability Detector
An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
apeworx/ape906
Contract builder
A tool for building and interacting with smart contracts on the Ethereum network
Smart contract validator
A symbolic execution tool for verifying the correctness of smart contracts written in Cairo.
Contract Inspector
Tool to visualize and review Solidity smart contract methods properties
Contract tester
A toolkit for testing smart contracts written in TEAL programming language
Contract tester
Assists in testing Ethereum smart contracts
Smart contract auditor toolkit
A comprehensive collection of tools and techniques for auditing and securing smart contracts on the Ethereum blockchain.
Smart contract simulator
A Python API that wraps around an embedded Ethereum Virtual Machine (EVM) for smart contract interaction and modeling
Contract tester
Tests smart contracts written in Solidity on the Ethereum blockchain
Smart Contract Toolkit
A toolkit combining Solidity testing and cross-chain deployment tools with Robot Framework for developing robust and secure smart contract applications on Ethereum and other EVM-compatible blockchains.
Smart contract analyzer
A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity
Featured in 1 awesome list
Each link jumps to the spot where the list mentions halmos.
