Your agent said it finished. Smokin’ re-runs the proof itself and reports whether the work holds up, with nothing left running.
Enter → · View on GitHub