README.md

metadata

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.