{"schemaVersion":"hugging-bay.artifact-review-summary.v1","generatedAt":"2026-10-30T18:13:22.064Z","baseUrl":"https://huggingbay.xyz","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","repo":"Goedel-LM/Goedel-Prover-V2-32B","artifact":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T18:01:23.340Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T18:01:23.340Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-goedel-lm-goedel-prover-v2-32b","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · 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":"tags","value":"conversational"},{"field":"task","value":"text-generation"},{"field":"cardMetadata.pipelineTag","value":"text-generation"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":65540282210,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"Goedel-LM","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":89,"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":["2508.03613"],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","library_name","license","pipeline_tag"],"semanticText":"text-generation transformers llm model safetensors","semanticTerms":["text-generation","transformers","llm","model","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":10428},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":730},{"lfs":false,"path":"generation_config.json","sizeBytes":143},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00014.safetensors","sizeBytes":4932307584},{"lfs":true,"path":"model-00002-of-00014.safetensors","sizeBytes":4875989696},{"lfs":true,"path":"model-00003-of-00014.safetensors","sizeBytes":4875989720},{"lfs":true,"path":"model-00004-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00005-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00006-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00007-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00008-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00009-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00010-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00011-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00012-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00013-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00014-of-00014.safetensors","sizeBytes":2080144040},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":58330},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789}],"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":65540282210,"sizeKnown":true,"sizeLabel":"61.0 GB","sizeReason":"","declaredSizeBytes":65540282210,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":10587,"stars":74,"citations":0,"updatedAt":"2026-09-21T09:05:38.201Z","createdAt":"2026-06-29T22:26:13.806Z","version":"hf-main","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Prover-V2-32B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","disabled":false,"provider":"huggingface","repoType":"model","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","fetchedAt":"2026-09-21T07:44:51.115Z","importMode":"external-catalog","licenseRaw":"apache-2.0","licenseDeclared":"apache-2.0","mirrorLicensePolicy":"permissive"},"hosting":{"status":"hosted","mirroredAt":"2026-09-21T09:05:38.201Z","mirroredBy":"mirror-batch-worker","totalFiles":25,"hostedFiles":21,"mirroredBytes":65535821526,"mirroredFiles":21,"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_1614c87633de5a53ffcd3e92d9c30dc9715d861c15c61a4b103511cf7dd1d5e2","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","representationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","format":"safetensors","source":{"provider":"huggingface","identity":"Goedel-LM/Goedel-Prover-V2-32B","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"files":[{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:66c8bff283c9d13f6221783ea11606b970d826aebdd8937246519a26f632892d"},{"path":"config.json","role":"config","sizeBytes":730,"sha256":"sha256:2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:9436e696e7abcfdbabc050777bd0ce1d20de4b12dd204c917bd317bad819d236"},{"path":"generation_config.json","role":"config","sizeBytes":143,"sha256":"sha256:f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:2f0dfa16734677e51f158c238332d0820309d43a20179ae844b985b25352f99b"},{"path":"model-00001-of-00014.safetensors","role":"weight","sizeBytes":4932307584,"sha256":"sha256:152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:624895d8be442b4c8ce39d46e8549208e9bfef0bc58e2140a15e00db955ea30b"},{"path":"model-00002-of-00014.safetensors","role":"weight","sizeBytes":4875989696,"sha256":"sha256:ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c1f98eff8a61068d24badbf5e5e908d25e5a1c6a2e3cfa3b0bcd49a914951c14"},{"path":"model-00003-of-00014.safetensors","role":"weight","sizeBytes":4875989720,"sha256":"sha256:b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:5290a0de72bf11889dc102d169cd3151d99df0634f9df4942531f7b6bbd49fc8"},{"path":"model-00004-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:779356307588ebabe14468d23c5a5408c0605e5b1148f286a65c7d6be2ee36c9"},{"path":"model-00005-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f9c5a3e3502ffff46e0b9b4f15c462ab5472016f3421669ace7ac9765907f7cc"},{"path":"model-00006-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:7846a559c1a5aefb05a6cab7306600262397f7b2f20fa0435fc04fef49aa788b"},{"path":"model-00007-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:9f9700e1d11447ce147c92ac630661ee7c36b462eed6de26cac5173346df195a"},{"path":"model-00008-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:861bfd248c73425de658fdcb9cbf0429b569f8c18355061c0b3c318500a435b1"},{"path":"model-00009-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:90ea8f9a6ca5096431fed378a6c3e5fa54a9b30bb76cf24fd1e860a8df459ea3"},{"path":"model-00010-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b743ae88a9ec7260e2c9624d4fd8da098ab54c99ac310c7738b51db64f30ed3b"},{"path":"model-00011-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:055f68e463b16b29c8dd11952e85e997f0ec61d36cb42f30b7f6e53e5aeeaecc"},{"path":"model-00012-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:5d977730dbe87ff65924d5cd48e338ffb21ee2db1f0bc7bcc5a17e66610782dd"},{"path":"model-00013-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:896f849ee513ee3ed7ee047aa2cc2d47b335ee9b3091e321cbdf3ac7a73de3d1"},{"path":"model-00014-of-00014.safetensors","role":"weight","sizeBytes":2080144040,"sha256":"sha256:79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:48db48af67699772958b2d4d360a2331ec44c5bfc7d65e9816e4fc739479e64d"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":58330,"sha256":"sha256:83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:4c1d9a0c8636e36b97f8319d3c21abc77beb63df0e3d2c1dde33c5a79d90cbaa"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:d1decf41263d5e48c4f6938d6fba2af8c707c3bf8e451bdae7f05d6ff100db5f"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b55f8e5a54043699d418836c5d2249f00be980337ae3cf9cc5edee93115d7e04"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9789,"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:81cfd9105bc580e30f85e77b1ee209dbcb4636b913a3fb103146d8ae146ed264"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd","representationDigest":"sha256:8f40f94e30d7465fbf99b0c7a2b3ba44b1d34c02fe03b519a34403bc56220fd2","evidenceSnapshotDigest":"sha256:718621a313346834f5da8d5d776dcc5ab5281def7d6357a2567a02a5615604ca","evaluatedAt":"2026-09-21T09:05:39.204Z","authorityVersion":"sha256:fd7e82857f06ed71c9309b8d1ad45193316aaff6b2a9a61092bb4e76690da0f7","invalidatedBy":null,"manifestFinal":false,"downloadable":null,"hosted":false,"hostedFiles":0,"serveAuthority":"unbound","individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":21,"strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":25,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T18:01:23.340Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"}},"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":25,"publicDownloadableFileCount":21,"externalFileCount":25,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":65540282210,"label":"61.0 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":10587,"upstreamStars":74,"label":"11K 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":"Goedel-LM/Goedel-Prover-V2-32B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"21/25 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: Goedel-LM/Goedel-Prover-V2-32B","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 21/25 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":21,"externalFiles":4,"totalFiles":25},"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-goedel-lm-goedel-prover-v2-32b/mirrors"}},"sampleFiles":[],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"Goedel-LM/Goedel-Prover-V2-32B"}},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T18:01:23.340Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"lastKnownAnswer":"Ready to download"},"canonicalUrl":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-prover-v2-32b/community","apiUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/review-summary","reviewsUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/reviews?limit=50","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-prover-v2-32b","agentBundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/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":"Goedel-LM/Goedel-Prover-V2-32B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"21/25 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: Goedel-LM/Goedel-Prover-V2-32B","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 21/25 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":21,"externalFiles":4,"totalFiles":25},"recentReviews":[],"answerEngine":{"preferredCitation":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-prover-v2-32b/community","extractionUrls":{"reviewSummary":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/review-summary","fullReviews":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/reviews?limit=50","trustBundle":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-prover-v2-32b","agentBundle":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/agent-bundle","cardMarkdown":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/card.md","distribution":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/distribution"},"supportedClaims":["Goedel-LM/Goedel-Prover-V2-32B has 0 self-reported, unqualified Hugging Bay community reviews.","Goedel-LM/Goedel-Prover-V2-32B has 0 self-reported run claims; none qualify verification during limited availability.","Goedel-LM/Goedel-Prover-V2-32B 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-goedel-lm-goedel-prover-v2-32b/reviews?limit=50"},"submitReview":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/reviews"},"inspectTrust":{"method":"GET","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-prover-v2-32b"},"inspectBundle":{"method":"GET","url":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/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."}}