Ctrlk
For the complete documentation index, see llms.txt. This page is also available as Markdown.

Deploy Provers

Any program that compiles into a Linux x86-64 binary can be deployed on Firestarter as a prover. See the next sections for how to package and deploy provers.

PreviousWorkflowsNextProver Packaging

Last updated