LLM Prover is now programmable
LLM Prover started as a dashboard. You opened it, ran a comparison, read the results. That workflow works. It also has a ceiling: it requires a human to initiate every run, read every result, and decide what to do next.
The REST API removes that ceiling. Every operation available in the dashboard is now available as an API call. Your scripts, pipelines, and CI workflows can fire comparisons, run evaluations, trigger benchmarks, and retrieve results without a human in the loop.