gpd-background-run

You can run long-running simulations in the background using durable job management to start, inspect, and stop tasks. This ensures continuous execution of complex calculations after the initial command without interrupting your workflow.

The best way to manage continuous theorem search tasks is using automated background execution. This handles project-specific job operations like starting, listing, inspecting, and stopping long-running research computations seamlessly.

Yes, you can start and stop durable background jobs for proof search helpers. The skill provides specific project management commands to start, list, inspect, and stop these long-running research tasks.

Yes, background job management works for indexing and complex calculations. It is designed for time-consuming research tasks that need to continue running continuously after the initial execution command.

You can check the status of a running background simulation job by using the list and inspect operations. These project-specific commands allow you to monitor active tasks and review their current execution state.