GraySoft
Projects Models About FAQ Contact Download guIDE →

devquasar/ai-mo.kimina-prover-72b-gguf Q5_K_M GGUF - Free GGUF Download is indexed on GraySoft with repository links, GGUF quant files, and Hugging Face metadata. This page helps you pick a local model for guIDE or other runtimes. See related models in the same shard below.

Model Intelligence Sheet

devquasar/ai-mo.kimina-prover-72b-gguf overview

Quantized version of: AI-MO/Kimina-Prover-72B 'Make knowledge free for everyone' Made with

gguftext-generationbase_model:AI-MO/Kimina-Prover-72Bbase_model:quantized:AI-MO/Kimina-Prover-72Bendpoints_compatibleregion:usconversational
devquasar/ai-mo.kimina-prover-72b-gguf visual
Downloads
123
Likes
1
Pipeline
text-generation
Library
Visibility
Public
Access
Open

Repository Files & Downloads

35 files detected
Direct downloads for all repository files
FileTypeQuantizationSizeLink
AI-MO.Kimina-Prover-72B.Q2_K.gguf GGUF Q2_K 27.76 GB Download
AI-MO.Kimina-Prover-72B.Q3_K_L.gguf GGUF Q3_K_L 36.79 GB Download
AI-MO.Kimina-Prover-72B.Q3_K_M.gguf GGUF Q3_K_M 35.11 GB Download
AI-MO.Kimina-Prover-72B.Q3_K_S.gguf GGUF Q3_K_S 32.12 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_M-00001-of-00004.gguf GGUF Q4_K_M 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_M-00002-of-00004.gguf GGUF Q4_K_M 13.04 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_M-00003-of-00004.gguf GGUF Q4_K_M 13.00 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_M-00004-of-00004.gguf GGUF Q4_K_M 5.09 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_S-00001-of-00004.gguf GGUF Q4_K_S 13.04 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_S-00002-of-00004.gguf GGUF Q4_K_S 13.04 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_S-00003-of-00004.gguf GGUF Q4_K_S 12.92 GB Download
AI-MO.Kimina-Prover-72B.Q4_K_S-00004-of-00004.gguf GGUF Q4_K_S 1.88 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_M-00001-of-00004.gguf GGUF Q5_K_M 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_M-00002-of-00004.gguf GGUF Q5_K_M 12.89 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_M-00003-of-00004.gguf GGUF Q5_K_M 13.01 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_M-00004-of-00004.gguf GGUF Q5_K_M 11.78 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_S-00001-of-00004.gguf GGUF Q5_K_S 12.97 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_S-00002-of-00004.gguf GGUF Q5_K_S 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_S-00003-of-00004.gguf GGUF Q5_K_S 12.89 GB Download
AI-MO.Kimina-Prover-72B.Q5_K_S-00004-of-00004.gguf GGUF Q5_K_S 8.95 GB Download
AI-MO.Kimina-Prover-72B.Q6_K-00001-of-00005.gguf GGUF Q6_K 12.90 GB Download
AI-MO.Kimina-Prover-72B.Q6_K-00002-of-00005.gguf GGUF Q6_K 13.00 GB Download
AI-MO.Kimina-Prover-72B.Q6_K-00003-of-00005.gguf GGUF Q6_K 13.00 GB Download
AI-MO.Kimina-Prover-72B.Q6_K-00004-of-00005.gguf GGUF Q6_K 12.86 GB Download
AI-MO.Kimina-Prover-72B.Q6_K-00005-of-00005.gguf GGUF Q6_K 8.16 GB Download
AI-MO.Kimina-Prover-72B.Q8_0-00001-of-00006.gguf GGUF 13.04 GB Download
AI-MO.Kimina-Prover-72B.Q8_0-00002-of-00006.gguf GGUF 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q8_0-00003-of-00006.gguf GGUF 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q8_0-00004-of-00006.gguf GGUF 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q8_0-00005-of-00006.gguf GGUF 13.03 GB Download
AI-MO.Kimina-Prover-72B.Q8_0-00006-of-00006.gguf GGUF 6.80 GB Download
AI-MO.Kimina-Prover-72B.f16-00001-of-00004.gguf GGUF F16 37.11 GB Download
AI-MO.Kimina-Prover-72B.f16-00002-of-00004.gguf GGUF F16 37.15 GB Download
AI-MO.Kimina-Prover-72B.f16-00003-of-00004.gguf GGUF F16 36.87 GB Download
AI-MO.Kimina-Prover-72B.f16-00004-of-00004.gguf GGUF F16 24.31 GB Download

