Agentic Specification Generator for Move Programs - View it on GitHub