Solc Verify

Solc Verify introduces solc-verify, an automated verifier for Solidity.

It serves as an extended alternative to the standard Solidity compiler by integrating formal verification with normal compilation.

This allows developers to check the functional correctness of their smart contracts directly within the compilation workflow, a process that would typically require additional packages or toolchains when using the standard compiler.