Have you used the pro "model"? It can consistently figure things out that stumps other things. It often takes 20 minutes to answer. I think it's not a models per se but a whole agent system in the backend. You can just give it a link to github and it pretty clearly clones the repo and looks around.