AMS-Verify