Dapp StoreEthereumWeb3 Security ToolsWeb3 Testing Tools
Solc Verify
Solc Verify
Web3 Testing Tools

Solc Verify

This is solc-verify, an auto-verifier compiler for Solidity.

Ethereum Logo
Open-source

What is Solc Verify?

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 transaction security with our simulation APIs
Get your API key
Is this your project?
Request edits

Best Web3 Testing Tools

Discover more web3 applications and developer tools.

See all dapps
Section background image

Build blockchain magic

Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.

Get your API key