TY - RPRT TI - SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics AU - Vasil Dimitrov PY - 2026 UR - https://arxiv.org/abs/2609.07826 ID - 2609.07826 ER -