# tinyopsec/Pythagoras-Prover-4B-GGUF

Model from Hugging Face for text generation: tinyopsec/Pythagoras-Prover-4B-GGUF · llama cpp

## Facts

- Type: LLM
- Task: text-generation
- Framework: llama-cpp
- License: apache-2.0 — Permissive open license: commercial use, modification, and redistribution are permitted. (https://spdx.org/licenses/Apache-2.0.html)
- Source: https://huggingface.co/tinyopsec/Pythagoras-Prover-4B-GGUF
- Hosting: hosted (1 file)
- Files: 1 hosted of 13 listed
- File counts: "listed" is every file in the source repository; only hosted files download from Hugging Bay, and the download plan lists the files it selects for one download, so its count can differ.
- Hosted here: 1 file, 2.72 GB
- Full repo upstream: 37.2 GB
- Recommended file: 2.72 GB (Q4_K_M) · model_q4_k_m.gguf
- Parameters: 4B
- Download: https://huggingbay.xyz/artifact/hf-model-tinyopsec-pythagoras-prover-4b-gguf/files (download plan: https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/download-plan)
- Per-file SHA-256: available for 1 of 1 hosted file via https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/files?limit=100
- Run-ready: no (Hugging Bay has not certified a run path for this model; hosted bytes are downloadable and hash-checkable only)
- Peer-assisted fallbacks: 0 verified, 0 pending review
- Downloads: 2258
- Stars: 1
- Card completeness: 96%

## Description

External Hugging Face catalog record for tinyopsec/Pythagoras-Prover-4B-GGUF. Task: text generation. Library: llama cpp. Languages: en. Base model: Pythagoras-LM/Pythagoras-Prover-4B. Popularity signal at import: 2,258 downloads and 1 likes.

## Model Card Facts

- Declared license: apache-2.0
- Pipeline: text-generation
- Library: llama-cpp
- Base model: Pythagoras-LM/Pythagoras-Prover-4B
- Task categories: text-generation
- Languages: en
- File hints: 13 upstream file samples

## File Hints

- .gitattributes (2.1 KB)
- README.md (2.5 KB)
- model_f16.gguf (8.2 GB) LFS
- model_q2_k.gguf (1.7 GB) LFS
- model_q3_k_l.gguf (2.2 GB) LFS
- model_q3_k_m.gguf (2.1 GB) LFS
- model_q3_k_s.gguf (1.9 GB) LFS
- model_q4_k_m.gguf (2.5 GB) LFS
- model_q4_k_s.gguf (2.4 GB) LFS
- model_q5_k_m.gguf (2.9 GB) LFS
- model_q5_k_s.gguf (2.9 GB) LFS
- model_q6_k.gguf (3.4 GB) LFS

## Quality Checklist

- Summary: passed
- Description: passed
- Model card metadata: passed
- License: passed
- Provenance: passed
- File inventory: passed
- Hosted bytes: passed
- Scan result: passed
- Manifest signature: passed

## Safety Notes

- External catalog metadata imported from Hugging Face public API on 2026-09-22T10:28:00.222Z.
- Open license detected as apache-2.0.
- Not a run kit: hosted, hash-checked bytes only; run readiness is not certified for this model yet.

## Actions

- Web: https://huggingbay.xyz/artifact/hf-model-tinyopsec-pythagoras-prover-4b-gguf
- Files API: https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/files?limit=100
- Metadata: https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/metadata.json
- Distribution: https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/distribution
- Manifest: https://huggingbay.xyz/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf
- Download plan (per-file SHA-256 + signed download URLs): https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/download-plan
- Hosted download rows: https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-tinyopsec-pythagoras-prover-4b-gguf&limit=100
- Request mirror: not applicable.
- Submit peer fallback for review: POST https://huggingbay.xyz/api/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf/decentralized-fallbacks