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

> Every model key with a published Model Spec, with its latest version.



## OpenAPI

````yaml /api-reference/openapi.json get /v1/models
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/models:
    get:
      tags:
        - Registry
      summary: List models
      description: Every model key with a published Model Spec, with its latest version.
      operationId: models_v1_models_get
      parameters: []
      responses:
        '200':
          description: OK
          content:
            application/json:
              schema:
                type: object
                properties:
                  models:
                    type: array
                    items:
                      type: object
                      properties:
                        key:
                          type: string
                          description: Model key (the Hugging Face repository name).
                        family:
                          type: string
                          description: Architecture family.
                        latest:
                          type: string
                          description: Latest version.
                        layers:
                          type: integer
                          description: Decoder layers.
                        nodes:
                          type: integer
                          description: Distinct compute-graph nodes.
                        params:
                          type: integer
                          description: Text-model parameter count.
                    description: Published models.
              example:
                models:
                  - family: qwen3
                    key: Qwen/Qwen3-0.6B
                    latest: 1.0.0
                    layers: 28
                    nodes: 15
                    params: 596049920
                  - family: qwen3_5
                    key: Qwen/Qwen3.8-27B
                    latest: 1.0.0
                    layers: 64
                    nodes: 21
                    params: 26895998464
      security: []

````

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