自動化驗證功能可關聯代理合約與相對應的實現合約。目前僅支持 ERC-897 DelegateProxy、ERC-1822 UUPS、ERC-1538 Transparent Contract Standard、ERC-1967 Proxy Storage Slots 以及最小代理協議標準。