There was one, which I found here. Even though it had the source code available, it wasn't marked as open source so I decided to email the developer and he replied saying I could use his code. After that, it was just a few minor adjustments to the site and figuring out how to store data with userscripts. A few hours later I had a working improvement to the Android Developer Console.
You can find the script here