Skill Claude CodeCodex
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…
Skill Claude CodeCodex
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.
Skill Claude CodeCodex
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…
Instructions file
Instructions for Hirama/solidity-agentic-stack, covering agentic stack for solidity — claude.md, the rule, commands, build and format (check only — ci gate).