← ClaudeAtlas

known-good-comparisonlisted

When auditing a contract that resembles a canonical implementation (OpenZeppelin, Solady, Uniswap, Compound, etc.), compare against the reference. Treat deviations as suspect by default.
iktok90-design/ai-smart-contract-auditor · ★ 36 · AI & Automation · score 80
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