> ## Documentation Index
> Fetch the complete documentation index at: https://docs.theformalera.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Get a job

> Status of a verification job; once `done`, the engine response is included.



## OpenAPI

````yaml /api-reference/openapi.json get /v1/jobs/{job_id}
openapi: 3.1.0
info:
  title: Spec Hub API
  version: '1'
  description: >-
    The registry of Lean 4 specification packages, the cloud verification queue
    and the Lemma Hub. The `theformalera` CLI is the main client; this API is
    what it calls.
servers:
  - url: https://hub.theformalera.com
    description: Spec Hub
  - url: http://127.0.0.1:8700
    description: Local Hub (`theformalera-hub serve`)
security: []
tags:
  - name: Registry
    description: 'Public: no token needed.'
  - name: Verification
    description: Cloud solving (`runner = "cloud"`).
  - name: Lemma Hub
    description: Lemma retrieval, deposit and usage statistics.
paths:
  /v1/jobs/{job_id}:
    get:
      tags:
        - Verification
      summary: Get a job
      description: >-
        Status of a verification job; once `done`, the engine response is
        included.
      operationId: job_v1_jobs__job_id__get
      parameters:
        - name: job_id
          in: path
          required: true
          schema:
            type: string
          description: Job id returned by `POST /v1/verify`.
      responses:
        '200':
          description: OK
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Job'
        '401':
          description: Missing or invalid bearer token.
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
        '404':
          description: No such job for this tenant.
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
      security:
        - bearerAuth: []
components:
  schemas:
    Job:
      type: object
      properties:
        id:
          type: string
          description: Job id.
          example: J-3f1c0a9b2d4e
        tenant:
          type: string
          description: Owning tenant.
        status:
          type: string
          description: Job state.
          enum:
            - queued
            - running
            - done
            - failed
        request:
          type: string
          description: Object-store key of the stored request.
        kernels:
          type: integer
          description: Number of kernels in the request.
        done:
          type: integer
          description: Kernels finished so far.
        created:
          type: integer
          description: Creation time (Unix seconds).
        error:
          type: string
          description: Failure reason when `status` is `failed`.
        response:
          type: object
          properties: {}
          description: >-
            The engine response (`results`, `certificates`, `lemmas`), present
            once `status` is `done`.
      required:
        - id
        - status
    Error:
      type: object
      properties:
        detail:
          type: string
          description: Why the request was refused.
      required:
        - detail
  securitySchemes:
    bearerAuth:
      type: http
      scheme: bearer
      description: >-
        A Spec Hub API token (`tfe_…`). The CLI reads it from
        `THEFORMALERA_TOKEN` or from `theformalera login`.

````

This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.