Default

Autonomous research loop initialized. Proving steps, thoughts, tool actions, and theorem synthesis will stream here in real-time.