Hugging Face's logo

Spaces:
Snapkitty
/
README
Running

App Files Community
1

Agent pull

#1
by SNAPKITTYWEST - opened
base: refs/heads/main
←
from: refs/pr/1
Discussion Files changed
+131
-127
Files changed (1) hide show
  1. README.md +131 -127
README.md CHANGED
@@ -1,127 +1,131 @@
1
- ---
2
- title: Snapkitty
3
- emoji: "🐈"
4
- colorFrom: purple
5
- colorTo: gray
6
- sdk: static
7
- pinned: true
8
- ---
9
-
10
- # SnapKitty West
11
-
12
- **Sovereign AI Research Organization**
13
-
14
- Evidence or Silence. Nothing ships without proof.
15
-
16
- ---
17
-
18
- ## Organization Overview
19
-
20
- | Metric | Count |
21
- |--------|-------|
22
- | Models and Repositories | 143+ |
23
- | Datasets | 11 |
24
- | Research Papers | 11 (8 Zenodo + 3 LaTeX) |
25
- | Languages | 20+ |
26
- | Collections | 12 |
27
-
28
- ---
29
-
30
- ## Collections
31
-
32
- ### Sovereign Models and GGUFs
33
- Production model architectures: BURT-IMMA (MMEP/CIFG), Nemotron adapters, Mamba SSM, sovereign routers.
34
- [Browse Collection](https://huggingface.co/collections/Snapkitty/sovereign-models-and-ggufs-6a9952c8b283fa688869e335)
35
-
36
- ### Agent Systems and Orchestration
37
- BOB orchestrator, BERT agent, carry-agent, cartographer, holy-agents, sovereign chat. WORM-sealed agent pipelines.
38
- [Browse Collection](https://huggingface.co/collections/Snapkitty/agent-systems-and-orchestration-6a9952cae02fa7c49a27791b)
39
-
40
- ### Formal Verification and Proofs
41
- Lean 4, Agda, Coq, Prolog, Why3. Zero-sorry proofs, Jacobian formalization, sovereign kernel monster, entropy bounds.
42
- [Browse Collection](https://huggingface.co/collections/Snapkitty/formal-verification-and-proofs-6a9952ccc8e3b48f77e7c600)
43
-
44
- ### Quantum Computing
45
- Topological quantum computer, quantum walks, P3Q classical-quantum interface, TLM gate-level VHDL, black-hole entropy spirals, JXCL ISA.
46
- [Browse Collection](https://huggingface.co/collections/Snapkitty/quantum-computing-6aa040a3d805355e8816dc7a)
47
-
48
- ### GPU Kernels and Hardware
49
- CUDA sm_86 kernels (RTX 3080), Hilbert curve memory, sovereign AGC, Apollo guidance, Ada RTX, NVIDIA stack.
50
- [Browse Collection](https://huggingface.co/collections/Snapkitty/gpu-kernels-and-hardware-6a9952cec4e9e19104fdcce3)
51
-
52
- ### Compilers and Runtimes
53
- Sovereign compiler, XML compiler, ASOS syscall OS, Apple II universal machine, virtual PE machine, SnapKitty MLC (C autograd).
54
- [Browse Collection](https://huggingface.co/collections/Snapkitty/compilers-and-runtimes-6aa040a48526ab3f7abe8ad9)
55
-
56
- ### Security and Cryptography
57
- AES verification, attestation protocols, JWT policy, PAX-Coder, integrity constraints, WozVault, WORM sealing.
58
- [Browse Collection](https://huggingface.co/collections/Snapkitty/security-and-cryptography-6aa040a42617594dbb79fdf5)
59
-
60
- ### Research and Papers
61
- 11 papers: PIRTM, octonions, Coxeter/Weyl, PH-DAE, GDR-9, LiquidOps, Sovereign Entropy, Forge Tournament. 8 on Zenodo, 3 in-repo LaTeX.
62
- [Browse Collection](https://huggingface.co/collections/Snapkitty/research-and-papers-6a9952d17f3b200ae592be65)
63
-
64
- ### Training Frameworks and Tooling
65
- Summon, PocketLearn, sovereign harness, SnapKitty harness, training corpus, WORM chain archive.
66
- [Browse Collection](https://huggingface.co/collections/Snapkitty/training-frameworks-and-tooling-6a9952cf2c909d93b48d357c)
67
-
68
- ### Financial and Enterprise
69
- DevFlow Finance (IBM i BaaS ledger), market-scope, sovereign engine v2, forge-code, mantra.
70
- [Browse Collection](https://huggingface.co/collections/Snapkitty/financial-and-enterprise-6aa040a465c2637568a2e63c)
71
-
72
- ### Infrastructure and Tools
73
- Sovereign IDE, MCP servers (snapkitty-mcp, ortho32-mcp), git-command-center, KittyBrowse, HyperKitty Chromium.
74
- [Browse Collection](https://huggingface.co/collections/Snapkitty/infrastructure-and-tools-6aa040a4aa24edfc3c7d9af6)
75
-
76
- ### Community and Culture
77
- TempleOS Oracle, algorithmic art, open-source governance, Saint Errant digital society, sovereign band.
78
- [Browse Collection](https://huggingface.co/collections/Snapkitty/community-and-culture-6aa040a488efa8e056fc4695)
79
-
80
- ---
81
-
82
- ## Key Models
83
-
84
- | Model | Architecture | Status |
85
- |-------|-------------|--------|
86
- | [burt-imma](https://huggingface.co/Snapkitty/burt-imma) | 13-layer MMEP (no backprop), CIFG matrix memory, entropy router | Architecture released |
87
- | [sovereign-memory-twin](https://huggingface.co/Snapkitty/sovereign-memory-twin) | RMTN: Evidence/Silence verdicts, WORM-sealed, IBM i bridge | Architecture released |
88
- | [sovereign-mimo-4b](https://huggingface.co/Snapkitty/sovereign-mimo-4b) | 4B parameter sovereign MIMO | Architecture released |
89
- | [snapkitty-nemotron](https://huggingface.co/Snapkitty/snapkitty-nemotron) | Nemotron Mini 4B QLoRA adapter | Architecture released |
90
- | [bob-reasoning](https://huggingface.co/Snapkitty/bob-reasoning) | BOB reasoning engine | Architecture released |
91
-
92
- ## Key Datasets
93
-
94
- | Dataset | Description |
95
- |---------|-------------|
96
- | [sovereign-training-corpus](https://huggingface.co/datasets/Snapkitty/sovereign-training-corpus) | Curated knowledge corpus, WORM-sealed, formally verified |
97
- | [devflow-finance-twin](https://huggingface.co/datasets/Snapkitty/devflow-finance-twin) | IBM i BaaS ledger: DB2/RPGLE/COBOL/C# |
98
- | [sovereign-papers](https://huggingface.co/datasets/Snapkitty/sovereign-papers) | Research paper archive |
99
- | [forge-tournament-paper](https://huggingface.co/datasets/Snapkitty/forge-tournament-paper) | Forge Tournament: From Sacred Geometry to Silicon |
100
-
101
- ---
102
-
103
- ## Papers (11 Total)
104
-
105
- ### In-Repo LaTeX (3)
106
-
107
- | Paper | Venue Target | Subject |
108
- |-------|-------------|---------|
109
- | GDR-9 | SC / MLSys | Nine-ISA formally verified kernel stack |
110
- | LiquidOps | PLDI / ICFP | NAND-canonical verified compiler |
111
- | Sovereign Entropy | FM / CAV | 0.20-nat entropy bound proof |
112
-
113
- ### Zenodo Published (8)
114
-
115
- PIRTM, Octonions, Coxeter/Weyl, PH-DAE, EmojiScript, Goldilocks, Resonance Disclosure, DMZ F2 Decomposition.
116
-
117
- DOIs in [sovereign-engine-v2](https://huggingface.co/Snapkitty/sovereign-engine-v2) README.
118
-
119
- ---
120
-
121
- ## License
122
-
123
- All repositories: **BSL-1.1 / AGPL-3.0 / MPL-2.0** (trilicense)
124
-
125
- ---
126
-
127
- SnapKitty West / SNAPKITTYWEST | Evidence or Silence | 2026
 
 
 
 
 
1
+ ---
2
+ title: SnapKitty
3
+ emoji: ⚑
4
+ colorFrom: green
5
+ colorTo: purple
6
+ sdk: static
7
+ pinned: true
8
+ license: other
9
+ ---
10
+
11
+ # SnapKitty
12
+
13
+ **Sovereign AI infrastructure. Formally verified. Entropy-bounded. WORM-sealed.**
14
+
15
+ Built by Jessica Westerhoff & Ahmad Ali Parr β€” SNAPKITTYWEST
16
+
17
+ ---
18
+
19
+ ## Star Models
20
+
21
+ ### NULL β€” Execution Agent
22
+
23
+ > Fast code generation and execution. Routes from TORUS.
24
+
25
+ | | |
26
+ |---|---|
27
+ | **Base** | snapkitty-mistral (Mistral 8B) |
28
+ | **Role** | Code generation, fast execution, direct output |
29
+ | **Temp** | 0.1 Β· top_k 40 Β· ctx 8192 |
30
+ | **Entropy** | H ≀ 0.20 enforced |
31
+
32
+ ```bash
33
+ ollama run jessicalw34/NULL
34
+ ```
35
+
36
+ [View on HuggingFace](https://huggingface.co/Snapkitty/NULL) Β· [View on Ollama](https://ollama.com/jessicalw34/NULL)
37
+
38
+ ---
39
+
40
+ ### HILBERT β€” Research & Proof Agent
41
+
42
+ > Formal verification, Lean 4, ISA design, deep reasoning. Named for David Hilbert.
43
+
44
+ | | |
45
+ |---|---|
46
+ | **Base** | snapkitty-nemotron (Nemotron Mini) |
47
+ | **Role** | Math, proofs, Lean 4, hardware design |
48
+ | **Temp** | 0.0 Β· top_k 20 Β· ctx 8192 |
49
+ | **Entropy** | H ≀ 0.20 enforced |
50
+
51
+ ```bash
52
+ ollama run jessicalw34/HILBERT
53
+ ```
54
+
55
+ [View on HuggingFace](https://huggingface.co/Snapkitty/HILBERT) Β· [View on Ollama](https://ollama.com/jessicalw34/HILBERT)
56
+
57
+ ---
58
+
59
+ ### TORUS β€” Orchestrator Agent
60
+
61
+ > Routes requests to NULL or HILBERT. BURT-IMMA encoded input. ICP-DAG governed.
62
+
63
+ | | |
64
+ |---|---|
65
+ | **Base** | snapkitty-mistral (Mistral 8B) |
66
+ | **Role** | Orchestration, routing decisions |
67
+ | **Temp** | 0.1 Β· top_k 30 Β· ctx 8192 |
68
+ | **Entropy** | H ≀ 0.20 enforced |
69
+
70
+ ```bash
71
+ ollama run jessicalw34/TORUS
72
+ ```
73
+
74
+ [View on HuggingFace](https://huggingface.co/Snapkitty/TORUS) Β· [View on Ollama](https://ollama.com/jessicalw34/TORUS)
75
+
76
+ ---
77
+
78
+ ## Routing Architecture
79
+
80
+ ```
81
+ Input
82
+ ↓
83
+ BURT-IMMA BiEncoder
84
+ ↓
85
+ TORUS β€” orchestrates, routes
86
+ ↓
87
+ NULL (fast execution) HILBERT (math/proofs)
88
+ ↓ ↓
89
+ β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”¬β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜
90
+ ↓
91
+ QUANTUMAP hallucination gate
92
+ ↓
93
+ WORM seal (SHA-256 append-only)
94
+ ↓
95
+ Output
96
+ ```
97
+
98
+ ---
99
+
100
+ ## Base Models
101
+
102
+ | Model | Size | Use |
103
+ |-------|------|-----|
104
+ | [snapkitty-mistral](https://huggingface.co/Snapkitty/snapkitty-mistral) | 2.7 GB | NULL + TORUS base |
105
+ | [snapkitty-nemotron](https://huggingface.co/Snapkitty/snapkitty-nemotron) | 2.7 GB | HILBERT base |
106
+
107
+ ---
108
+
109
+ ## Formal Verification
110
+
111
+ Every model in this stack is governed by formally proved invariants:
112
+
113
+ - **Sovereign Entropy Theorem** β€” F β‰₯ 1 β†’ T ≀ 0.2218 β†’ H < 0.20 nats (Lean 4, 0 sorry)
114
+ - **Jordan Fixed-Point** β€” T(ρ) = φ⁻¹·U·ρ·U† + φ⁻²·ρ β†’ [U, ρ*] = 0 (Lean 4, 0 sorry)
115
+ - **ICP-DAG** β€” EVIDENCE β†’ CLAIM β†’ PROOF β†’ DECISION β†’ EXECUTION (MUMPS + ASP, 10 invariants)
116
+
117
+ ---
118
+
119
+ ## Research
120
+
121
+ - [snapkitty-open-source](https://huggingface.co/Snapkitty/snapkitty-open-source) β€” Architecture synthesis: SUBLEQ attention, Resonance Words, ICP-DAG, XML meta-programming
122
+ - [sovereign-entropy-theorem](https://huggingface.co/Snapkitty/sovereign-entropy-theorem) β€” EntropyGovernor LogitsProcessor (`pip install snapkitty-entropy[hf]`)
123
+ - [snapkitty-algo-art](https://huggingface.co/Snapkitty/snapkitty-algo-art) β€” Algorithmic art from actual computation
124
+
125
+ ---
126
+
127
+ ## GitHub
128
+
129
+ [SNAPKITTYWEST](https://github.com/SNAPKITTYWEST) β€” 717K+ LoC, 20+ languages, 4,600+ files
130
+
131
+ BSL-1.1 / AGPL-3.0 / Apache-2.0 Β· Patent Pending β€” Bel Esprit D'Accord Irrevocable Trust EIN 42-697643