Text Generation
GGUF
English
Māori
llama.cpp
abteex-ai-labs
aotearoa
deepseek
frontier
local-first
lumynax
math
Mixture of Experts
new-zealand
proof
reasoning
sovereign-ai
nvidia-nim
nim-compatible
nim-candidate
nvidia-nemo
nem
nvidia-nemo-pathway
nem-pathway
nem-convert-required
imatrix
conversational
Instructions to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- llama-cpp-python
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with llama-cpp-python:
# !pip install llama-cpp-python from llama_cpp import Llama llm = Llama.from_pretrained( repo_id="AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf", filename="Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf", )
llm.create_chat_completion( messages = [ { "role": "user", "content": "What is the capital of France?" } ] ) - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- llama.cpp
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with llama.cpp:
Install (macOS, Linux)
curl -LsSf https://llama.app/install.sh | sh # Start a local OpenAI-compatible server with a web UI: llama serve -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M # Run inference directly in the terminal: llama cli -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
Install from WinGet (Windows)
winget install llama.cpp # Start a local OpenAI-compatible server with a web UI: llama serve -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M # Run inference directly in the terminal: llama cli -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
Use pre-built binary
# Download pre-built binary from: # https://github.com/ggerganov/llama.cpp/releases # Start a local OpenAI-compatible server with a web UI: ./llama-server -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M # Run inference directly in the terminal: ./llama-cli -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
Build from source code
git clone https://github.com/ggerganov/llama.cpp.git cd llama.cpp cmake -B build cmake --build build -j --target llama-server llama-cli # Start a local OpenAI-compatible server with a web UI: ./build/bin/llama-server -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M # Run inference directly in the terminal: ./build/bin/llama-cli -hf AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
Use Docker
docker model run hf.co/AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
- LM Studio
- Jan
- vLLM
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
- Ollama
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with Ollama:
ollama run hf.co/AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
- Unsloth Studio
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with Unsloth Studio:
Install Unsloth Studio (macOS, Linux, WSL)
curl -fsSL https://unsloth.ai/install.sh | sh # Run unsloth studio unsloth studio -H 0.0.0.0 -p 8888 # Then open http://localhost:8888 in your browser # Search for AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf to start chatting
Install Unsloth Studio (Windows)
irm https://unsloth.ai/install.ps1 | iex # Run unsloth studio unsloth studio -H 0.0.0.0 -p 8888 # Then open http://localhost:8888 in your browser # Search for AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf to start chatting
Using HuggingFace Spaces for Unsloth
# No setup required # Open https://huggingface.co/spaces/unsloth/studio in your browser # Search for AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf to start chatting
- Atomic Chat new
- Docker Model Runner
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with Docker Model Runner:
docker model run hf.co/AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
- Lemonade
How to use AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf with Lemonade:
Pull the model
# Download Lemonade from https://lemonade-server.ai/ lemonade pull AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf:Q4_K_M
Run and chat with the model
lemonade run user.lumynax-reasoning-deepseek-prover-v2-671b-gguf-Q4_K_M
List all available models
lemonade list
docs: publish professional LumynaX model card
Browse files- README.md +130 -298
- checksums.sha256 +9 -6
- docs/lumynax-release-overview.svg +51 -0
- docs/lumynax-runtime-flow.svg +35 -21
README.md
CHANGED
|
@@ -21,72 +21,55 @@ tags:
|
|
| 21 |
- sovereign-ai
|
| 22 |
---
|
| 23 |
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
<!-- lumynax-public-release-card:v6 -->
|
| 27 |
-
|
| 28 |
-
<h1 align="center">LumynaX Reasoning DeepSeek-Prover V2 671B GGUF</h1>
|
| 29 |
-
|
| 30 |
-
<p align="center"><em>“Sovereign intelligence, held in the light.”</em><br/><em>Ko te mārama te tūāpapa — the light is the foundation.</em></p>
|
| 31 |
|
| 32 |
-
<
|
| 33 |
|
| 34 |
<p align="center">
|
| 35 |
-
<
|
| 36 |
-
<a href="#-runtime-architecture"><b>Architecture</b></a> ·
|
| 37 |
-
<a href="#-model-profile"><b>Profile</b></a> ·
|
| 38 |
-
<a href="#-capability-profile"><b>Capability</b></a> ·
|
| 39 |
-
<a href="#-provenance--license"><b>Provenance</b></a> ·
|
| 40 |
-
<a href="#-validation"><b>Validation</b></a> ·
|
| 41 |
-
<a href="#-companion-products"><b>Companions</b></a>
|
| 42 |
</p>
|
| 43 |
|
| 44 |
-
<p align="center">
|
| 45 |
-
|
| 46 |
-
|
| 47 |
-
|
| 48 |
-
---
|
| 49 |
-
|
| 50 |
-
## 📦 Executive Summary
|
| 51 |
|
| 52 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 53 |
|
| 54 |
-
|
| 55 |
|
| 56 |
-
##
|
| 57 |
|
| 58 |
-
|
| 59 |
|
| 60 |
-
|
| 61 |
|
| 62 |
-
|
| 63 |
-
flowchart LR
|
| 64 |
-
R["⮕ Request"] --> C["🛡 Data Capsule<br/>policy envelope"]
|
| 65 |
-
C -->|allow| MR["🧭 MaramaRoute<br/>sovereign router"]
|
| 66 |
-
MR -->|score & select| LLM[(LumynaX Model)]
|
| 67 |
-
LLM --> O["📤 Response"]
|
| 68 |
-
O --> A["📓 Audit Ledger<br/>hash-chained"]
|
| 69 |
-
classDef paper fill:#fffefa,stroke:#0a0a0b,color:#0a0a0b,stroke-width:1.4px;
|
| 70 |
-
classDef accent fill:#e08a2c,stroke:#9a5416,color:#0a0a0b,stroke-width:1.4px;
|
| 71 |
-
classDef ink fill:#0a0a0b,stroke:#0a0a0b,color:#fffefa,stroke-width:1.4px;
|
| 72 |
-
class R,O paper
|
| 73 |
-
class C,MR accent
|
| 74 |
-
class LLM,EMB,A ink
|
| 75 |
-
```
|
| 76 |
|
| 77 |
-
|
| 78 |
|
| 79 |
-
|
| 80 |
-
| --- | --- | --- |
|
| 81 |
-
| **Request** | A client sends a prompt + declared purpose, jurisdiction, sensitivity. | Intent must be declared, not inferred. |
|
| 82 |
-
| **Data Capsule** | A policy envelope describes what can / cannot happen to the data. | Sovereignty is enforced at the data, not the wire. |
|
| 83 |
-
| **MaramaRoute** | The sovereign router scores candidates by jurisdiction, runtime, modality, task fit. | Right model for the work, not the loudest. |
|
| 84 |
-
| **LumynaX Model** | This package serves the inference, local-first by default. | Sensitive context never leaves the operator’s environment. |
|
| 85 |
-
| **Audit Ledger** | A hash-chained record persists capsule, decision, request hash, obligations. | Tamper-evident provenance for the whole trace. |
|
| 86 |
|
| 87 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 88 |
|
| 89 |
-
|
| 90 |
|
| 91 |
```bash
|
| 92 |
hf download AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf --local-dir lumynax-reasoning-deepseek-prover-v2-671b-gguf
|
|
@@ -95,222 +78,148 @@ pip install -r requirements.txt
|
|
| 95 |
python quickstart.py --interactive
|
| 96 |
```
|
| 97 |
|
| 98 |
-
|
| 99 |
-
|
| 100 |
-
```python
|
| 101 |
-
from llama_cpp import Llama
|
| 102 |
-
|
| 103 |
-
llm = Llama(model_path="Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf", n_ctx=163840, n_threads=8, verbose=False)
|
| 104 |
-
out = llm("Who are you? Answer as LumynaX in two sentences.", max_tokens=160)
|
| 105 |
-
print(out["choices"][0]["text"].strip())
|
| 106 |
-
```
|
| 107 |
-
|
| 108 |
-
**CLI smoke test:**
|
| 109 |
|
| 110 |
```bash
|
| 111 |
-
llama-cli -m "Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-
|
| 112 |
```
|
| 113 |
|
| 114 |
-
|
| 115 |
|
| 116 |
```bash
|
| 117 |
ollama create lumynax-reasoning-deepseek-prover-v2-671b-gguf -f ollama/Modelfile
|
| 118 |
ollama run lumynax-reasoning-deepseek-prover-v2-671b-gguf
|
| 119 |
```
|
| 120 |
|
| 121 |
-
|
| 122 |
-
|
| 123 |
-
```bash
|
| 124 |
-
sha256sum "Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf"
|
| 125 |
-
cat checksums.sha256
|
| 126 |
-
```
|
| 127 |
-
|
| 128 |
-
```powershell
|
| 129 |
-
Get-FileHash -Algorithm SHA256 "Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf"
|
| 130 |
-
Get-Content checksums.sha256
|
| 131 |
-
```
|
| 132 |
-
|
| 133 |
-
## 📐 Model Profile
|
| 134 |
-
|
| 135 |
-
<table>
|
| 136 |
-
<tr><td>
|
| 137 |
-
|
| 138 |
-
**Release identity**
|
| 139 |
|
| 140 |
| Field | Value |
|
| 141 |
| --- | --- |
|
| 142 |
-
| Release | `
|
| 143 |
| Repository | `AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf` |
|
| 144 |
-
| Family | `deepseek` |
|
| 145 |
| Mode | `Reasoning-oriented local assistant` |
|
| 146 |
-
|
|
| 147 |
-
|
| 148 |
-
</td><td>
|
| 149 |
-
|
| 150 |
-
**Runtime profile**
|
| 151 |
-
|
| 152 |
-
| Field | Value |
|
| 153 |
-
| --- | --- |
|
| 154 |
-
| Runtime | `llama_cpp` |
|
| 155 |
-
| Prompt format | `chatml` |
|
| 156 |
| Modalities | `text` |
|
| 157 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 158 |
| Quantization | `Q4_K_M GGUF (sharded)` |
|
|
|
|
|
|
|
| 159 |
|
| 160 |
-
|
| 161 |
-
<tr><td>
|
| 162 |
-
|
| 163 |
-
**Artifact**
|
| 164 |
-
|
| 165 |
-
| Field | Value |
|
| 166 |
-
| --- | --- |
|
| 167 |
-
| Primary | `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf` |
|
| 168 |
-
| Weight size | `—` |
|
| 169 |
-
| Parameters | `671B / 37B active` |
|
| 170 |
-
| Quality rank | `1` (1 best) |
|
| 171 |
-
| Cost rank | `5` (1 cheapest) |
|
| 172 |
|
| 173 |
-
<
|
|
|
|
|
|
|
| 174 |
|
| 175 |
-
|
| 176 |
|
| 177 |
| Field | Value |
|
| 178 |
| --- | --- |
|
| 179 |
-
|
|
| 180 |
-
| Source | `DeepSeek Prover V2` |
|
| 181 |
-
| License | `other` |
|
| 182 |
-
| Sovereignty tier | `2` of 5 |
|
| 183 |
-
| Audit | `pass` |
|
| 184 |
-
|
| 185 |
-
</td></tr>
|
| 186 |
-
</table>
|
| 187 |
-
|
| 188 |
-
## 📊 Capability Profile
|
| 189 |
-
|
| 190 |
-
<p align="center"><img src="docs/lumynax-capability.svg" alt="Capability profile bars" width="100%" /></p>
|
| 191 |
-
|
| 192 |
-
> **Primary fit.** Multi-step analysis, planning drafts, policy reasoning, and prompts where explanation quality matters.
|
| 193 |
-
|
| 194 |
-
| Signal | Reading |
|
| 195 |
-
| --- | --- |
|
| 196 |
-
| Quality rank | `1` (1 = strongest in family) |
|
| 197 |
-
| Cost rank | `5` (1 = lightest weight) |
|
| 198 |
-
| Sovereignty tier | `2` of 5 |
|
| 199 |
-
| Tool calling | ✅ supported |
|
| 200 |
-
| JSON mode | ✅ supported |
|
| 201 |
-
| Identity behaviour | Identifies as LumynaX while keeping upstream provenance visible. |
|
| 202 |
| Operational style | Local-first package with explicit files, checksums, and reproducible quickstarts. |
|
|
|
|
|
|
|
| 203 |
|
| 204 |
-
##
|
| 205 |
-
|
| 206 |
-
> **Sovereignty is a design property, not a deployment option.**
|
| 207 |
-
|
| 208 |
-
| Field | Value |
|
| 209 |
-
| --- | --- |
|
| 210 |
-
| Publisher | AbteeX AI Labs |
|
| 211 |
-
| Family | LumynaX sovereign release family |
|
| 212 |
-
| Sovereign intent | Local-first deployment near governed data, with explicit provenance and controlled human review. |
|
| 213 |
-
| Sovereignty tier | `2` of 5 |
|
| 214 |
-
| Runtime residency | `llama_cpp` can be deployed inside an operator-approved environment. |
|
| 215 |
-
| Primary artifact | `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf` — ships alongside manifest, checksums, quickstart, requirements, and license files. |
|
| 216 |
-
| License discipline | Surface upstream license metadata so downstream users can verify redistribution and usage terms. |
|
| 217 |
-
| Audit expectation | Record repo id, artifact checksum, runtime command, prompt template, operator, deployment environment. |
|
| 218 |
-
| Router readiness | First-class with [LumynaX MaramaRoute](https://huggingface.co/AbteeXAILab/marama-route). |
|
| 219 |
-
| Policy readiness | First-class with [AbteeX SovereignCode](https://huggingface.co/AbteeXAILab/sovereigncode). |
|
| 220 |
-
|
| 221 |
-
## 📁 Runtime Files
|
| 222 |
|
| 223 |
-
|
| 224 |
-
|
| 225 |
-
|
| 226 |
-
|
| 227 |
-
|
| 228 |
-
|
| 229 |
-
|
| 230 |
-
|
| 231 |
-
|
| 232 |
-
|
| 233 |
-
|
| 234 |
-
|
| 235 |
-
|
| 236 |
-
|
| 237 |
-
|
| 238 |
-
|
| 239 |
-
|
| 240 |
-
|
| 241 |
-
|
| 242 |
-
|
| 243 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 244 |
|
| 245 |
```text
|
| 246 |
Who are you? What files do I need to keep together to run this package locally?
|
| 247 |
```
|
| 248 |
|
| 249 |
-
|
| 250 |
-
|
| 251 |
-
**Default system prompt:**
|
| 252 |
|
| 253 |
```text
|
| 254 |
-
|
| 255 |
```
|
| 256 |
|
| 257 |
-
##
|
| 258 |
|
| 259 |
-
|
|
| 260 |
| --- | --- |
|
| 261 |
-
| Runtime audit |
|
| 262 |
-
| Public access |
|
| 263 |
-
| Anonymous metadata access |
|
| 264 |
-
| Anonymous file listing |
|
| 265 |
-
| Quickstart syntax |
|
| 266 |
-
| Manifest references |
|
| 267 |
-
| Checksum references |
|
| 268 |
|
| 269 |
-
|
| 270 |
|
| 271 |
-
##
|
| 272 |
|
| 273 |
-
|
| 274 |
-
| --- | --- |
|
| 275 |
-
| **Publisher** | AbteeX AI Labs |
|
| 276 |
-
| **Family** | LumynaX model and inference-chain release family |
|
| 277 |
-
| **Upstream / base** | `deepseek-ai/DeepSeek-Prover-V2-671B` |
|
| 278 |
-
| **Source** | `DeepSeek Prover V2` |
|
| 279 |
-
| **License metadata** | `other` |
|
| 280 |
|
| 281 |
-
|
|
|
|
|
|
|
|
|
|
| 282 |
|
| 283 |
-
|
| 284 |
|
| 285 |
-
|
| 286 |
-
-
|
| 287 |
-
-
|
| 288 |
-
|
| 289 |
-
- This card documents **package readiness and access** — it is *not* a benchmark claim.
|
| 290 |
-
- The assistant must **not invent biographical or organisational claims** about named people without verified context.
|
| 291 |
|
| 292 |
-
##
|
| 293 |
|
| 294 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 295 |
|
| 296 |
-
|
| 297 |
|
| 298 |
-
##
|
| 299 |
|
| 300 |
-
|
| 301 |
-
|
| 302 |
-
|
| 303 |
-
|
| 304 |
-
|
| 305 |
-
</tr>
|
| 306 |
-
<tr>
|
| 307 |
-
<td width="33%" align="center"><h4><a href="https://huggingface.co/spaces/AbteeXAILab/sovereigncode-demo">SovereignCode Live</a></h4><p>Interactive policy evaluator.</p></td>
|
| 308 |
-
<td width="33%" align="center"><h4><a href="https://huggingface.co/spaces/AbteeXAILab/marama-route-demo">MaramaRoute Live</a></h4><p>Interactive sovereign router.</p></td>
|
| 309 |
-
<td width="33%" align="center"><h4><a href="https://huggingface.co/AbteeXAILab">AbteeXAILab on HF</a></h4><p>The full LumynaX release family — 50 models and counting.</p></td>
|
| 310 |
-
</tr>
|
| 311 |
-
</table>
|
| 312 |
|
| 313 |
-
##
|
| 314 |
|
| 315 |
Automation should read these files before launching:
|
| 316 |
|
|
@@ -320,85 +229,8 @@ Automation should read these files before launching:
|
|
| 320 |
- `requirements.txt`
|
| 321 |
- `ollama/Modelfile` when present
|
| 322 |
|
| 323 |
-
|
| 324 |
-
|
| 325 |
-
<p align="center"><em><b>Local roots, global work.</b> · <b>Sovereignty is a design property, not a deployment option.</b></em></p>
|
| 326 |
-
|
| 327 |
-
<p align="center">
|
| 328 |
-
<a href="https://abteex.com"><b>abteex.com</b></a> ·
|
| 329 |
-
<a href="https://lumynax.com"><b>lumynax.com</b></a> ·
|
| 330 |
-
<a href="https://huggingface.co/AbteeXAILab"><b>huggingface.co/AbteeXAILab</b></a>
|
| 331 |
-
</p>
|
| 332 |
-
|
| 333 |
-
<p align="center"><sub>AbteeX AI Labs · Aotearoa New Zealand · LumynaX release card v6</sub></p>
|
| 334 |
-
|
| 335 |
-
---
|
| 336 |
-
|
| 337 |
-
## 🚀 Quickest start — the `lumynax` CLI
|
| 338 |
-
|
| 339 |
-
```bash
|
| 340 |
-
pip install lumynax
|
| 341 |
-
lumynax run prover
|
| 342 |
-
```
|
| 343 |
-
|
| 344 |
-
`lumynax run` auto-downloads weights, starts a server if needed, and opens an interactive REPL with slash commands (`/clear`, `/save`, `/system`, `/switch`, `/tools`). For one-shot use:
|
| 345 |
-
|
| 346 |
-
```bash
|
| 347 |
-
lumynax run prover "your prompt here"
|
| 348 |
-
lumynax pull prover # just download
|
| 349 |
-
lumynax info prover # full card
|
| 350 |
-
lumynax serve prover # OpenAI-compatible API on :8080
|
| 351 |
-
```
|
| 352 |
-
|
| 353 |
-
Or via the legacy hf-download + quickstart.py path:
|
| 354 |
-
|
| 355 |
-
```bash
|
| 356 |
-
hf download AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf --local-dir lumynax-reasoning-deepseek-prover-v2-671b-gguf
|
| 357 |
-
cd lumynax-reasoning-deepseek-prover-v2-671b-gguf && pip install -r requirements.txt && python quickstart.py --interactive
|
| 358 |
-
```
|
| 359 |
-
|
| 360 |
-
|
| 361 |
-
---
|
| 362 |
-
|
| 363 |
-
## 🇳🇿 Made in Aotearoa New Zealand
|
| 364 |
-
|
| 365 |
-
This model is part of the **LumynaX release family** from **AbteeX AI Labs**, an Aotearoa New Zealand AI lab focused on sovereign, local-first intelligence with provenance, audit trails, and jurisdiction-aware routing.
|
| 366 |
-
|
| 367 |
-
> *Ko te mārama te tūāpapa — the light is the foundation.*
|
| 368 |
-
|
| 369 |
-
| Resource | Link |
|
| 370 |
-
| --- | --- |
|
| 371 |
-
| 🏠 AbteeX AI Labs | [abteex.com](https://abteex.com) |
|
| 372 |
-
| 🌟 LumynaX family | [lumynax.com](https://lumynax.com) |
|
| 373 |
-
| 🤗 Hugging Face org | [huggingface.co/AbteeXAILab](https://huggingface.co/AbteeXAILab) |
|
| 374 |
-
| 🐙 Monorepo | [github.com/Aimaghsoodi/lumynax-release](https://github.com/Aimaghsoodi/lumynax-release) |
|
| 375 |
-
| 📦 Per-model GitHub | [github.com/aimaghsoodi/lumynax-reasoning-deepseek-prover-v2-671b-gguf](https://github.com/aimaghsoodi/lumynax-reasoning-deepseek-prover-v2-671b-gguf) |
|
| 376 |
-
| 🧭 Routing | `lumynax route "<your prompt>" --local` (via [`lumynax` CLI](https://github.com/Aimaghsoodi/lumynax-release/tree/main/tools/lumynax-cli)) |
|
| 377 |
-
| 🛡️ Policy + audit | [SovereignCode](https://huggingface.co/AbteeXAILab/sovereigncode) + [MaramaRoute](https://huggingface.co/AbteeXAILab/marama-route) |
|
| 378 |
-
| 🔌 Run via OpenAI-compatible gateway | See [`DEPLOYMENT.md`](https://github.com/Aimaghsoodi/lumynax-release/blob/main/DEPLOYMENT.md) |
|
| 379 |
-
|
| 380 |
-
### Run this model
|
| 381 |
-
|
| 382 |
-
```bash
|
| 383 |
-
# Fastest — clone & run
|
| 384 |
-
hf download AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf --local-dir lumynax-reasoning-deepseek-prover-v2-671b-gguf
|
| 385 |
-
cd lumynax-reasoning-deepseek-prover-v2-671b-gguf && pip install -r requirements.txt && python quickstart.py --interactive
|
| 386 |
-
|
| 387 |
-
# Or via the LumynaX CLI
|
| 388 |
-
pip install lumynax
|
| 389 |
-
lumynax run lumynax-reasoning-deepseek-prover-v2-671b-gguf -i
|
| 390 |
-
|
| 391 |
-
# Or as an OpenAI-compatible server (for OpenCode, Continue, Cursor, vLLM, LM Studio, etc.)
|
| 392 |
-
lumynax serve lumynax-reasoning-deepseek-prover-v2-671b-gguf --port 8080
|
| 393 |
-
```
|
| 394 |
-
|
| 395 |
-
### Sovereignty contract
|
| 396 |
|
| 397 |
-
|
| 398 |
-
- **Sovereignty tier:** 2 *(1 = remote frontier · 3 = local-runnable · 5 = NZ-resident only)*
|
| 399 |
-
- **Jurisdiction:** NZ
|
| 400 |
-
- **License:** other *(upstream weights retain upstream licence)*
|
| 401 |
-
- **Audit:** SHA-256 hash-chained ledger via SovereignCode
|
| 402 |
-
- **Routing:** Considered by MaramaRoute when matching task to model
|
| 403 |
|
| 404 |
-
|
|
|
|
| 21 |
- sovereign-ai
|
| 22 |
---
|
| 23 |
|
| 24 |
+
# Fastest — clone & run
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
+
<!-- lumynax-public-release-card:v4 -->
|
| 27 |
|
| 28 |
<p align="center">
|
| 29 |
+
<img src="docs/lumynax-release-overview.svg" alt="Fastest — clone & run release overview" width="100%" />
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 30 |
</p>
|
| 31 |
|
| 32 |
+
<p align="center">
|
| 33 |
+
<strong>LumynaX model-infusion release by AbteeX AI Labs.</strong><br/>
|
| 34 |
+
Public, non-gated package with runnable local instructions, provenance metadata, checksums, and a release manifest.
|
| 35 |
+
</p>
|
|
|
|
|
|
|
|
|
|
| 36 |
|
| 37 |
+
<p align="center">
|
| 38 |
+
<a href="#quickstart">Quickstart</a> |
|
| 39 |
+
<a href="#model-profile">Model profile</a> |
|
| 40 |
+
<a href="#runtime-files">Runtime files</a> |
|
| 41 |
+
<a href="#provenance-and-license">Provenance</a> |
|
| 42 |
+
<a href="#validation-status">Validation</a> |
|
| 43 |
+
<a href="#limitations-and-responsible-use">Limitations</a>
|
| 44 |
+
</p>
|
| 45 |
|
| 46 |
+
     
|
| 47 |
|
| 48 |
+
## Executive Summary
|
| 49 |
|
| 50 |
+
This repository is a complete LumynaX release package for `AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf`. It is intended to be downloaded as a whole repo, not as a single loose weight file: the model artifact, `quickstart.py`, `requirements.txt`, `release_export_manifest.json`, `checksums.sha256`, license notice, and optional Ollama or Space files are part of the same release contract.
|
| 51 |
|
| 52 |
+
LumynaX-infused means the upstream artifact is presented through the LumynaX release layer: local-first runtime scaffolding, LumynaX assistant identity, inference-chain metadata, public documentation, integrity files, and Aotearoa New Zealand-oriented workflow positioning. The release manifest is the source of truth for whether this package is upstream-weight packaging, a dense LumynaX release, or another release mode.
|
| 53 |
|
| 54 |
+
## AbteeX LumynaX Public Surface
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 55 |
|
| 56 |
+
This card follows the AbteeX/LumynaX public-facing system used across the release family: warm paper background visuals, black editorial typography, amber proof markers, compact evidence tables, and plain-language runtime instructions. The goal is not decoration; it is operational clarity. A downloader should immediately understand what the package is, what files belong together, what runtime path is expected, what provenance is available, and what limits still apply.
|
| 57 |
|
| 58 |
+
## Sovereignty And Run Contract
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 59 |
|
| 60 |
+
| Field | Value |
|
| 61 |
+
| --- | --- |
|
| 62 |
+
| Public surface | AbteeX/LumynaX light editorial system: warm paper, black ink, amber status markers, and evidence-first tables. |
|
| 63 |
+
| Sovereign intent | Package is documented for local-first use, explicit provenance, and controlled deployment near governed data. |
|
| 64 |
+
| Runtime residency | `llama.cpp / GGUF` runtime can be deployed by the user in their own approved environment. |
|
| 65 |
+
| Model artifact | `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00003-of-00009.gguf` must stay with manifest, checksums, quickstart, requirements, and license files. |
|
| 66 |
+
| Modalities | `text` |
|
| 67 |
+
| License discipline | `other` metadata is surfaced so downstream users can check redistribution and usage terms. |
|
| 68 |
+
| Audit expectation | Record repo id, artifact checksum, runtime command, prompt template, operator, and deployment environment for production use. |
|
| 69 |
+
| Router readiness | Compatible with the LumynaX MaramaRoute registry pattern for sovereign model selection and fallback planning. |
|
| 70 |
+
| Local serving | Preferred first path is llama.cpp or llama-cpp-python with checksum verification before launch. |
|
| 71 |
|
| 72 |
+
## Quickstart
|
| 73 |
|
| 74 |
```bash
|
| 75 |
hf download AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf --local-dir lumynax-reasoning-deepseek-prover-v2-671b-gguf
|
|
|
|
| 78 |
python quickstart.py --interactive
|
| 79 |
```
|
| 80 |
|
| 81 |
+
Direct llama.cpp smoke command:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 82 |
|
| 83 |
```bash
|
| 84 |
+
llama-cli -m "Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00003-of-00009.gguf" -p "Who are you? Answer as LumynaX in two sentences." -n 160
|
| 85 |
```
|
| 86 |
|
| 87 |
+
Ollama path:
|
| 88 |
|
| 89 |
```bash
|
| 90 |
ollama create lumynax-reasoning-deepseek-prover-v2-671b-gguf -f ollama/Modelfile
|
| 91 |
ollama run lumynax-reasoning-deepseek-prover-v2-671b-gguf
|
| 92 |
```
|
| 93 |
|
| 94 |
+
## Model Profile
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 95 |
|
| 96 |
| Field | Value |
|
| 97 |
| --- | --- |
|
| 98 |
+
| Release | `Fastest — clone & run` |
|
| 99 |
| Repository | `AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf` |
|
|
|
|
| 100 |
| Mode | `Reasoning-oriented local assistant` |
|
| 101 |
+
| Runtime | `llama.cpp / GGUF` |
|
| 102 |
+
| Prompt format | `See quickstart.py` |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 103 |
| Modalities | `text` |
|
| 104 |
+
| Primary artifact | `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00003-of-00009.gguf` |
|
| 105 |
+
| Detected weight size | `376.71 GB` |
|
| 106 |
+
| Package state | `weights_mirrored` |
|
| 107 |
+
| Delivery | `published_model_repo` |
|
| 108 |
+
| Upstream/base | `See release_export_manifest.json` |
|
| 109 |
+
| Upstream kind | `See manifest` |
|
| 110 |
+
| Source GGUF | `not applicable` |
|
| 111 |
| Quantization | `Q4_K_M GGUF (sharded)` |
|
| 112 |
+
| License metadata | `other` |
|
| 113 |
+
| Refreshed | `2026-05-11` |
|
| 114 |
|
| 115 |
+
## Runtime Path
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 116 |
|
| 117 |
+
<p align="center">
|
| 118 |
+
<img src="docs/lumynax-runtime-flow.svg" alt="Fastest — clone & run runtime flow" width="100%" />
|
| 119 |
+
</p>
|
| 120 |
|
| 121 |
+
## Capability Profile
|
| 122 |
|
| 123 |
| Field | Value |
|
| 124 |
| --- | --- |
|
| 125 |
+
| Primary fit | Use this for multi-step analysis, planning drafts, policy reasoning, and slower prompts where explanation quality matters. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 126 |
| Operational style | Local-first package with explicit files, checksums, and reproducible quickstarts. |
|
| 127 |
+
| Identity behavior | The assistant should identify as LumynaX while remaining clear about upstream provenance. |
|
| 128 |
+
| Reasoning use | Planning, stepwise analysis, policy drafts, and prompts where explanation quality matters. |
|
| 129 |
|
| 130 |
+
## Runtime Files
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 131 |
|
| 132 |
+
| Component | Status | Path |
|
| 133 |
+
| --- | --- | --- |
|
| 134 |
+
| README.md | `present` | `README.md` |
|
| 135 |
+
| Quickstart | `present` | `quickstart.py` |
|
| 136 |
+
| Requirements | `present` | `requirements.txt` |
|
| 137 |
+
| Manifest | `present` | `release_export_manifest.json` |
|
| 138 |
+
| Checksums | `present` | `checksums.sha256` |
|
| 139 |
+
| License | `present` | `LICENSE.txt` |
|
| 140 |
+
| Ollama | `present` | `ollama/Modelfile` |
|
| 141 |
+
| Space scaffold | `present` | `hf_space/app.py` |
|
| 142 |
+
| Overview visual | `present` | `docs/lumynax-release-overview.svg` |
|
| 143 |
+
| Runtime visual | `present` | `docs/lumynax-runtime-flow.svg` |
|
| 144 |
+
|
| 145 |
+
## Model Artifacts
|
| 146 |
+
|
| 147 |
+
| Artifact | Size |
|
| 148 |
+
| --- | ---: |
|
| 149 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00003-of-00009.gguf` | 46.13 GB |
|
| 150 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00002-of-00009.gguf` | 46.04 GB |
|
| 151 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00007-of-00009.gguf` | 46.04 GB |
|
| 152 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00005-of-00009.gguf` | 46.03 GB |
|
| 153 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00001-of-00009.gguf` | 45.03 GB |
|
| 154 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00004-of-00009.gguf` | 44.96 GB |
|
| 155 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00006-of-00009.gguf` | 44.96 GB |
|
| 156 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00008-of-00009.gguf` | 43.72 GB |
|
| 157 |
+
| `Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00009-of-00009.gguf` | 13.78 GB |
|
| 158 |
+
|
| 159 |
+
## Prompting Contract
|
| 160 |
+
|
| 161 |
+
The preferred first prompt is an identity and provenance check:
|
| 162 |
|
| 163 |
```text
|
| 164 |
Who are you? What files do I need to keep together to run this package locally?
|
| 165 |
```
|
| 166 |
|
| 167 |
+
Expected behavior: the assistant should identify as LumynaX, explain that this is a LumynaX model-infusion package, and keep upstream provenance visible. The default package system prompt is:
|
|
|
|
|
|
|
| 168 |
|
| 169 |
```text
|
| 170 |
+
See quickstart.py
|
| 171 |
```
|
| 172 |
|
| 173 |
+
## Validation Status
|
| 174 |
|
| 175 |
+
| Field | Value |
|
| 176 |
| --- | --- |
|
| 177 |
+
| Runtime audit | `not recorded` |
|
| 178 |
+
| Public access audit | `not recorded` |
|
| 179 |
+
| Anonymous metadata access | `False` |
|
| 180 |
+
| Anonymous file listing | `False` |
|
| 181 |
+
| Quickstart syntax | `not recorded` |
|
| 182 |
+
| Manifest references | `pass` |
|
| 183 |
+
| Checksum references | `pass` |
|
| 184 |
|
| 185 |
+
The audit confirms public access, required release files, manifest references, checksum references, weight artifact presence, and quickstart syntax. It does not guarantee that every laptop has enough RAM or VRAM for the largest packages.
|
| 186 |
|
| 187 |
+
## Integrity Checks
|
| 188 |
|
| 189 |
+
After download, compare the model artifact against `checksums.sha256`.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 190 |
|
| 191 |
+
```bash
|
| 192 |
+
sha256sum "Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00003-of-00009.gguf"
|
| 193 |
+
cat checksums.sha256
|
| 194 |
+
```
|
| 195 |
|
| 196 |
+
On Windows PowerShell:
|
| 197 |
|
| 198 |
+
```powershell
|
| 199 |
+
Get-FileHash -Algorithm SHA256 "Q4_K_M/DeepSeek-Prover-V2-671B-Q4_K_M-00003-of-00009.gguf"
|
| 200 |
+
Get-Content checksums.sha256
|
| 201 |
+
```
|
|
|
|
|
|
|
| 202 |
|
| 203 |
+
## Provenance And License
|
| 204 |
|
| 205 |
+
- Publisher: AbteeX AI Labs.
|
| 206 |
+
- Family: LumynaX model and inference-chain release family.
|
| 207 |
+
- Upstream/base: `See release_export_manifest.json`.
|
| 208 |
+
- Source GGUF: `not applicable`.
|
| 209 |
+
- License metadata: `other`.
|
| 210 |
+
- License link: `LICENSE.txt` and upstream model card.
|
| 211 |
|
| 212 |
+
Respect the upstream model license and keep attribution files with redistributed copies. Do not present this package as privately trained or weight-merged unless the release manifest explicitly says that weight adaptation was applied.
|
| 213 |
|
| 214 |
+
## Limitations And Responsible Use
|
| 215 |
|
| 216 |
+
- Outputs can be incorrect, incomplete, or biased; validate important answers before use.
|
| 217 |
+
- Larger GGUF, MoE, multimodal, and frontier packages may require substantial RAM, VRAM, disk space, and recent runtime builds.
|
| 218 |
+
- For high-impact decisions, use human review and domain-specific evaluation.
|
| 219 |
+
- For sensitive data, prefer local execution and keep operational logs under your own governance policy.
|
| 220 |
+
- This card documents package readiness and access; it is not a benchmark claim.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 221 |
|
| 222 |
+
## Automation Notes
|
| 223 |
|
| 224 |
Automation should read these files before launching:
|
| 225 |
|
|
|
|
| 229 |
- `requirements.txt`
|
| 230 |
- `ollama/Modelfile` when present
|
| 231 |
|
| 232 |
+
## Related LumynaX Demo
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 233 |
|
| 234 |
+
Try the public browser demo:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 235 |
|
| 236 |
+
- https://huggingface.co/spaces/AbteeXAILab/lumynax-live-demo
|
checksums.sha256
CHANGED
|
@@ -1,6 +1,9 @@
|
|
| 1 |
-
601956b52f7e59484c150ec4b1e9b1186adc331bf92c4a7127834ba2ff70a968 LICENSE.txt
|
| 2 |
-
d0b4f9120ba026c00fa23cb84b4e1620a2e6436592e58155a5151653179572c0 VERSION.txt
|
| 3 |
-
638d4d5bc38a95f37a620f5b53f093be3d712cbcee70ee8080206983c8a55cf7 ollama/Modelfile
|
| 4 |
-
72551608f384dc6f9f00a99044ba37003ea65392b6a9dd6c3bb546d8cabb2c43 quickstart.py
|
| 5 |
-
c7b622002047c0e145bd52317fa1f7915299ec4fe7642969bccbe405ccd3510f release_export_manifest.json
|
| 6 |
-
44fc2c3474d1cc9ef66f42dfc3fcc4aa571eae4bf7720fae3569a7451f7e4a3f requirements.txt
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
601956b52f7e59484c150ec4b1e9b1186adc331bf92c4a7127834ba2ff70a968 LICENSE.txt
|
| 2 |
+
d0b4f9120ba026c00fa23cb84b4e1620a2e6436592e58155a5151653179572c0 VERSION.txt
|
| 3 |
+
638d4d5bc38a95f37a620f5b53f093be3d712cbcee70ee8080206983c8a55cf7 ollama/Modelfile
|
| 4 |
+
72551608f384dc6f9f00a99044ba37003ea65392b6a9dd6c3bb546d8cabb2c43 quickstart.py
|
| 5 |
+
c7b622002047c0e145bd52317fa1f7915299ec4fe7642969bccbe405ccd3510f release_export_manifest.json
|
| 6 |
+
44fc2c3474d1cc9ef66f42dfc3fcc4aa571eae4bf7720fae3569a7451f7e4a3f requirements.txt
|
| 7 |
+
9f18c63e73ff4f842a046b299bc9c4144845dc76634efa68834b5b82aec2554f README.md
|
| 8 |
+
2b3dc7514206b2a77bb8db336a6a4efbaf5322860f2b74034e69b5edba514052 docs/lumynax-release-overview.svg
|
| 9 |
+
f84ac44a11e07ab343c65f547ef29b347390273dc79ae8543e8855dc51031cb5 docs/lumynax-runtime-flow.svg
|
docs/lumynax-release-overview.svg
ADDED
|
|
docs/lumynax-runtime-flow.svg
CHANGED
|
|
|
|