Practical overview
When it fits
Use Dapptools when you want command-line utilities for contract development and analysis, or for querying and interacting with Ethereum. Select the component according to the task: dapp for Solidity workflows, hevm for EVM testing and symbolic analysis, seth for chain queries and transactions, and ethsign for signing.
Who it is for
- Solidity developers building, testing, fuzzing, verifying, debugging or deploying contracts.
- Developers examining EVM behavior against local or mainnet state.
- Ethereum users who need command-line contract queries, log following, transaction sending or transaction signing.
Documented uses
- Build and test Solidity contracts, including fuzzing and formal verification.
- Debug EVM execution or symbolically explore possible execution paths.
- Query contracts, inspect logs and send Ethereum transactions.
- Sign transactions from a local keystore or hardware wallet.
Requirements & limits
The README documents Nix installation and a legacy installer. It notes that M1 Mac users need Rosetta 2 with Nix configured for x86_64-darwin.
- Installation instructions are Nix-based, and the flake installation may prompt users to trust the Dapptools and Cachix binary caches.
- hevm symbolic execution requires solc and either z3 or cvc4.
- The repository cautions that support for casual users may be limited and points to Foundry for guidance.
Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.
Install the Dapptools command-line suite with Nix flakes
Install the documented dapp, ethsign, hevm and seth tools using Nix.
Before you start
- Nix installed
Steps
Run
nix profile install github:dapphub/dapptools#{dapp,ethsign,hevm,seth}.Review the Nix prompt about using the Dapptools binary cache; the README says using it requires trusting Dapptools and Cachix.
Expected outcome
Nix installs the four named command-line tools.
Guide limitations
- The README warns that M1 Mac users need to run dapptools and the installer under Rosetta 2, with Nix configured for x86_64-darwin.
Prepare hevm for symbolic execution
Identify and install the additional software the README says symbolic execution requires.
Before you start
- hevm
- solc
- z3 or cvc4
Steps
Install solc.
Install z3, cvc4, or both alongside hevm.
Expected outcome
The additional dependencies named by the README are in place for hevm symbolic-execution workflows.
Guide limitations
- The README identifies these prerequisites but this guide does not cover running a symbolic-execution command.
Sources & review
Source record details
- Source availability
- Active
- Sources checked
- 16 October 2026
- Original website title
- dapphub/dapptools · Official homepage title · retained in its source language
Related options
Foundry — The Dapptools README points users seeking guidance to Foundry as an alternative.
Explore project →
