Everything runs offline and deterministically — there is no network access, and SymPy's canonical string output is stable, so the same input always gives the same answer. That determinism is what ...

A multi-agent harness for autonomously discovering correctness bugs in SymPy, together with the bugs it has found. Each candidate passes through a verification gate (an independent agent re-runs the ...