> ## 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 spec manifest

> The manifest of one package version: compute-graph nodes (Op Spec, formula, constants, tensors), value flow, default shape and value domains, the Hugging Face config the spec renders, the audited theorems, trust status and the publisher signature. `version` is the full version (`1.0.0`).



## OpenAPI

````yaml /api-reference/openapi.json get /v1/specs/{org}/{model}/{version}
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}/{version}:
    get:
      tags:
        - Registry
      summary: Get a spec manifest
      description: >-
        The manifest of one package version: compute-graph nodes (Op Spec,
        formula, constants, tensors), value flow, default shape and value
        domains, the Hugging Face config the spec renders, the audited theorems,
        trust status and the publisher signature. `version` is the full version
        (`1.0.0`).
      operationId: manifest_v1_specs__org___model___version__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`.
        - name: version
          in: path
          required: true
          schema:
            type: string
          description: Full package version, e.g. `1.0.0`.
      responses:
        '200':
          description: OK
          content:
            application/json:
              schema:
                type: object
                properties:
                  schema:
                    type: string
                    description: Manifest schema.
                    example: theformalera.spec-package/v1
                  key:
                    type: string
                    description: Model key.
                  version:
                    type: string
                    description: Version.
                  spec_version:
                    type: string
                    description: Major.minor used in Spec Keys.
                    example: '1.0'
                  digest:
                    type: string
                    description: Package digest.
                  lean_toolchain:
                    type: string
                    description: Lean toolchain.
                  lean_library:
                    type: string
                    description: Lean library name.
                  lean_library_digest:
                    type: string
                    description: Digest of the Lean sources.
                  scope:
                    type: string
                    description: What the spec covers.
                    example: >-
                      text-only language-model path; the vision encoder and the
                      MTP head are out of scope
                  architecture:
                    type: object
                    properties: {}
                    description: Structural summary (family, layers, hidden, ffn, norm, …).
                  config:
                    type: object
                    properties: {}
                    description: >-
                      The spec's hyperparameters in Hugging Face `config.json`
                      form.
                  nodes:
                    type: array
                    items:
                      type: object
                      properties: {}
                    description: Compute-graph nodes.
                  graph:
                    type: array
                    items:
                      type: object
                      properties: {}
                    description: Value flow of every (node, layer).
                  domain:
                    type: object
                    properties:
                      shape:
                        type: object
                        properties: {}
                        description: Symbol → [lo, hi].
                      value:
                        type: object
                        properties: {}
                        description: Value domains.
                  theorems:
                    type: array
                    items:
                      type: object
                      properties:
                        name:
                          type: string
                          description: Lean name.
                        statement:
                          type: string
                          description: Plain-language statement.
                        ok:
                          type: boolean
                          description: Kernel-checked with standard axioms only.
                    description: Audited theorems.
                  trust:
                    type: object
                    properties: {}
                    description: >-
                      Conformance, weight cross-check, publisher and audit
                      status.
                  files:
                    type: object
                    properties: {}
                    description: Lean source files of the package and their digests.
                  signature:
                    type: object
                    properties:
                      keyid:
                        type: string
                        description: Signing key id.
                      sig:
                        type: string
                        description: Ed25519 signature (base64).
                  publisher:
                    type: string
                    description: Publisher.
                  publisher_badge:
                    type: string
                    description: Badge shown by the CLI.
                  published:
                    type: string
                    description: Publication time.
                  yanked:
                    type: boolean
                    description: Withdrawn.
        '404':
          description: No such version.
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
      security: []
components:
  schemas:
    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.