Live deterministic tool
Verified Contract Checker
Check pasted Solidity source or a supported explorer URL for verified source metadata, compiler pragma, contracts, and imports.
What this checks
Source availability
Compiler pragma
Contract declarations
Imports
Explorer metadata
FAQ
Does this return real evidence?
Yes. The tool runs deterministic network, parser, DNS, or TLS checks against the submitted public target.
Will results be mocked?
No. Tools either run real checks or return a clear unavailable state.