Generate invariants for Foundry projects with LLM - View it on GitHub