The best way to verify if a contract is upgradable or not is to look for the renounced or not tokensniffer basic analysis. The renounced or not tokensniffer basic analysis will give you a good indication of whether or not the contract is upgradable. It will check for certain characteristics such as whether the contract is immutable, upgradable, or has a fallback function. If the contract does not have any of these characteristics, then it is likely not upgradable. Additionally, the tokensniffer basic analysis will also check for any potential vulnerabilities and other security risks associated with the contract. By running this analysis, you can get a better understanding of the contract’s upgradability and security.