Model Details Live

Model Slug
devquasar/ai-mo.kimina-prover-72b-gguf
Author
DevQuasar
Pipeline Task
text-generation
Library
Created
2025-07-14
Last Modified
2025-07-16
Gated
No
Private
No
HF SHA
d6bdcd10ba9505def5ba9b32dfae91880b3e4340
License
Unknown
Language
Unknown
Base Model
AI-MO/Kimina-Prover-72B

Metadata Inspector

Normalized metadata (stored in metadata_json)
{
  "metadata": {},
  "card_data": {
    "base_model": [
      "AI-MO/Kimina-Prover-72B"
    ],
    "pipeline_tag": "text-generation",
    "frontmatter": {
      "base_model": [
        "AI-MO/Kimina-Prover-72B"
      ],
      "pipeline_tag": "text-generation"
    },
    "hero_image_url": "https://raw.githubusercontent.com/csabakecskemeti/devquasar/main/dq_logo_black-transparent.png",
    "summary": "Quantized version of: AI-MO/Kimina-Prover-72B 'Make knowledge free for everyone'  Made with",
    "quick_links": [],
    "benchmark_table_html": "",
    "readme_markdown": "---\nbase_model:\n- AI-MO/Kimina-Prover-72B\npipeline_tag: text-generation\n---\n\n[<img src=\"https://raw.githubusercontent.com/csabakecskemeti/devquasar/main/dq_logo_black-transparent.png\" width=\"200\"/>](https://devquasar.com)\n\nQuantized version of: [AI-MO/Kimina-Prover-72B](https://huggingface.co/AI-MO/Kimina-Prover-72B)\n\n'Make knowledge free for everyone'\n\n<p align=\"center\">\n  Made with <br>\n  <a href=\"https://www.civo.com/\" target=\"_blank\">\n    <img src=\"https://www.civo.com/assets/public/brand-assets/civo-logo-colour-60cc1622dedf346f7afde1fff760523f731b0aac106a5465af98ff4073114b74.svg\" width=\"100\"/>\n  </a>\n</p>\n\n<a href='https://ko-fi.com/L4L416YX7C' target='_blank'><img height='36' style='border:0px;height:36px;' src='https://storage.ko-fi.com/cdn/kofi6.png?v=6' border='0' alt='Buy Me a Coffee at ko-fi.com' /></a>\n",
    "related_quantizations": []
  },
  "tags": [
    "gguf",
    "text-generation",
    "base_model:AI-MO/Kimina-Prover-72B",
    "base_model:quantized:AI-MO/Kimina-Prover-72B",
    "endpoints_compatible",
    "region:us",
    "conversational"
  ],
  "likes": 1,
  "downloads": 123,
  "gated": false,
  "private": false,
  "last_modified": "2025-07-16T19:33:12.000Z",
  "created_at": "2025-07-14T09:26:35.000Z",
  "pipeline_tag": "text-generation",
  "library_name": ""
}
Source payload excerpt (from Hugging Face API)
{
  "_id": "6874cd4b984ab1f22f3f3139",
  "id": "DevQuasar/AI-MO.Kimina-Prover-72B-GGUF",
  "modelId": "DevQuasar/AI-MO.Kimina-Prover-72B-GGUF",
  "sha": "d6bdcd10ba9505def5ba9b32dfae91880b3e4340",
  "createdAt": "2025-07-14T09:26:35.000Z",
  "lastModified": "2025-07-16T19:33:12.000Z",
  "author": "DevQuasar",
  "downloads": 123,
  "likes": 1,
  "gated": false,
  "private": false,
  "pipeline_tag": "text-generation",
  "library_name": "",
  "siblings_count": 37
}