I hope you don't mind me advertising since many people here like math qwq.
I like the rush of submitting solutions and tracking solve counts for competitive programming, and I wanted the same for artofproblemsolving tests like amc, aime, etc. I quickly made chrome extension for this over past few days. Lmk if this already exists, otherwise I'll likely add features like virtual contests and attempt automated proof grading in next few days.
Install: Chrome Webstore
Source: Github Repo
This extension changed my life.
Btw I added ability to submit to proof-based problems using openai api key. Obviously not perfect, but cool to write proof and see if it's in the right direction before checking solution i think.