{"schemaVersion":"hugging-bay.artifact-review-summary.v1","generatedAt":"2026-10-28T16:43:40.427Z","baseUrl":"https://huggingbay.xyz","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","repo":"AI-MO/Kimina-Prover-Distill-1.7B","artifact":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-28T16:08:38.731Z","readinessSource":"projection","degraded":true,"stale":true,"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-28T16:08:38.731Z","readinessSource":"projection","degraded":true,"stale":true},"id":"hf-model-ai-mo-kimina-prover-distill-1-7b","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","cardDescription":"A chat model for conversations, questions and writing.","modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog lists this model for having conversations.","confidence":"medium","task":"chat","audience":null,"basis":"recorded-metadata","rules":["task:chat","tag:chat"],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"},{"field":"baseModel","value":"Qwen/Qwen3-1.7B"},{"field":"tags","value":"chat"},{"field":"task","value":"text-generation"},{"field":"cardMetadata.pipelineTag","value":"text-generation"}],"caveats":["check-license-terms","base-model-capabilities-not-inherited","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[{"repo":"Qwen/Qwen3-1.7B","field":"baseModel"}],"parameters":null,"size":{"bytes":4079403080,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"AI-MO","sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":96,"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"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":"Qwen/Qwen3-1.7B","derivedFrom":"Qwen/Qwen3-1.7B","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":[],"repoType":"model","baseModel":"Qwen/Qwen3-1.7B","languages":["en"],"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","language","library_name","license","tags"],"semanticText":"text-generation transformers llm model en qwen/qwen3-1.7b safetensors chat","semanticTerms":["text-generation","transformers","llm","model","en","qwen/qwen3-1.7b","safetensors","chat"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":2479},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":728},{"lfs":false,"path":"generation_config.json","sizeBytes":214},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model.safetensors","sizeBytes":4063515640},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789},{"lfs":false,"path":"vocab.json","sizeBytes":2776833}],"modelIndexNames":[]},"worksWith":[],"runtimeFit":{"level":"unknown","label":"recorded runtime state unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":["No runtime compatibility or execution status claim is available until recorded evaluation is integrated."]},"sizeBytes":4079403080,"sizeKnown":true,"sizeLabel":"3.8 GB","sizeReason":"","declaredSizeBytes":4079403080,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":723,"stars":7,"citations":0,"updatedAt":"2026-08-29T22:47:33.733Z","createdAt":"2026-06-30T02:17:35.913Z","version":"hf-main","upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Distill-1.7B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","disabled":false,"provider":"huggingface","repoType":"model","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","fetchedAt":"2026-08-29T19:16:55.788Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-08-29T22:47:33.733Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":10,"mirroredBytes":4079401510,"mirroredFiles":10,"storageProvider":"gcs","hosted":true,"downloadable":null,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":null},"mirrorCompletion":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_d83717d1e17d192098c8eea2c3b066123fa431c8ea7bf6220107a19bf78e317e","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","representationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Distill-1.7B","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":2479,"sha256":"sha256:12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:be8847f0d1823952174df6f2ccc923372a6bc83481e2feabfe85505912360a2c"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:56ea63374c3158aafd81ae890334a2d528658d4db8c267d76ca5d31622108d2c"},{"path":"config.json","role":"config","sizeBytes":728,"sha256":"sha256:f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1ceeb2c8d5163dc68c13452d62cf85582aada68bfab26c24dcb3677593a2b1d3"},{"path":"generation_config.json","role":"config","sizeBytes":214,"sha256":"sha256:787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:6f5fce2827c7523fbd1707a62fe6143ddd52de1766c9a119a0d6bae358e6a6b6"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:61cb3ee879cd561517ba6e10c31fadf5a69698d0529b83a1086332810df8d5aa"},{"path":"model.safetensors","role":"weight","sizeBytes":4063515640,"sha256":"sha256:0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:0ab7d01bf99545e103f757386207a42fae8d91216c6fcc30062cd096327948b9"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c7ffe63b173d3d30db8a17f94e418402ed4e27e5446e7fcce9b5ad2832d3239c"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:5f7a5fff73f765bb8af5d49d137b590b236595921ee0d06a18795f3a2ccc661e"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9789,"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:234419c664a6239259d7a7322ee99f8665ae74ea8fe213dd3b2024c6453d0c4b"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:80ebccff08364d8da6f7273811761eb7114b3cf9b5e08aadb0e9ae204f096147"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30","representationDigest":"sha256:29db9e010488a83eae96bd352a284df70a1b629a1b87d33623a73c701bbdfd81","evidenceSnapshotDigest":"sha256:fa8243903317a2e9b6f167b8f8ff893a5e9b5d53aa3af9ad7e92b17d7c78ac2a","evaluatedAt":"2026-08-29T22:47:34.009Z","authorityVersion":"sha256:51fa0d0f6e8dbddab5f61bef4bd0276ef645c8b209ddeaa3db22d88eeffe96bd","invalidatedBy":null,"manifestFinal":false,"downloadable":null,"hosted":false,"hostedFiles":0,"serveAuthority":"unbound","individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":10,"strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":11,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-28T16:08:38.731Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"}},"decentralizedDistribution":{"protocol":"bittorrent-magnet-metadata","verifiedFallbacks":0,"pendingReviewRequests":0,"reviewRequired":true,"policy":"Peer-assisted fallbacks are metadata only until Hugging Bay review confirms source, license, provenance, and safety. Gated/private bypasses are not allowed."},"communityReviewSummary":{"count":0,"averageRating":0,"verifiedRuns":0,"selfReportedVerifiedRuns":0,"verificationQualification":"quarantined-untrusted-evidence","verificationTrustImpact":"none","helpfulCount":0,"reportCount":0,"reportedReviews":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"toolCounts":{},"categoryAverages":{},"categoryCounts":{},"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"recent":[]},"benchmarkEvidenceSummary":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"hostingStatus":"hosted","hosted":true,"fileCount":11,"publicDownloadableFileCount":10,"externalFileCount":11,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":4079403080,"label":"3.8 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":723,"upstreamStars":7,"label":"723 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"AI-MO/Kimina-Prover-Distill-1.7B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"10/11 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: AI-MO/Kimina-Prover-Distill-1.7B","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 10/11 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":10,"externalFiles":1,"totalFiles":11},"action":{"id":"request-mirror","label":"Request a complete representation","detail":"Capture demand for a reviewed, immutable representation with complete selected bytes.","href":"/artifact/hf-model-ai-mo-kimina-prover-distill-1-7b/mirrors"}},"sampleFiles":[],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"AI-MO/Kimina-Prover-Distill-1.7B"}},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-28T16:08:38.731Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"lastKnownAnswer":"Ready to download"},"canonicalUrl":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-distill-1-7b/community","apiUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/review-summary","reviewsUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/reviews?limit=50","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-distill-1-7b","agentBundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/agent-bundle","summary":{"count":0,"averageRating":0,"verifiedRuns":0,"selfReportedVerifiedRuns":0,"verificationQualification":"self-reported-unqualified","verificationTrustImpact":"none","helpfulCount":0,"reportCount":0,"reportedReviews":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"toolCounts":{},"categoryAverages":{},"categoryCounts":{},"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"recent":[]},"rating":{"count":0,"average":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"categoryAverages":{},"categoryCounts":{},"helpfulCount":0,"reportCount":0,"reportedReviews":0},"verifiedRuns":0,"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"AI-MO/Kimina-Prover-Distill-1.7B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"10/11 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: AI-MO/Kimina-Prover-Distill-1.7B","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 10/11 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":10,"externalFiles":1,"totalFiles":11},"recentReviews":[],"answerEngine":{"preferredCitation":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-distill-1-7b/community","extractionUrls":{"reviewSummary":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/review-summary","fullReviews":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/reviews?limit=50","trustBundle":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-distill-1-7b","agentBundle":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/agent-bundle","cardMarkdown":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/card.md","distribution":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/distribution"},"supportedClaims":["AI-MO/Kimina-Prover-Distill-1.7B has 0 self-reported, unqualified Hugging Bay community reviews.","AI-MO/Kimina-Prover-Distill-1.7B has 0 self-reported run claims; none qualify verification during limited availability.","AI-MO/Kimina-Prover-Distill-1.7B has 0 self-reported benchmark or performance evidence items; none affect product decisions."],"claimBoundaries":["This endpoint is an unqualified evidence record. Its contents do not affect ranking, Finder, facts, request state, badges, cards, JSON-LD, or reputation.","Do not treat missing reviews as negative quality evidence.","Do not claim Hugging Bay hosts artifact files unless hosted/downloadable endpoints show hosted rows.","Do not infer safety, legality, or production readiness beyond the displayed license, trust, scan, and review evidence."]},"actions":{"readFullReviews":{"method":"GET","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/reviews?limit=50"},"submitReview":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/reviews"},"inspectTrust":{"method":"GET","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-distill-1-7b"},"inspectBundle":{"method":"GET","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/agent-bundle"}},"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."}}