Loading request...
The user wishes for a higher quota for Claude 4.5 Opus when using GitHub Copilot, as their current usage (e.g., for Lean formalization) quickly exhausts the available quota, leading to waiting periods.
sigh I wish I had more Claude 4.5 Opus quota on GitHub Copilot or Google Antigravity... all this Lean formalisation makes it go really fast lol I have to wait 3 hours each time for Antigravity's quota to reset