{"id":"arxiv/2609.07826","url":"https://arxiv.org/abs/2609.07826","tags":["hep-th","gr-qc"],"score":0,"title":"SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics","domain":"hep-th","source":"arxiv","authors":["Vasil Dimitrov"],"reviews":0,"subject":"hep-th","summary":"A supergravity solution in the literature is an artifact that cannot be verified without re-deriving it: conventions might not be clearly stated, papers have typos, algebra is tedious. SolutionsX is a Mathematica package that turns an xAct environment, whatever physics it may describe, into a stored, machine-verifiable record: code that replays in a fresh kernel, carries its own verification, and can later be fetched for re-use or extension. The shipped examples are supergravity theories and their solutions, but the scope is anything xAct reaches: abstract tensors, differential forms,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}