This is great feedback (thank you for taking the time), & you especially bring up a fair point on the writeups needing to be more human readable. I'll work on that
1) As far as the AI models go, we used GPT 5.6 Sol, Fable 5, and Gemini-2-embeddings across the system
2) Yes, the agents are given bash tools that allows them to interact with the preinstalled mathematics packages/dependencies that are on the VMs
3) This was a setup as a relatively quick project without much thought for future contributions, I will spend some time thinking about how i could make it more open.
I hate to bother with more questions, but I'm just so curious about this.
If you could roughly sketch out your agentic harness loop in a sentence or two, what does it look like? Which model(s) do the driving? How is progress measured?
What's your daily/monthly budget for this look like, if you don't mind my asking?