smart-contract-craft

What problem does it solve?

It prevents costly smart-contract failures by providing security-first engineering patterns, upgrade strategy rules, gas-conscious coding practices, and test/audit readiness checklists for on-chain systems.

Core Features & Use Cases

• Security patterns that address real exploit classes (reentrancy, access control, oracle manipulation, front-running, unchecked calls) with concrete implementation guidance.
• Deliberate upgrade planning that accounts for immutability constraints, storage layout safety, initializer usage, timelocks, and rollback readiness.
• Production testing and audit readiness including unit/integration/fuzz/invariant/fork testing expectations and pre-audit documentation and dependency/version verification.

Use case example: preparing a DeFi vault that supports deposits and withdrawals by defining invariants (no loss of funds from accounting), protecting external calls, and verifying deployment scripts are idempotent before any mainnet release.

Quick Start

Use this skill when you are about to implement or review a new Solidity contract for mainnet deployment, and ask the agent to produce a security review checklist, upgrade plan (if needed), and a complete testing and audit-readiness plan for your specific contract design.