LLM-powered fuzzing assistant for Solidity smart contracts — generates, runs, and iterates invariant tests with Foundry