known-good-comparisonlisted
Install: claude install-skill iktok90-design/ai-smart-contract-auditor
# Known-good comparison (meta-skill)
Most production Solidity is forks of well-known references. The fastest path to high-precision audit is to know what "normal" looks like and treat deviations as suspect.
## Reference catalog
The skill maintains awareness of canonical shapes:
### Tokens
- OpenZeppelin ERC20, ERC721, ERC1155 (versions 4.x and 5.x)
- Solady ERC20, ERC721, ERC1155, ERC4626
- ERC-2612 permit canonical
- Permit2 Uniswap canonical
### Access / governance
- OZ Ownable, Ownable2Step
- OZ AccessControl, AccessControlEnumerable, AccessControlDefaultAdminRules
- OZ Governor, GovernorVotes, GovernorTimelockControl
- Compound Governor Bravo
- OZ TimelockController
### Proxies / upgrades
- OZ ERC1967, UUPS, TransparentUpgradeable
- OZ BeaconProxy
- Diamond standard EIP-2535 reference
- Solady LibClone
### Math / utilities
- OZ Math.mulDiv
- Solady FixedPointMathLib
- PRBMath UD60x18, SD59x18
### AMMs / DEX
- Uniswap V2 Pair, Router, Factory
- Uniswap V3 Pool, NonfungiblePositionManager
- Uniswap V4 PoolManager + hook templates
- Curve StableSwap, CryptoSwap
- Balancer V2, V3 vaults
### Lending
- Aave V3 Pool, AToken, VariableDebtToken
- Compound V3 Comet
- Morpho Blue
### Vaults
- OZ ERC4626 (v4.9+ for inflation defense)
- Yearn V3 strategies
- MetaMorpho
## How to use
### Step 1 — Detect reference
If the contract:
- Imports from `@openzeppelin/contracts` or `solady/`
- Inherits from a recognizable parent
- Implements a recognizable interface (`IERC20`, `IPo