Hello, I have generated a lot of Repos with GrokBot in ADA. Also some GNATPROVE Level 2.
My usage allotment is at 86% and refreshes after 4 days. While I am not going to continue subscription, I still have a week of usage left. So I would like to ask the community if there are ideas how that could be used. It does work , checks and tests in Ada and ADA SPARKwith GNATPROVE Level 2. Eats weekly tokens from GrokBot Heavy plan in 2-3 days or so.
Anyway looking forward hearing from you.
Have a lovely sunday.