SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics

Abstract

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, spinors in any dimension. We follow one published solution through the entire workflow, benchmark the package's component engine against xAct's, and report on three blind runs of an agentic workflow in which an AI coding agent, given the package and a small toolkit, correctly codified a recent paper in under three hours. A database of such records is useful to researchers today and gives agents worked examples to learn from. The package acts as an internal verifier during the thought process of an agent: a claim is checked in the kernel before it is made.