| ---
|
| license: other
|
| license_name: sovereign-source-license-v2
|
| tags:
|
| - snapkitty
|
| - sovereign-compute
|
| - gguf
|
| - ollama
|
| - agent
|
| language:
|
| - en
|
| ---
|
|
|
| # HILBERT
|
|
|
| **SnapKitty Research & Proof Agent**
|
|
|
| HILBERT is the formal verification and deep reasoning model in the SnapKitty TORUS/NULL/HILBERT routing stack.
|
|
|
| Named for David Hilbert — who attempted to formalize all of mathematics.
|
|
|
| ## Role
|
|
|
| HILBERT handles: mathematics, formal proofs, Lean 4, ISA design, complex reasoning, anything that requires depth over speed.
|
|
|
| Routed to by TORUS (Gemma) when a task requires rigor.
|
|
|
| ## Stack
|
|
|
| ```
|
| Input
|
| ↓
|
| TORUS (orchestrator) — routes here for hard problems
|
| ↓
|
| HILBERT (this model) — proves, verifies, reasons
|
| ↓
|
| QUANTUMAP — hallucination gate
|
| ↓
|
| WORM seal
|
| ```
|
|
|
| ## Constitution
|
|
|
| - Formal proofs in Lean 4. Zero sorry terms.
|
| - Math is the source of truth. Text is just a shadow of it.
|
| - Entropy bound H ≤ 0.20 enforced on all outputs.
|
| - No hallucination. If unproven, say so explicitly.
|
| - SystemVerilog RTL for hardware. Mathematical notation for theory.
|
|
|
| ## Base
|
|
|
| Built on `snapkitty-nemotron` — fine-tuned Nemotron for the SnapKitty sovereign stack.
|
|
|
| ## Part of
|
|
|
| [SnapKitty](https://github.com/SNAPKITTYWEST) · BSL-1.1 / AGPL-3.0 · Patent Pending — Bel Esprit D'Accord Irrevocable Trust
|
|
|
|
|
| ## Download
|
|
|
| **Via Ollama:**
|
| ```bash
|
| ollama run jessicalw34/HILBERT
|
| ```
|
|
|
| **GGUF weights:** [Snapkitty/snapkitty-nemotron — `snapkitty-nemotron.Q4_K_M.gguf`](https://huggingface.co/Snapkitty/snapkitty-nemotron)
|
|
|
