---
license: other
private: true
---

# PAT Compiler (API-only)

This repo does not host weights. Use the hosted API to compute answers with certificates.

- Health: `GET /v1/healthz`
- Solve: `POST /v1/solve` with `x-api-key`
- Batch: `POST /v1/batch_solve` (poll with `GET /v1/jobs/{job_id}`)

Contact to request access. Internals are not disclosed.