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

# List versions of a spec

> Published versions of a model's spec package, and the security advisories that affect it.



## OpenAPI

````yaml /api-reference/openapi.json get /v1/specs/{org}/{model}
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/specs/{org}/{model}:
    get:
      tags:
        - Registry
      summary: List versions of a spec
      description: >-
        Published versions of a model's spec package, and the security
        advisories that affect it.
      operationId: versions_v1_specs__org___model__get
      parameters:
        - name: org
          in: path
          required: true
          schema:
            type: string
          description: Organisation part of the model key, e.g. `Qwen`.
        - name: model
          in: path
          required: true
          schema:
            type: string
          description: Model part of the model key, e.g. `Qwen3.8-27B`.
      responses:
        '200':
          description: OK
          content:
            application/json:
              schema:
                type: object
                properties:
                  key:
                    type: string
                    description: Model key.
                  versions:
                    type: array
                    items:
                      $ref: '#/components/schemas/SpecVersion'
                    description: Versions.
                  advisories:
                    type: array
                    items:
                      $ref: '#/components/schemas/Advisory'
                    description: Advisories for this model.
              example:
                key: Qwen/Qwen3.8-27B
                versions:
                  - digest: >-
                      sha256:313a42af237f0db7ec729fd0d5d9230d932d829da0cbda0c43bdb4d310aaddf4
                    lean_toolchain: leanprover/lean4:v4.35.0
                    published: '2026-11-01T07:26:59+00:00'
                    publisher: theformalera (verified)
                    version: 1.0.0
                    yanked: false
                advisories: []
        '404':
          description: No spec for this model.
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
      security: []
components:
  schemas:
    SpecVersion:
      type: object
      properties:
        version:
          type: string
          description: Package version (semver).
          example: 1.0.0
        digest:
          type: string
          description: Content hash of the package.
          example: >-
            sha256:313a42af237f0db7ec729fd0d5d9230d932d829da0cbda0c43bdb4d310aaddf4
        lean_toolchain:
          type: string
          description: Lean toolchain of the package.
          example: leanprover/lean4:v4.35.0
        publisher:
          type: string
          description: Publisher badge.
          example: theformalera (verified)
        published:
          type: string
          description: Publication time (ISO 8601).
        yanked:
          type: boolean
          description: Whether the version was withdrawn.
    Advisory:
      type: object
      properties:
        id:
          type: string
          description: Advisory id.
          example: TFE-2026-001
        key:
          type: string
          description: Model key.
          example: Qwen/Qwen3.8-27B
        versions:
          type: array
          items:
            type: string
          description: Affected versions.
        summary:
          type: string
          description: What is wrong with the spec.
        fixed_in:
          type: string
          description: First fixed version.
          nullable: true
    Error:
      type: object
      properties:
        detail:
          type: string
          description: Why the request was refused.
      required:
        - detail

````

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