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!
Improve Web3 Security with Alchemy's Simulation APIs
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.