{"docsConfig":{"theme":"maple","$schema":"https://mintlify.com/docs.json","name":"The Formal Era","description":"Formal verification of inference kernels, as a test in CI: Lean 4 specs of language models, machine-checked proofs of Triton kernels, and conformance checks of PyTorch model implementations.","colors":{"primary":"#2563EB","light":"#7AA2F7","dark":"#3B82F6"},"logo":"https://mintcdn.com/n-a-24de7f09/NGJ8xFC9uFPXv9tC/logo-large.jpeg?fit=max\u0026auto=format\u0026n=NGJ8xFC9uFPXv9tC\u0026q=85\u0026s=7f96c428459830a0894aa26fe136472b","favicon":"https://mintcdn.com/n-a-24de7f09/NGJ8xFC9uFPXv9tC/logo-large.jpeg?fit=max\u0026auto=format\u0026n=NGJ8xFC9uFPXv9tC\u0026q=85\u0026s=7f96c428459830a0894aa26fe136472b","appearance":{"default":"system"},"navbar":{"links":[{"href":"https://www.theformalera.com","label":"Website"},{"href":"https://hub.theformalera.com","label":"Hub"}],"primary":{"type":"button","label":"Quickstart","href":"/quickstart"}},"footer":{"links":[{"header":"Explore","items":[{"label":"Website","href":"https://www.theformalera.com"},{"label":"Hub","href":"https://hub.theformalera.com"},{"label":"Lemma Hub","href":"https://hub.theformalera.com/lemmas/index.html"}]}]},"icons":{"library":"lucide"},"styling":{"codeblocks":"system","latex":false},"contextual":{"options":["copy","view","chatgpt","claude"],"display":"header"},"navigation":{"pages":[]}},"deployment":{"deploymentMetadataValue":{"subdomain":"n-a-24de7f09","hasAudioNarration":false,"actualSubdomain":"n-a-24de7f09","customDomains":["docs.theformalera.com"],"gitSource":{"type":"github","owner":"standbyme","repo":"workspace-theformalera-2026-10-29-15-55-05","deployBranch":"main","contentDirectory":"mintlify","isPrivate":true,"mountPath":"","label":"","_id":"6ae76ffc71ef408b813d57c0"},"chroma":{"latestBuiltDeploymentHistoryId":"6ae7eacb82e17256a0dfa419","collectionId":"f2780fc2-2a11-46a9-9c23-bb44c6820df9","liveDeploymentHistoryId":"6ae7eacb82e17256a0dfa419","schemaVersion":"v3"},"entitlements":{"AI_CHAT":{"status":"ENABLED"},"WEB_MCP":{"status":"ENABLED"},"NARRATION":{"status":"ENABLED"}},"buildId":"6ae80a2df47be6d76b63c393","clientVersion":"0.0.4044","searchFilterCounts":[{"language":"default","tag":"Documentation","count":32},{"language":"default","tag":"API reference","count":18},{"language":"default","tag":"Reference","count":15},{"language":"default","tag":"Guides","count":12},{"language":"default","tag":"Spec Hub","count":12},{"language":"default","tag":"Self-hosting","count":10},{"language":"default","tag":"CLI","count":8},{"language":"default","tag":"Concepts","count":7},{"language":"default","tag":"Registry","count":7},{"language":"default","tag":"Lemma Hub","count":6}]},"assistantConfig":{"enableAskAiButton":false,"enableStarterQuestions":false,"enableContextualStarterQuestions":false,"enableAskAiSearchBar":true},"basePath":"","hasChatPermissions":true,"hasWebMcpPermissions":true,"toggles":[{"name":"kill-isr","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"agent-mintlify-slack","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"agent-integrations-settings","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"automations-pr-grouping","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"custom-prefix","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"analytics-v7","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"user-flows-analytics","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"no-publish-flow","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"workos-onboarding","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"llms-txt-v2","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"snapshot-serving-live","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"stripTemperatureMiddleware","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"support-platform-pylon-zendesk","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"snapshot-serving","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"instant-rollback","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"granular-notifications-server","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"granular-notifications","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"automations-fable","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"fixed-ai-action-pricing","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"automation-resolve-merge-conflict","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"scoped-publishing","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"mintql","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"page-level-analytics","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"editor-version-history-v2","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"billing-page-v2","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"full-page-search","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"workspace-projects","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"assistant-v5","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"byok-sep-25","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"fork-pr-previews","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"revalidation-jwt","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"vite-origin","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"billing-updated-9-15","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"workos-sso-scim","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"hobby-abuse-scan","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"dashboard-inbox","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"workos-signup","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"turbopuffer-dual-write","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"workos-enabled","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"approve-review-flow","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false},{"name":"sso-setup-deadline-banner","enabled":true,"variant":{"name":"disabled","enabled":false,"feature_enabled":true},"impressionData":false}],"googleFontsInlined":false},"customCss":[],"page":{"pagePath":"api-reference/registry/list-models","slug":"/api-reference/registry/list-models","pageMetadata":{"title":"List models","description":"Every model key with a published Model Spec, with its latest version.","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/models","href":"/api-reference/registry/list-models","autogeneratedByOpenApi":true},"description":{"compiledSource":"\"use strict\";\nconst {jsx: _jsx} = arguments[0];\nconst {useMDXComponents: _provideComponents} = arguments[0];\nfunction _createMdxContent(props) {\n const _components = {\n p: \"p\",\n ..._provideComponents(),\n ...props.components\n };\n return _jsx(_components.p, {\n children: \"Every model key with a published Model Spec, with its latest version.\"\n });\n}\nfunction MDXContent(props = {}) {\n const {wrapper: MDXLayout} = {\n ..._provideComponents(),\n ...props.components\n };\n return MDXLayout ? _jsx(MDXLayout, {\n ...props,\n children: _jsx(_createMdxContent, {\n ...props\n })\n }) : _createMdxContent(props);\n}\nreturn {\n default: MDXContent\n};\n","frontmatter":{},"scope":{}},"pageType":"default","mdx":{"mdxSource":{"compiledSource":"\"use strict\";const{Fragment:_Fragment,jsx:_jsx}=arguments[0];const{useMDXComponents:_provideComponents}=arguments[0];function _createMdxContent(props){return _jsx(_Fragment,{})}function MDXContent(props={}){const{wrapper:MDXLayout}={..._provideComponents(),...props.components};return MDXLayout?_jsx(MDXLayout,{...props,children:_jsx(_createMdxContent,{...props})}):_createMdxContent(props)}return{default:MDXContent}","frontmatter":{},"scope":{"codeStyling":"system","config":{},"pageMetadata":{"title":"List models","description":"Every model key with a published Model Spec, with its latest version.","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/models","href":"/api-reference/registry/list-models","autogeneratedByOpenApi":true}}},"mdxSourceWithNoJs":null},"mdxExtracts":{"tableOfContents":[],"codeExamples":{}},"jsLinks":[],"openApiReferenceData":{"operation":{"summary":"List models","operationId":"models_v1_models_get","responses":{"200":"e0e1f9ef-ebb2-4294-a07d-35cf1081aa8f"},"tags":["Registry"],"description":"Every model key with a published Model Spec, with its latest version.","parameters":[],"security":[],"method":"get","type":"path","servers":["505f18a1-b704-466f-a20d-274d511fc76a","9141f0dc-649a-40dc-8710-a06981d2caa4"],"path":"/v1/models","baseUrlOptions":["https://hub.theformalera.com","http://127.0.0.1:8700"],"title":"List models","codeSamples":[],"requiredOnlyExamples":false,"requestExampleType":"generated","responseExampleType":"generated"},"dependencies":{"parameters":{},"responses":{"e0e1f9ef-ebb2-4294-a07d-35cf1081aa8f":{"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).","uniqueKey":"models.items.[INDEX].key","typeLabel":"string"},"family":{"type":"string","description":"Architecture family.","uniqueKey":"models.items.[INDEX].family","typeLabel":"string"},"latest":{"type":"string","description":"Latest version.","uniqueKey":"models.items.[INDEX].latest","typeLabel":"string"},"layers":{"type":"integer","description":"Decoder layers.","uniqueKey":"models.items.[INDEX].layers","typeLabel":"integer"},"nodes":{"type":"integer","description":"Distinct compute-graph nodes.","uniqueKey":"models.items.[INDEX].nodes","typeLabel":"integer"},"params":{"type":"integer","description":"Text-model parameter count.","uniqueKey":"models.items.[INDEX].params","typeLabel":"integer"}},"uniqueKey":"models.items.[INDEX]","typeLabel":"object"},"description":"Published models.","uniqueKey":"models","typeLabel":"object[]"}},"uniqueKey":"","typeLabel":"object"},"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}]},"examples":{"Example":{"title":"Example","value":{"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}]}}},"exampleType":"examples"}},"exampleType":"examples"}},"security":{},"servers":{"505f18a1-b704-466f-a20d-274d511fc76a":{"url":"https://hub.theformalera.com","description":"Spec Hub"},"9141f0dc-649a-40dc-8710-a06981d2caa4":{"url":"http://127.0.0.1:8700","description":"Local Hub (`theformalera-hub serve`)"}}},"originalFileLocation":"api-reference/openapi.json"},"subdomain":"n-a-24de7f09","siteName":"The Formal Era","title":"List models - The Formal Era","navMaps":{"firstHrefInVersion":{},"firstHrefInLanguage":{}},"lastModified":"2026-11-01T17:18:23.602Z","originalFileLocation":"api-reference/registry/list-models.mdx"},"headHtml":"\u003cscript data-mint-head>(function(){var d=document.documentElement,p=null;if(!p){try{p=localStorage.getItem(\"isDarkMode\")}catch(e){}if(p==='true')p='dark';else if(p==='false')p='light';if(p!=='light'\u0026\u0026p!=='dark'\u0026\u0026p!=='system')p=\"system\"}var r=p==='system'?(matchMedia(\"(prefers-color-scheme: dark)\").matches?'dark':'light'):p;d.classList.remove(r==='dark'?'light':'dark');d.classList.add(r);d.setAttribute(\"data-theme-preference\",p)})();\u003c/script>\u003cmeta data-mint-head name=\"description\" content=\"Every model key with a published Model Spec, with its latest version.\">\u003cmeta data-mint-head name=\"application-name\" content=\"The Formal Era\">\u003cmeta data-mint-head name=\"generator\" content=\"Mintlify\">\u003clink data-mint-head rel=\"icon\" type=\"image/png\" sizes=\"192x192\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon/android-chrome-192x192.png\" media=\"(prefers-color-scheme: light)\">\u003clink data-mint-head rel=\"apple-touch-icon\" type=\"image/png\" sizes=\"180x180\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon/apple-touch-icon.png\">\u003clink data-mint-head rel=\"icon\" type=\"image/png\" sizes=\"16x16\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon/favicon-16x16.png\" media=\"(prefers-color-scheme: light)\">\u003clink data-mint-head rel=\"icon\" type=\"image/png\" sizes=\"32x32\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon/favicon-32x32.png\" media=\"(prefers-color-scheme: light)\">\u003clink data-mint-head rel=\"shortcut icon\" type=\"image/x-icon\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon/favicon.ico\" media=\"(prefers-color-scheme: light)\">\u003clink data-mint-head rel=\"icon\" type=\"image/png\" sizes=\"192x192\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon-dark/android-chrome-192x192.png\" media=\"(prefers-color-scheme: dark)\">\u003clink data-mint-head rel=\"icon\" type=\"image/png\" sizes=\"16x16\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon-dark/favicon-16x16.png\" media=\"(prefers-color-scheme: dark)\">\u003clink data-mint-head rel=\"icon\" type=\"image/png\" sizes=\"32x32\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon-dark/favicon-32x32.png\" media=\"(prefers-color-scheme: dark)\">\u003clink data-mint-head rel=\"shortcut icon\" type=\"image/x-icon\" href=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon-dark/favicon.ico\" media=\"(prefers-color-scheme: dark)\">\u003cmeta data-mint-head property=\"og:title\" content=\"List models - The Formal Era\">\u003cmeta data-mint-head property=\"og:description\" content=\"Every model key with a published Model Spec, with its latest version.\">\u003cmeta data-mint-head property=\"og:site_name\" content=\"The Formal Era\">\u003cmeta data-mint-head property=\"og:url\" content=\"https://docs.theformalera.com/api-reference/registry/list-models\">\u003cmeta data-mint-head property=\"og:type\" content=\"website\">\u003cmeta data-mint-head property=\"og:image\" content=\"https://n-a-24de7f09.mintlify.app/_mintlify/api/og/v2?division=Registry\u0026amp;title=List+models\u0026amp;description=Every+model+key+with+a+published+Model+Spec%2C+with+its+latest+version.\u0026amp;theme=a4fff6371076e0576b87c2fe\u0026amp;signature=acdd72ec43f25537fa56736371b1917195605b8de4bbf466af9921648714c817\">\u003cmeta data-mint-head property=\"og:image:width\" content=\"1200\">\u003cmeta data-mint-head property=\"og:image:height\" content=\"630\">\u003cmeta data-mint-head name=\"twitter:card\" content=\"summary_large_image\">\u003cmeta data-mint-head name=\"twitter:title\" content=\"List models - The Formal Era\">\u003cmeta data-mint-head name=\"twitter:description\" content=\"Every model key with a published Model Spec, with its latest version.\">\u003cmeta data-mint-head name=\"twitter:image\" content=\"https://n-a-24de7f09.mintlify.app/_mintlify/api/og/v2?division=Registry\u0026amp;title=List+models\u0026amp;description=Every+model+key+with+a+published+Model+Spec%2C+with+its+latest+version.\u0026amp;theme=a4fff6371076e0576b87c2fe\u0026amp;signature=acdd72ec43f25537fa56736371b1917195605b8de4bbf466af9921648714c817\">\u003cmeta data-mint-head name=\"twitter:image:width\" content=\"1200\">\u003cmeta data-mint-head name=\"twitter:image:height\" content=\"630\">\u003cmeta data-mint-head name=\"msapplication-config\" content=\"/mintlify-assets/_mintlify/favicons/n-a-24de7f09/Vv7il0NTiaTscc2I/_generated/favicon/browserconfig.xml\">\u003cmeta data-mint-head name=\"apple-mobile-web-app-title\" content=\"The Formal Era\">\u003cmeta data-mint-head name=\"msapplication-TileColor\" content=\"#2563EB\">\u003clink data-mint-head rel=\"canonical\" href=\"https://docs.theformalera.com/api-reference/registry/list-models\">\u003clink data-mint-head rel=\"alternate\" type=\"application/xml\" href=\"/sitemap.xml\">\u003clink data-mint-head rel=\"alternate\" type=\"text/markdown\" href=\"/api-reference/registry/list-models.md\">\u003cscript data-mint-head type=\"application/ld+json\">{\"@context\":\"https://schema.org\",\"@graph\":[{\"@type\":\"Organization\",\"@id\":\"https://docs.theformalera.com/#organization\",\"name\":\"The Formal Era\",\"url\":\"https://docs.theformalera.com\",\"logo\":{\"@type\":\"ImageObject\",\"url\":\"https://mintcdn.com/n-a-24de7f09/NGJ8xFC9uFPXv9tC/logo-large.jpeg?fit=max\u0026auto=format\u0026n=NGJ8xFC9uFPXv9tC\u0026q=85\u0026s=7f96c428459830a0894aa26fe136472b\"}},{\"@type\":\"WebSite\",\"@id\":\"https://docs.theformalera.com#website\",\"name\":\"The Formal Era\",\"url\":\"https://docs.theformalera.com\",\"publisher\":{\"@id\":\"https://docs.theformalera.com/#organization\"}},{\"@type\":\"WebPage\",\"@id\":\"https://docs.theformalera.com/api-reference/registry/list-models#webpage\",\"url\":\"https://docs.theformalera.com/api-reference/registry/list-models\",\"name\":\"List models\",\"description\":\"Every model key with a published Model Spec, with its latest version.\",\"dateModified\":\"2026-11-01T17:18:23.602Z\",\"isPartOf\":{\"@id\":\"https://docs.theformalera.com#website\"},\"breadcrumb\":{\"@id\":\"https://docs.theformalera.com/api-reference/registry/list-models#breadcrumb\"}},{\"@type\":\"BreadcrumbList\",\"@id\":\"https://docs.theformalera.com/api-reference/registry/list-models#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Registry\",\"item\":\"https://docs.theformalera.com/api-reference/registry/health-check\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"List models\",\"item\":\"https://docs.theformalera.com/api-reference/registry/list-models\"}]},{\"@type\":[\"TechArticle\",\"APIReference\"],\"@id\":\"https://docs.theformalera.com/api-reference/registry/list-models#apireference\",\"headline\":\"List models\",\"name\":\"List models\",\"description\":\"Every model key with a published Model Spec, with its latest version.\",\"url\":\"https://docs.theformalera.com/api-reference/registry/list-models\",\"mainEntityOfPage\":{\"@id\":\"https://docs.theformalera.com/api-reference/registry/list-models#webpage\"},\"dateModified\":\"2026-11-01T17:18:23.602Z\",\"publisher\":{\"@id\":\"https://docs.theformalera.com/#organization\"},\"isPartOf\":{\"@id\":\"https://docs.theformalera.com#website\"}}]}\u003c/script>\u003cscript data-mint-head type=\"application/ld+json\">{\"@context\":\"https://schema.org\",\"@type\":\"WebSite\",\"name\":\"The Formal Era\",\"creator\":{\"@type\":\"Organization\",\"name\":\"Mintlify\",\"url\":\"https://mintlify.com\"}}\u003c/script>","siteName":"The Formal Era","nav":{"global":null,"tabs":[{"tab":"Documentation","icon":"book-open","pages":[{"title":"Documentation","href":""}]},{"tab":"Spec Hub","icon":"library","pages":[{"title":"Spec Hub","href":"/models"}]},{"tab":"Reference","icon":"square-terminal","pages":[{"title":"Reference","href":"/reference/cli/overview"}]},{"tab":"API reference","icon":"plug","groups":[{"group":"Overview","pages":[{"title":"Spec Hub API","icon":"plug","href":"/api-reference/introduction"}]},{"group":"Registry","pages":[{"title":"Health check","description":"Liveness of the API.","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/health","href":"/api-reference/registry/health-check"},{"title":"List models","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/models","href":"/api-reference/registry/list-models"},{"title":"List versions of a spec","description":"Published versions of a model's spec package, and the security advisories that affect it.","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/specs/{org}/{model}","href":"/api-reference/registry/list-versions-of-a-spec"},{"title":"Get a spec manifest","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/specs/{org}/{model}/{version}","href":"/api-reference/registry/get-a-spec-manifest"},{"title":"Download a spec package","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/specs/{org}/{model}/{version}/package","href":"/api-reference/registry/download-a-spec-package"},{"title":"List advisories","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/advisories","href":"/api-reference/registry/list-advisories"},{"title":"List publisher keys","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/keys","href":"/api-reference/registry/list-publisher-keys"}]},{"group":"Verification","pages":[{"title":"Who am I","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/whoami","href":"/api-reference/verification/who-am-i"},{"title":"Submit a verification","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json post /v1/verify","href":"/api-reference/verification/submit-a-verification"},{"title":"Get a job","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/jobs/{job_id}","href":"/api-reference/verification/get-a-job"},{"title":"Look up cached results","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json post /v1/cache/lookup","href":"/api-reference/verification/look-up-cached-results"}]},{"group":"Lemma Hub","pages":[{"title":"Prefetch lemmas","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json post /v1/lemmas/prefetch","href":"/api-reference/lemma-hub/prefetch-lemmas"},{"title":"Search lemmas","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/lemmas","href":"/api-reference/lemma-hub/search-lemmas"},{"title":"Get a lemma","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/lemmas/{lid}","href":"/api-reference/lemma-hub/get-a-lemma"},{"title":"Deposit lemmas","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json post /v1/lemmas/deposit","href":"/api-reference/lemma-hub/deposit-lemmas"},{"title":"Report lemma usage","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json post /v1/lemmas/usage","href":"/api-reference/lemma-hub/report-lemma-usage"},{"title":"Get the contribution cap","deprecated":null,"version":null,"openapi":"/api-reference/openapi.json get /v1/orgs/{org}/lemma-policy","href":"/api-reference/lemma-hub/get-the-contribution-cap"}]}]},{"tab":"Self-hosting","icon":"server","pages":[{"title":"Self-hosting","href":"/self-hosting/overview"}]}]},"basePath":"","title":"List models - The Formal Era","buildId":"dpl_DeHjVRGfFnhYQwHnfC2pjeXXv8h9","deploymentId":"dpl_DeHjVRGfFnhYQwHnfC2pjeXXv8h9","dynamics":["c2aa737661","b0f84f53ff","2b790eda92","a9bb46feb3"],"chunks":["OpenApiReferenceProvider-CS552b7R.js","utils-DDTCYAF2.js","cloneDeep-izs3Hzxb.js","_Uint8Array-BVIqJ90l.js","isObjectLike-C8vmzPEN.js","isArray-Dcu1dQ5t.js","utils-De8ttokP.js","toString-BX-iyh8G.js","isSymbol-CSH9U2Gm.js","addUniqueKeysToSchema-DrwRDvAh.js","snippetPresets-DtAN0nWx.js","style-to-object-BY3JEAdk.js","v4-DIgz8zy6.js","Page-m07pfKpT.js","ApiExamples-D5rWArI6.js","isEqual-BfaiBbcl.js","usePlaygroundInputsStore-O2i12wsz.js","shallow-DV8xABTt.js","getApiPlaygroundDisplay-DBZ0B5Jx.js","CodeSnippet-BVi0tPUX.js","CodeSnippets-CqASbIwY.js","getPastedJson-DG9vsMS8.js","icon-CXzRSCr8.js","MethodPill-BdKVtEuX.js","DuplicateIcon-CZlmBrJI.js","createIcon-biFEUKPL.js","DynamicMarkdown-B54_zNBF.js","SectionHeading-DwwHK3Pt.js","axios-vUo_bRtp.js","Markdown-DfhCTwyA.js","clsx-xpJZXxdP.js","lib-DuNMoZ05.js","lib-B8HbPgcC.js","html-void-elements-mCSPHezU.js","dist-BTZUMDnx.js","katex-YMM-FMeD.js","marked.esm-CZWythHk.js","AssistantPageLink-DqdKa2R4.js"]}