Skip to main content

AI models that run on this device.

Two small chat models run in a computer’s browser here; every other model is a file you download.

QuantFactory/BFS-Prover-GGUF file inventory

Browse hosted and upstream file records for QuantFactory/BFS-Prover-GGUF. Check its Run page for complete-kit status.

Hosting
hosted
Hosted files
1
Tool
any

Run status: unknown. These file records do not make a complete run kit.

  • .gitattributes
  • BFS-Prover.Q2_K.gguf - sha256 c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e
  • BFS-Prover.Q3_K_L.gguf - sha256 07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889
  • BFS-Prover.Q3_K_M.gguf - sha256 fd78bdf1245fd2228d9dabb184d8ce82222454e9c215544f56aee8de487c3f7d
  • BFS-Prover.Q3_K_S.gguf - sha256 72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8
  • BFS-Prover.Q4_0.gguf - sha256 de96fa34e5f079ba10e22436610fc6c51b1267954ce72f5323283c1b4a0ea5b4
  • BFS-Prover.Q4_1.gguf - sha256 4aa4aed2d351b7af4f45ccf71abf7b306ee056ac6921c5cd4ccb9af93d80ab67
  • BFS-Prover.Q4_K_M.gguf - sha256 e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b - download this file
  • BFS-Prover.Q4_K_S.gguf - sha256 e0d9939bf8ba9ea553914a6f5386a6352e7754acb0854a33e56ae1586219c4fa
  • BFS-Prover.Q5_0.gguf - sha256 11c5d50bcd9d95d3de1da5147b8c61bebc1cddeea6d5e205e2ba29e26730efb2
  • BFS-Prover.Q5_1.gguf - sha256 64294b281f546e1935ad02e9428040ddd962e5eaf8dea7d1d0bde1ececcdfe45
  • BFS-Prover.Q5_K_M.gguf - sha256 fc1435eba4183ed26fdfd78e3df709141ac596b6d0298a0b9855fd03de05b271
  • BFS-Prover.Q5_K_S.gguf - sha256 1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5
  • BFS-Prover.Q6_K.gguf - sha256 1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5
  • BFS-Prover.Q8_0.gguf - sha256 343089e3f8134aa8afd61a77061a86a2390653eab920dcf11a04b8d503e9098e
  • README.md

Local kit JSON Trust bundle JSON

Open interactive local kit