solidity-agentic-stack

Use Foundry's `cast` CLI to read chain state, encode/decode calldata, query logs, and inspect contracts — without touching keys or broadcasting. Use when the agent needs to inspect a deployed contract, decode a transaction, look up a function selector, fetch storage, or simulate a call. Read-only by default; no MCP server required.

Reference for Foundry `vm.*` cheatcodes — environment manipulation, pranks, mocks, expectations, fork control, storage manipulation, env/JSON I/O. Use when writing or debugging Forge tests that need to set block state, fake callers, mock external calls, expect reverts/events, or fork mainnet.

Design and write Foundry invariant tests — the protocol's constitution. Covers handler pattern, ghost variables, bound() inputs, targetContract/targetSelector, and the INV-1 / INV-2 style accounting checks used in this stack. Use when writing a new invariant suite, debugging an invariant break, or onboarding to this repo's `test/invariant/` directory.