A CLI toolkit that supports Foundry and Brownie projects.
Eth Lift covers tasks few other CLIs tools/suites can, these are diff and flatten(to do). Developers can run queries to obtain a diff for a file not yet registered (local even) compared to one on a mainnet. Developers using Brownie and Foundry can achieve the above with ease, Hardhat is on the TODO list.
ERCx applies formal methods to improve the safety, reliability, and correctness of computing systems.
A Python-built tool suite for testing Ethereum smart contracts.
anvil is a local Ethereum node, designed for development with Forge, akin to Ganache.
Harbor is building production-ready staging environments and infrastructure for Web3 startups.
Robot Framework Solidity Testing Toolkit combines smart contract testing and deployment libraries.
This is solc-verify, an auto-verifier compiler for Solidity.