contract-verify

What problem does it solve?

This Skill verifies on-chain smart contract state against frontend hardcoded values, ensuring that what users see in the UI accurately reflects the deployed contract's parameters and logic.

Core Features & Use Cases

• On-Chain State Verification: Compares deployed contract parameters (e.g., fees, percentages, addresses) with values present in the frontend codebase.
• Proxy Detection: Identifies if a contract is a proxy and determines its implementation address for accurate state reading.
• Discrepancy Reporting: Generates detailed reports highlighting critical mismatches, warnings for hardcoded values, and information on unreferenced parameters.
• Use Case: Detects if a frontend displays a 2% bid increment while the on-chain contract enforces a 5% increment, preventing user errors and failed transactions.

Quick Start

Verify the on-chain state of the contract at address 0xABC...123 on mainnet against the frontend code.