{"stats":{"hostedArtifacts":1,"hostedFiles":10,"hostedBytes":4079401510,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":104276,"readyPrograms":19391,"asOf":"2026-11-04T10:13:53.002Z","refreshing":true,"scope":"all-download-ready-programs","note":"Site-wide count of files in download-ready programs (the number /facts and /downloads show). stats.hostedFiles/hostedArtifacts count only the rows returned here."}},"pack":null,"rows":[{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"README.md","format":"md","risk":"low","sizeBytes":2479,"storageSizeBytes":2479,"sha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2479,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2479,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||md","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"README.md","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"config.json","format":"json","risk":"low","sizeBytes":728,"storageSizeBytes":728,"sha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":728,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":728,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":214,"storageSizeBytes":214,"sha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"merges.txt","format":"txt","risk":"low","sizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||txt","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"merges.txt","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"model.safetensors","format":"safetensors","risk":"low","sizeBytes":4063515640,"storageSizeBytes":4063515640,"sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4063515640,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4063515640,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":true,"recommended":true,"recommendedReason":"default-weights","recommendedReasonText":"Default weights download","duplicateGroup":{"key":"qwen317b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"model.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":9789,"storageSizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","baseModel":"Qwen/Qwen3-1.7B","downloadCount":723,"filePath":"vocab.json","format":"json","risk":"low","sizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/vocab.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-29T22:47:33.733Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T17:31:07.324Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-04T17:35:08.648Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qwen317b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-04T17:35:08.648Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-11-04T17:35:08.656Z","recommendation":{"defaultFilePolicy":"GGUF Q4_K_M, Q5_K_M, smallest valid Q4, then other GGUF; safetensors; ONNX set; bin or pt. Side files and standalone shards excluded.","copyPolicy":"hugging-bay.duplicate-ready-tiebreak/v1","policy":"hugging-bay.duplicate-ready-tiebreak/v1","order":["official-publisher","most-downloaded","smallest-file"]},"note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs."}}