Hey, we are actively working on L3X - open source AI-driven Smart Contract Static Analyzer. We are trying to combine LLMs with validation concept. Feedback is appreciated and feel free to contribute!
Link: GitHub - VulnPlanet/l3x: AI-driven Smart Contract Static Analyzer