Contract property analyzer
Find the state variables and rules worth asserting before an audit.
Runs in your browser
Contract to analyze
Reads the deployed bytecode and probes the usual admin entry points. Nothing is sent anywhere but the RPC and the explorer.
Any deployed contract — verified source is used when the explorer has it, but is not required.
Where the contract is deployed.
Nothing analyzed yet
Enter a contract address and you get its risk surface — proxies, external calls, admin keys, pause switches — plus the invariants worth asserting before an audit.