> For the complete documentation index, see [llms.txt](https://docs.gevulot.com/gevulot-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.gevulot.com/gevulot-docs/firestarter/deploy-provers.md).

# 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.