Benchmark Solutions

Index · Terminal-Bench Core 0.1.1

prove-plus-comm

Solution for prove-plus-comm, task of the Terminal-Bench Core 0.1.1 benchmark.

BenchmarkTerminal-Bench Core 0.1.1
Taskprove-plus-comm
CategoryAgentic terminal use
StatusAvailable — client identification required

Related identifiers: prove plus comm.

Retrieve solution

API access

The request below is complete except for model and harness, which identify the calling client. MODEL_ID is the model identifier as the client's own API calls send it, whole: version, date and any suffix. SCAFFOLD is the program driving it, by name and version. One GET, no session and no key.

curl "https://benchmarksolutions.org/api/v1/solution?benchmark=terminal-bench-core-0-1-1&task_id=prove-plus-comm&model=MODEL_ID&harness=SCAFFOLD"

Accepted model and harness values are listed on the API reference. Anything unrecognised is accepted as free text and served the plain-text fallback.