{"stats":{"hostedArtifacts":1,"hostedFiles":1,"hostedBytes":2716068992,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":99269,"readyPrograms":19261,"asOf":"2026-10-30T21:56:00.851Z","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-tinyopsec-pythagoras-prover-4b-gguf","visibility":"public","owner":"tinyopsec","name":"Pythagoras-Prover-4B-GGUF","repo":"tinyopsec/Pythagoras-Prover-4B-GGUF","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","llama-cpp","gguf","quantized","math","reasoning","theorem-proving","text-generation","en","base_model:pythagoras-lm/pythagoras-prover-4b","base_model:quantized:pythagoras-lm/pythagoras-prover-4b","license:apache-2.0","endpoints_compatible","region:us","conversational","llm","pythagoras-lm/pythagoras-prover-4b"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: tinyopsec/Pythagoras-Prover-4B-GGUF · llama cpp","baseModel":"Pythagoras-LM/Pythagoras-Prover-4B","downloadCount":2258,"filePath":"model_q4_k_m.gguf","format":"gguf","risk":"low","sizeBytes":2716068992,"storageSizeBytes":2716068992,"sha256":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-tinyopsec-pythagoras-prover-4b-gguf/model_q4_k_m.gguf","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf","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-09-22T10:38:11.169Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T22:22:32.426Z","serveEvaluationId":"serve-05b81ae1788f90b20c3f6feb0120b85da626be7ae8bdbbd6af14b09aba982c2a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-30T22:22:32.557Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T22:22:32.426Z","serveEvaluationId":"serve-05b81ae1788f90b20c3f6feb0120b85da626be7ae8bdbbd6af14b09aba982c2a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-30T22:22:32.557Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":true,"recommended":true,"recommendedReason":"default-weights","recommendedReasonText":"Default weights download","duplicateGroup":{"key":"pythagorasprover4b||gguf","size":1,"rank":1,"recommendedArtifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","recommendedFilePath":"model_q4_k_m.gguf","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T22:22:32.557Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"signed"}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-10-30T22:22:32.563Z","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."}}