solidity-contract-handbook

Writes, reviews and compiles Solidity smart contracts for the EVM: source layout and imports, value and reference types, contract anatomy, inheritance, libraries, events, NatSpec, transient storage, storage internals, security patterns, solc command-line usage and SMTChecker verification. Use when the user says "write a Solidity contract", "audit this ERC-20 or escrow code", "why does my contract revert", "compile with solc", or asks about gas, reentrancy or storage layout. Not for dApp front-end code, Rust/Soroban or Move contracts, or deploying contracts to a live network.

Version

v1.0.0

Size

24 KB

Updated

2026-10-03

Your client verifies the signature before reading. This explicit manual read is available on every plan. Free automatically loads five chosen skills; paid plans automatically load relevant skills across the library.