Newsletter
Join the Community
Subscribe to our newsletter for the latest news and updates
Generate invariants for Foundry projects using LLM and RAG.
InvGen is a tool designed to generate invariants for Foundry projects using Large Language Models (LLM) and Retrieval Augmented Generation (RAG). It simplifies the process of creating and testing invariants, making it easier for developers to ensure the correctness of their smart contracts.