This is solc-verify, an auto-verifier compiler for Solidity.
Solc Verify is the extended alternative to the mainstream Solidity code compiler, it carries out formal verification of code along with compilation. Developers can verify the functional correctness of their smart contracts. A task that would need extra packages/toolchains if done with the normal compiler. The project has been forked +5k times!
ERCx applies formal methods to improve the safety, reliability, and correctness of computing systems.
A CLI toolkit that supports Foundry and Brownie projects.
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.