A Smart Cell dedicated to executing TH0/TPTP problems via SystemOnTPTP.

In addition to running a chosen prover, the cell drives live syntax and type feedback in the editor: every debounced keystroke fires a "check_syntax" event, the cell calls AtpClient.Lint.analyze/2, and the resulting diagnostics and declared symbols are streamed back to the Monaco editor for marker placement, hover cards, and completion.