Thank you for the questions echelon.
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.