stream_playground_run_events
Collects server-sent events for a solver-participation playground run, returning verdicts and the ended reason after the run completes or a timeout elapses.
Instructions
Collect Server-Sent Events for a solver-participation Playground run.
Scope: playground.read. Only available for solver-participation
competitions. This blocks for up to timeout_seconds (capped at 300)
collecting one LeanVerdict per event as the run progresses, and returns
once the run reaches a terminal status (stream closes) or the timeout
elapses -- an MCP tool call is a single request/response, so this
collects-then-returns rather than truly streaming incrementally.
Returns {"verdicts": [...], "ended_reason": "completed" | "timeout"}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| run_id | Yes | ||
| competition_id | Yes | ||
| timeout_seconds | No |