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
+378
-394
Files changed (4) hide show
  1. README.md +90 -65
  2. hub.html +0 -172
  3. index.html +288 -0
  4. style.css +0 -157
README.md CHANGED
@@ -1,106 +1,131 @@
1
  ---
2
- title: Snapkitty
3
- emoji: 🐈
4
- colorFrom: purple
5
- colorTo: indigo
6
  sdk: static
7
- app_file: hub.html
8
  pinned: true
9
- short_description: Deterministic systems, verified end to end
10
  ---
11
 
12
- # 🐈 SnapKitty
13
 
14
- **Deterministic systems, verified end to end.**
15
- Alternative attention · SUBLEQ · integer computing · formal proofs · the hardware to run them.
16
 
17
- `155 models` · `12 datasets` · `12 spaces` · `20+ languages`
18
-
19
- **Upstream contributors to [Agda](https://github.com/agda/agda)** (dependently typed proof assistant) **and [LiquidHaskell](https://github.com/ucsd-progsys/liquidhaskell)** (refinement types for Haskell, from the UC San Diego Programming Systems group).
20
 
21
  ---
22
 
23
- ## 🆕 Latest drop · October 2026
 
 
 
 
24
 
25
- | Repository | What it is |
26
  |---|---|
27
- | [tlm-jxcl-forge](https://huggingface.co/Snapkitty/tlm-jxcl-forge) | TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges. |
28
- | [flash-attention-rtl](https://huggingface.co/Snapkitty/flash-attention-rtl) | FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain. |
29
- | [bit-string-accelerator](https://huggingface.co/Snapkitty/bit-string-accelerator) | Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready. |
30
- | [rust-opencl-gpu](https://huggingface.co/Snapkitty/rust-opencl-gpu) | Composable Boolean GPU kernels in Rust over OpenCL. |
31
- | [ai-free](https://huggingface.co/Snapkitty/ai-free) | UniversalWord: Forth, BCPL and Wolfram front ends into one machine-word IR, with a Lean proof for every stage. |
32
- | [assertica](https://huggingface.co/Snapkitty/assertica) | Deterministic proof-language compiler in Haskell with 768+ tests. |
33
- | [phaser-ags](https://huggingface.co/Snapkitty/phaser-ags) | Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell. |
34
- | [sealforge](https://huggingface.co/Snapkitty/sealforge) | NOVA build and seal pipeline, plus the Sovereign 24 ASCII-art collection. |
35
- | [forge-token](https://huggingface.co/Snapkitty/forge-token) | FORGE (FRG) utility token and FORGEART on-chain generative ASCII ERC-721. |
36
-
37
- [View the whole drop →](https://huggingface.co/models?other=october-2026-drop&author=Snapkitty)
38
 
39
  ---
40
 
41
- ## 🔬 New for researchers
 
 
42
 
43
- | Release | What it is |
44
  |---|---|
45
- | [hilbert-4b-baseline-GGUF](https://huggingface.co/Snapkitty/hilbert-4b-baseline-GGUF) | Hilbert's 4B baseline decision model as Q8_0 / Q4_K_M GGUF. **Q8_0 matches BF16 on 99.3% of decisions**, with [row-level evidence](https://github.com/SNAPKITTYAGENT9NOVA/SemIf-OpenJev/tree/master/results/gguf) |
46
- | [toolgate-bench](https://huggingface.co/datasets/Snapkitty/toolgate-bench) | Benchmark for tool-call gating in LLM agents (accept / require approval / reject), with a frozen held-out split |
47
- | [snapkitty-nemotron-harness v0.3.0](https://huggingface.co/Snapkitty/snapkitty-nemotron-harness) | Fail-closed tool gate for local agents: **0% unsafe passes** on ToolGate-Bench v1, ~24 µs per decision |
48
- | [symbolic-morphology](https://huggingface.co/Snapkitty/symbolic-morphology) | Learns Latin verb morphology from raw letters with hand-derived gradients and **no ML framework**, in six implementations benchmarked across 9 runtimes, down to NAND gates. **Accuracy and loss independently reproduced** ([details](https://huggingface.co/Snapkitty/symbolic-morphology/blob/main/VERIFICATION.md)) |
 
 
 
 
 
 
49
 
50
  ---
51
 
52
- ## 🦙 Run locally · GGUF
53
 
54
- **[snapkitty-merged](https://huggingface.co/Snapkitty/snapkitty-merged)**: our merged Nemotron 4.2B as a 2.7 GB Q4_K_M GGUF, 4,096-token context. Full specs, SHA-256 and BibTeX on the card.
 
 
 
 
 
 
 
55
 
56
  ```bash
57
- ollama run hf.co/Snapkitty/snapkitty-merged:Q4_K_M
58
  ```
59
 
60
- [All SnapKitty GGUF models →](https://huggingface.co/models?library=gguf&author=Snapkitty)
61
 
62
  ---
63
 
64
- ## 🧭 Explore
65
-
66
- | Collection | Focus | Repos |
67
- |---|---|---:|
68
- | 🧠 [Models and Training](https://huggingface.co/spaces/Snapkitty/models-and-training) | Language models, checkpoints and training stacks | 18 |
69
- | 🤖 [Agents and Orchestration](https://huggingface.co/spaces/Snapkitty/agents-and-orchestration) | Multi-agent systems and orchestration engines | 26 |
70
- | ✅ [Formal Verification](https://huggingface.co/spaces/Snapkitty/formal-verification) | Lean 4, Agda and cross-language proofs | 19 |
71
- | ⚡ [GPU Kernels and Hardware](https://huggingface.co/spaces/Snapkitty/gpu-kernels) | CUDA kernels, RTL accelerators and embedded OS | 16 |
72
- | 🔬 [Quantum Computing and Physics](https://huggingface.co/spaces/Snapkitty/quantum-computing) | Quantum walks, TLM/JXCL and physics engines | 13 |
73
- | ⚙️ [Compilers and Runtimes](https://huggingface.co/spaces/Snapkitty/compilers-and-runtimes) | Compilers, VMs, emulators and languages | 17 |
74
- | 🔒 [Security and Cryptography](https://huggingface.co/spaces/Snapkitty/security-and-cryptography) | Attestation, WORM audit chains, policy engines | 13 |
75
- | 🔧 [Infrastructure and Tools](https://huggingface.co/spaces/Snapkitty/infrastructure-and-tools) | MCP servers, IDEs, browsers and dev tools | 23 |
76
- | 📚 [Research and Papers](https://huggingface.co/spaces/Snapkitty/research-and-papers) | Papers, tournament results and open scholarship | 12 |
77
- | 🏰 [Community and Culture](https://huggingface.co/spaces/Snapkitty/community) | Saint Errant Digital Society, art and culture | 9 |
78
 
79
- ---
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
80
 
81
- ## ⭐ Featured
82
 
83
- - 🧠 **[burt-imma](https://huggingface.co/Snapkitty/burt-imma)**: 13-layer Matrix-Memory Equilibrium Propagation with CIFG matrix memory
84
- - 🧬 **[sovereign-memory-twin](https://huggingface.co/Snapkitty/sovereign-memory-twin)**: Recurrent Memory Twin Network with Evidence/Silence verdicts
85
- - 📚 **[sovereign-training-corpus](https://huggingface.co/datasets/Snapkitty/sovereign-training-corpus)**: curated, WORM-sealed training corpus
86
- - 🏆 **[forge-tournament-paper](https://huggingface.co/datasets/Snapkitty/forge-tournament-paper)**: Forge Tournament, from sacred geometry to silicon
87
 
88
- ---|---|
89
- | 🧠 [burt-imma](https://huggingface.co/Snapkitty/burt-imma) | 13-layer Matrix-Memory Equilibrium Propagation with CIFG matrix memory |
90
- | 🧬 [sovereign-memory-twin](https://huggingface.co/Snapkitty/sovereign-memory-twin) | Recurrent Memory Twin Network with Evidence/Silence verdicts |
91
- | 📚 [sovereign-training-corpus](https://huggingface.co/datasets/Snapkitty/sovereign-training-corpus) | Curated, WORM-sealed training corpus |
92
- | 🏆 [forge-tournament-paper](https://huggingface.co/datasets/Snapkitty/forge-tournament-paper) | Forge Tournament: from sacred geometry to silicon |
93
 
94
  ---
95
 
96
- ## 💼 License
97
 
98
- SnapKitty code is open source, primarily under **AGPL-3.0**; every repository states its exact license in its card and LICENSE file.
99
 
100
- Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations.
 
 
101
 
102
- **[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license)** · A.parr@belespritdaccord.uk
 
 
 
 
 
 
103
 
104
  ---
105
 
106
- <sub>Snapkitty Collective LLC · 2026</sub>
 
 
 
 
 
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
hub.html DELETED
@@ -1,172 +0,0 @@
1
- <!doctype html>
2
- <html lang="en">
3
- <head>
4
- <meta charset="utf-8">
5
- <meta name="viewport" content="width=device-width, initial-scale=1">
6
- <title>SnapKitty</title>
7
- <meta name="description" content="Deterministic AI, formal verification, GPU kernels and integer computing from Snapkitty Collective LLC.">
8
- <link rel="preconnect" href="https://fonts.googleapis.com"><link rel="preconnect" href="https://fonts.gstatic.com" crossorigin><link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@500&display=swap" rel="stylesheet">
9
- <link rel="stylesheet" href="style.css">
10
- </head>
11
- <body>
12
- <header class="topbar"><a class="brand" href="https://huggingface.co/Snapkitty">🐈 SnapKitty</a><a class="back" href="https://huggingface.co/Snapkitty">Hugging Face profile</a></header>
13
- <main class="wrap">
14
- <section class="hero hero-hub">
15
- <div class="eyebrow">Snapkitty Collective LLC</div>
16
- <h1>Deterministic systems, verified end to end.</h1>
17
- <p class="lede">Alternative attention, SUBLEQ, integer computing, formal proofs and the hardware to run them, built in the open.</p>
18
- <div class="stats">
19
- <div><b>155</b><span>models</span></div>
20
- <div><b>12</b><span>datasets</span></div>
21
- <div><b>12</b><span>spaces</span></div>
22
- <div><b>20+</b><span>languages</span></div>
23
- </div>
24
- </section>
25
- <section>
26
- <div class="section-head"><h2>Upstream open-source contributions</h2></div>
27
- <div class="tiles">
28
- <a class="tile" href="https://github.com/agda/agda"><span class="tile-emoji">λ</span><span class="tile-title">Agda</span><span class="tile-sub">Dependently typed programming language and proof assistant</span><span class="tile-count">Contributors</span></a>
29
- <a class="tile" href="https://github.com/ucsd-progsys/liquidhaskell"><span class="tile-emoji">💧</span><span class="tile-title">LiquidHaskell</span><span class="tile-sub">Refinement types for Haskell, developed by the UC San Diego Programming Systems group</span><span class="tile-count">Contributors</span></a>
30
- </div>
31
- </section>
32
- <section>
33
- <div class="section-head"><h2>Latest drop · October 2026</h2><a class="link" href="https://huggingface.co/models?other=october-2026-drop&amp;author=Snapkitty">View all</a></div>
34
- <div class="grid">
35
- <article class="card" data-kind="model" data-new="true" data-search="tlm-jxcl-forge tlm/jxcl twin: a 100+ crate rust workspace with alloy and lean 4 verification forges. rust lean4 alloy model agpl-3.0">
36
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
37
- <h3><a href="https://huggingface.co/Snapkitty/tlm-jxcl-forge">tlm-jxcl-forge</a></h3>
38
- <p>TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges.</p>
39
- <div class="card-foot"><div class="tags"><span class="tag">rust</span><span class="tag">lean4</span><span class="tag">alloy</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/tlm-jxcl-forge">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/tlm-jxcl-forge">GitHub</a></div></div>
40
- </article>
41
- <article class="card" data-kind="model" data-new="true" data-search="flash-attention-rtl flashattention systolic-array rtl with a subleq / phi-born deterministic attention toolchain. systemverilog nim python model gpl-3.0">
42
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">GPL-3.0</span></div>
43
- <h3><a href="https://huggingface.co/Snapkitty/flash-attention-rtl">flash-attention-rtl</a></h3>
44
- <p>FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain.</p>
45
- <div class="card-foot"><div class="tags"><span class="tag">systemverilog</span><span class="tag">nim</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/flash-attention-rtl">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/flash-attention-rtl">GitHub</a></div></div>
46
- </article>
47
- <article class="card" data-kind="model" data-new="true" data-search="bit-string-accelerator synthesizable systemverilog accelerator for deterministic 64-bit-word bit addressing, fpga and asic ready. systemverilog model epl-2.0">
48
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">epl-2.0</span></div>
49
- <h3><a href="https://huggingface.co/Snapkitty/bit-string-accelerator">bit-string-accelerator</a></h3>
50
- <p>Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready.</p>
51
- <div class="card-foot"><div class="tags"><span class="tag">systemverilog</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/bit-string-accelerator">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/bit-string-accelerator">GitHub</a></div></div>
52
- </article>
53
- <article class="card" data-kind="model" data-new="true" data-search="rust-opencl-gpu composable boolean gpu kernels in rust over opencl. rust opencl model snapkitty hw">
54
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">SnapKitty HW</span></div>
55
- <h3><a href="https://huggingface.co/Snapkitty/rust-opencl-gpu">rust-opencl-gpu</a></h3>
56
- <p>Composable Boolean GPU kernels in Rust over OpenCL.</p>
57
- <div class="card-foot"><div class="tags"><span class="tag">rust</span><span class="tag">opencl</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/rust-opencl-gpu">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/rust-opencl-gpu">GitHub</a></div></div>
58
- </article>
59
- <article class="card" data-kind="model" data-new="true" data-search="ai-free universalword: forth, bcpl and wolfram front ends into one machine-word ir, with a lean proof for every stage. lean4 forth bcpl model parr source">
60
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">Parr Source</span></div>
61
- <h3><a href="https://huggingface.co/Snapkitty/ai-free">ai-free</a></h3>
62
- <p>UniversalWord: Forth, BCPL and Wolfram front ends into one machine-word IR, with a Lean proof for every stage.</p>
63
- <div class="card-foot"><div class="tags"><span class="tag">lean4</span><span class="tag">forth</span><span class="tag">bcpl</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/ai-free">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/ai-free">GitHub</a></div></div>
64
- </article>
65
- <article class="card" data-kind="model" data-new="true" data-search="assertica deterministic proof-language compiler in haskell with 768+ tests. haskell model bsl-1.0">
66
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">BSL-1.0</span></div>
67
- <h3><a href="https://huggingface.co/Snapkitty/assertica">assertica</a></h3>
68
- <p>Deterministic proof-language compiler in Haskell with 768+ tests.</p>
69
- <div class="card-foot"><div class="tags"><span class="tag">haskell</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/assertica">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/assertica">GitHub</a></div></div>
70
- </article>
71
- <article class="card" data-kind="model" data-new="true" data-search="phaser-ags hardware operating system for risc-v rv32im and arm cortex-a8: bootloader, kernel, drivers and shell. zig assembly chisel model agpl-3.0">
72
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
73
- <h3><a href="https://huggingface.co/Snapkitty/phaser-ags">phaser-ags</a></h3>
74
- <p>Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell.</p>
75
- <div class="card-foot"><div class="tags"><span class="tag">zig</span><span class="tag">assembly</span><span class="tag">chisel</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/phaser-ags">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/phaser-ags">GitHub</a></div></div>
76
- </article>
77
- <article class="card" data-kind="model" data-new="true" data-search="sealforge nova build and seal pipeline, plus the sovereign 24 ascii-art collection. typescript model agpl-3.0">
78
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
79
- <h3><a href="https://huggingface.co/Snapkitty/sealforge">sealforge</a></h3>
80
- <p>NOVA build and seal pipeline, plus the Sovereign 24 ASCII-art collection.</p>
81
- <div class="card-foot"><div class="tags"><span class="tag">typescript</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sealforge">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/sealforge">GitHub</a></div></div>
82
- </article>
83
- <article class="card" data-kind="model" data-new="true" data-search="forge-token forge (frg) utility token and forgeart on-chain generative ascii erc-721. solidity model agpl-3.0">
84
- <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
85
- <h3><a href="https://huggingface.co/Snapkitty/forge-token">forge-token</a></h3>
86
- <p>FORGE (FRG) utility token and FORGEART on-chain generative ASCII ERC-721.</p>
87
- <div class="card-foot"><div class="tags"><span class="tag">solidity</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/forge-token">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/forge-token">GitHub</a></div></div>
88
- </article>
89
- </div>
90
- </section>
91
- <section>
92
- <div class="section-head"><h2>New for researchers</h2></div>
93
- <div class="grid">
94
- <article class="card"><div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">Apache-2.0</span></div>
95
- <h3><a href="https://huggingface.co/Snapkitty/hilbert-4b-baseline-GGUF">hilbert-4b-baseline-GGUF</a></h3>
96
- <p>Hilbert's 4B baseline decision model as Q8_0 and Q4_K_M GGUF. Q8_0 matches BF16 on 99.3% of decisions, measured row by row with committed evidence.</p>
97
- <div class="card-foot"><div class="tags"><span class="tag">gguf</span><span class="tag">llama.cpp</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/hilbert-4b-baseline-GGUF">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYAGENT9NOVA/SemIf-OpenJev/tree/master/results/gguf">Evidence</a></div></div></article>
98
- <article class="card"><div class="card-top"><span class="badge new">New</span><span class="badge kind">dataset</span><span class="badge lic">AGPL-3.0</span></div>
99
- <h3><a href="https://huggingface.co/datasets/Snapkitty/toolgate-bench">toolgate-bench</a></h3>
100
- <p>Benchmark for tool-call gating in LLM agents: accept, require approval or reject. Includes a frozen held-out split for honest generalization numbers.</p>
101
- <div class="card-foot"><div class="tags"><span class="tag">agents</span><span class="tag">safety</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/toolgate-bench">Hugging Face</a></div></div></article>
102
- <article class="card"><div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
103
- <h3><a href="https://huggingface.co/Snapkitty/snapkitty-nemotron-harness">snapkitty-nemotron-harness v0.3.0</a></h3>
104
- <p>Fail-closed tool gate for local agents: 0% unsafe passes on ToolGate-Bench v1, about 24 µs per decision, with sealed receipts.</p>
105
- <div class="card-foot"><div class="tags"><span class="tag">typescript</span><span class="tag">guardrails</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/snapkitty-nemotron-harness">Hugging Face</a></div></div></article>
106
- <article class="card"><div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
107
- <h3><a href="https://huggingface.co/Snapkitty/symbolic-morphology">symbolic-morphology</a></h3>
108
- <p>Learns Latin verb morphology from raw letters with hand-derived gradients and no ML framework, benchmarked across 9 runtimes down to NAND gates. Accuracy and loss independently reproduced.</p>
109
- <div class="card-foot"><div class="tags"><span class="tag">rust</span><span class="tag">nand</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/symbolic-morphology">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/symbolic-morphology">GitHub</a></div></div></article>
110
- </div>
111
- </section>
112
- <section>
113
- <div class="section-head"><h2>Run locally · GGUF</h2><a class="link" href="https://huggingface.co/models?library=gguf&amp;author=Snapkitty">All GGUF models</a></div>
114
- <div class="commercial gguf">
115
- <div>
116
- <h2>snapkitty-merged · Nemotron 4.2B · Q4_K_M</h2>
117
- <p>Our merged Nemotron model as a 2.7 GB GGUF with a 4,096-token context, ready for llama.cpp, Ollama and LM Studio. The model card lists full architecture specs from the GGUF header, a SHA-256 checksum and a BibTeX entry.</p>
118
- <pre class="cmd">ollama run hf.co/Snapkitty/snapkitty-merged:Q4_K_M</pre>
119
- </div>
120
- <a class="btn" href="https://huggingface.co/Snapkitty/snapkitty-merged">Open model card</a>
121
- </div>
122
- </section>
123
- <section>
124
- <div class="section-head"><h2>Explore</h2></div>
125
- <div class="tiles">
126
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/models-and-training">
127
- <span class="tile-emoji">🧠</span><span class="tile-title">Models and Training</span><span class="tile-sub">Language models, checkpoints and training stacks</span><span class="tile-count">18 repositories</span>
128
- </a>
129
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration">
130
- <span class="tile-emoji">🤖</span><span class="tile-title">Agents and Orchestration</span><span class="tile-sub">Multi-agent systems and orchestration engines</span><span class="tile-count">26 repositories</span>
131
- </a>
132
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/formal-verification">
133
- <span class="tile-emoji">✅</span><span class="tile-title">Formal Verification</span><span class="tile-sub">Lean 4, Agda and cross-language proofs</span><span class="tile-count">19 repositories</span>
134
- </a>
135
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/gpu-kernels">
136
- <span class="tile-emoji">⚡</span><span class="tile-title">GPU Kernels and Hardware</span><span class="tile-sub">CUDA kernels, RTL accelerators and embedded OS</span><span class="tile-count">16 repositories</span>
137
- </a>
138
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/quantum-computing">
139
- <span class="tile-emoji">🔬</span><span class="tile-title">Quantum Computing and Physics</span><span class="tile-sub">Quantum walks, TLM/JXCL and physics engines</span><span class="tile-count">13 repositories</span>
140
- </a>
141
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/compilers-and-runtimes">
142
- <span class="tile-emoji">⚙️</span><span class="tile-title">Compilers and Runtimes</span><span class="tile-sub">Compilers, VMs, emulators and languages</span><span class="tile-count">17 repositories</span>
143
- </a>
144
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/security-and-cryptography">
145
- <span class="tile-emoji">🔒</span><span class="tile-title">Security and Cryptography</span><span class="tile-sub">Attestation, WORM audit chains, policy engines</span><span class="tile-count">13 repositories</span>
146
- </a>
147
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/infrastructure-and-tools">
148
- <span class="tile-emoji">🔧</span><span class="tile-title">Infrastructure and Tools</span><span class="tile-sub">MCP servers, IDEs, browsers and dev tools</span><span class="tile-count">23 repositories</span>
149
- </a>
150
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/research-and-papers">
151
- <span class="tile-emoji">📚</span><span class="tile-title">Research and Papers</span><span class="tile-sub">Papers, tournament results and open scholarship</span><span class="tile-count">12 repositories</span>
152
- </a>
153
- <a class="tile" href="https://huggingface.co/spaces/Snapkitty/community">
154
- <span class="tile-emoji">🏰</span><span class="tile-title">Community and Culture</span><span class="tile-sub">Saint Errant Digital Society, art and culture</span><span class="tile-count">9 repositories</span>
155
- </a>
156
- </div>
157
- </section>
158
- <section class="commercial">
159
- <div>
160
- <h2>Commercial license</h2>
161
- <p>SnapKitty code is free and open under AGPL-3.0 for open-source use. Building a commercial product or service? A proprietary commercial license from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations.</p>
162
- </div>
163
- <a class="btn" href="mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license">Get a commercial license</a>
164
- </section>
165
- </main>
166
- <footer class="footer">
167
- <span>© 2026 Snapkitty Collective LLC</span>
168
- <span><a href="https://huggingface.co/Snapkitty">huggingface.co/Snapkitty</a> · <a href="mailto:A.parr@belespritdaccord.uk">A.parr@belespritdaccord.uk</a></span>
169
- </footer>
170
-
171
- </body>
172
- </html>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
index.html ADDED
@@ -0,0 +1,288 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ <!DOCTYPE html>
2
+ <html lang="en">
3
+ <head>
4
+ <meta charset="UTF-8">
5
+ <meta name="viewport" content="width=device-width, initial-scale=1.0">
6
+ <title>SnapKitty Collective — Sovereign AI Infrastructure</title>
7
+ <style>
8
+ :root {
9
+ --bg: #0a0a0f; --surface: #111118; --border: #1e1e2e;
10
+ --accent: #8b5cf6; --accent2: #06b6d4; --accent3: #10b981;
11
+ --text: #e2e8f0; --muted: #94a3b8; --dim: #64748b;
12
+ --warn: #f59e0b; --red: #ef4444;
13
+ }
14
+ * { box-sizing: border-box; margin: 0; padding: 0; }
15
+ body {
16
+ background: var(--bg); color: var(--text);
17
+ font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
18
+ line-height: 1.6; overflow-x: hidden;
19
+ }
20
+ a { color: var(--accent2); text-decoration: none; }
21
+ a:hover { text-decoration: underline; }
22
+
23
+ .hero {
24
+ text-align: center; padding: 56px 24px 32px; position: relative;
25
+ }
26
+ .hero::before {
27
+ content: ''; position: absolute; inset: 0;
28
+ background: radial-gradient(ellipse 80% 50% at 50% 0%, rgba(139,92,246,0.12) 0%, transparent 70%);
29
+ pointer-events: none;
30
+ }
31
+ .hero h1 { font-size: 2.4rem; font-weight: 700; letter-spacing: -0.02em; }
32
+ .hero h1 span { color: var(--accent); }
33
+ .tagline { margin-top: 8px; color: var(--muted); font-size: 1.05rem; max-width: 680px; margin-inline: auto; }
34
+ .stats {
35
+ display: flex; gap: 40px; justify-content: center; margin-top: 20px; flex-wrap: wrap;
36
+ }
37
+ .stat-num { font-size: 1.6rem; font-weight: 700; color: var(--accent); }
38
+ .stat-label { font-size: 0.7rem; color: var(--dim); text-transform: uppercase; letter-spacing: 0.08em; }
39
+ .links {
40
+ display: flex; gap: 12px; justify-content: center; margin-top: 20px; flex-wrap: wrap;
41
+ }
42
+ .links a {
43
+ padding: 8px 20px; border-radius: 8px; font-size: 0.85rem;
44
+ border: 1px solid var(--border); color: var(--text); transition: all 0.2s;
45
+ }
46
+ .links a:hover { border-color: var(--accent); color: var(--accent); }
47
+ .links a.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
48
+
49
+ .container { max-width: 1100px; margin: 0 auto; padding: 0 24px; }
50
+
51
+ .section { padding: 32px 0; }
52
+ .section-title {
53
+ font-size: 1.15rem; font-weight: 600; margin-bottom: 16px;
54
+ padding-bottom: 10px; border-bottom: 1px solid var(--border);
55
+ }
56
+
57
+ .mission {
58
+ background: var(--surface); border: 1px solid var(--border); border-radius: 12px;
59
+ padding: 28px 32px; margin: 32px 0; text-align: center;
60
+ }
61
+ .mission h2 { font-size: 1.1rem; color: var(--accent); margin-bottom: 8px; }
62
+ .mission p { color: var(--muted); font-size: 0.9rem; max-width: 700px; margin-inline: auto; }
63
+
64
+ .grid-3 {
65
+ display: grid; grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
66
+ gap: 14px;
67
+ }
68
+ .card {
69
+ background: var(--surface); border: 1px solid var(--border); border-radius: 10px;
70
+ padding: 18px 20px; transition: border-color 0.2s;
71
+ }
72
+ .card:hover { border-color: var(--accent); }
73
+ .card h3 { font-size: 0.95rem; font-weight: 600; margin-bottom: 6px; }
74
+ .card h3 a { color: var(--accent2); }
75
+ .card p { color: var(--muted); font-size: 0.82rem; line-height: 1.5; }
76
+ .card .tag {
77
+ display: inline-block; margin-top: 8px; padding: 2px 8px; border-radius: 4px;
78
+ font-size: 0.65rem; text-transform: uppercase; letter-spacing: 0.05em;
79
+ border: 1px solid var(--border); color: var(--dim);
80
+ }
81
+
82
+ .demo-card {
83
+ background: linear-gradient(135deg, var(--surface) 0%, rgba(139,92,246,0.06) 100%);
84
+ border: 1px solid var(--accent); border-radius: 12px;
85
+ padding: 24px; text-align: center;
86
+ }
87
+ .demo-card h3 { color: var(--accent); font-size: 1rem; margin-bottom: 6px; }
88
+ .demo-card p { color: var(--muted); font-size: 0.85rem; margin-bottom: 12px; }
89
+ .demo-card a.btn {
90
+ display: inline-block; padding: 8px 24px; background: var(--accent);
91
+ border-radius: 8px; color: #fff; font-size: 0.85rem; font-weight: 600;
92
+ }
93
+
94
+ .quickstart {
95
+ background: var(--surface); border: 1px solid var(--border); border-radius: 10px;
96
+ padding: 20px 24px; margin-top: 16px;
97
+ }
98
+ .quickstart code {
99
+ display: block; background: var(--bg); padding: 12px 16px; border-radius: 6px;
100
+ font-size: 0.82rem; color: var(--accent2); overflow-x: auto; margin-top: 8px;
101
+ }
102
+
103
+ table { width: 100%; border-collapse: collapse; margin-top: 12px; }
104
+ th, td { padding: 8px 12px; text-align: left; border-bottom: 1px solid var(--border); font-size: 0.85rem; }
105
+ th { color: var(--dim); font-weight: 500; font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.05em; }
106
+ td a { color: var(--accent2); }
107
+
108
+ .footer {
109
+ text-align: center; padding: 40px 24px; color: var(--dim); font-size: 0.78rem;
110
+ border-top: 1px solid var(--border); margin-top: 32px;
111
+ }
112
+
113
+ @media (max-width: 600px) {
114
+ .hero h1 { font-size: 1.7rem; }
115
+ .grid-3 { grid-template-columns: 1fr; }
116
+ .stats { gap: 20px; }
117
+ }
118
+ </style>
119
+ </head>
120
+ <body>
121
+
122
+ <div class="hero">
123
+ <h1><span>SnapKitty</span> Collective</h1>
124
+ <p class="tagline">Sovereign AI infrastructure. WORM-sealed agents, formally verified kernels, and models you can run on a RTX 3080.</p>
125
+ <div class="stats">
126
+ <div><div class="stat-num">130+</div><div class="stat-label">Repositories</div></div>
127
+ <div><div class="stat-num">20+</div><div class="stat-label">Languages</div></div>
128
+ <div><div class="stat-num">0</div><div class="stat-label">Sorry Terms</div></div>
129
+ <div><div class="stat-num">4</div><div class="stat-label">Datasets</div></div>
130
+ </div>
131
+ <div class="links">
132
+ <a class="primary" href="https://github.com/SNAPKITTYWEST">GitHub</a>
133
+ <a href="https://collectivekitty.com">Website</a>
134
+ <a href="https://huggingface.co/Snapkitty">All Repos</a>
135
+ </div>
136
+ </div>
137
+
138
+ <div class="container">
139
+
140
+ <!-- MISSION -->
141
+ <div class="mission">
142
+ <h2>Sovereign AI you can inspect, verify, and run locally</h2>
143
+ <p>Models, agents, Lean 4 proofs, CUDA kernels, and WORM chains — built for deterministic execution. Every decision is cryptographically sealed. Every proof compiles with zero axiom admits.</p>
144
+ </div>
145
+
146
+ <!-- LIVE DEMOS -->
147
+ <div class="section">
148
+ <div class="section-title">Live Demos</div>
149
+ <div class="grid-3">
150
+ <div class="demo-card">
151
+ <h3>Twin-O-Matic</h3>
152
+ <p>Browser JIT LLM agent (Llama 3.2 1B) with Three.js 3D engine. No server needed.</p>
153
+ <a class="btn" href="https://huggingface.co/spaces/Snapkitty/twin-o-matic">Launch Demo</a>
154
+ </div>
155
+ <div class="demo-card">
156
+ <h3>Sovereign LISP Machine</h3>
157
+ <p>EmojiScript bytecode, SoulVM debugger, LTMS truth maintenance — all in browser.</p>
158
+ <a class="btn" href="https://huggingface.co/spaces/Snapkitty/lisp-machine">Launch Demo</a>
159
+ </div>
160
+ <div class="demo-card">
161
+ <h3>Jacobian Playground</h3>
162
+ <p>79 theorems, interactive SovMonster proof suite. Lean 4 formalization live.</p>
163
+ <a class="btn" href="https://snapkittywest.github.io/j-matrix-twin/playground/public/index.html">Launch Demo</a>
164
+ </div>
165
+ </div>
166
+ </div>
167
+
168
+ <!-- GET STARTED -->
169
+ <div class="section">
170
+ <div class="section-title">Get Started</div>
171
+ <div class="quickstart">
172
+ <strong style="color:var(--text);font-size:0.9rem;">Install and fine-tune</strong>
173
+ <code>pip install summon<br>python -m summon.finetune --model sovereign-mimo-4b</code>
174
+ </div>
175
+ <div class="quickstart" style="margin-top:10px;">
176
+ <strong style="color:var(--text);font-size:0.9rem;">Run with Ollama</strong>
177
+ <code>ollama create sovereign-mimo-4b -f Modelfile<br>ollama run sovereign-mimo-4b</code>
178
+ </div>
179
+ </div>
180
+
181
+ <!-- FLAGSHIP MODELS -->
182
+ <div class="section">
183
+ <div class="section-title">Flagship Models</div>
184
+ <table>
185
+ <tr><th>Model</th><th>Params</th><th>What it does</th><th>VRAM</th></tr>
186
+ <tr><td><a href="https://huggingface.co/Snapkitty/sovereign-mimo-4b">sovereign-mimo-4b</a></td><td>4B</td><td>Code reward model. FSM + ERE gates + WORM seal.</td><td>3.3 GB</td></tr>
187
+ <tr><td><a href="https://huggingface.co/Snapkitty/sovereign-qra">sovereign-qra</a></td><td>—</td><td>Deterministic routing tensor. Zero entropy. Lean 4 proof.</td><td>—</td></tr>
188
+ <tr><td><a href="https://huggingface.co/Snapkitty/snapkitty-merged">snapkitty-merged</a></td><td>4.2B</td><td>Nemotron Mini GGUF (Q4_K_M). Sovereign fine-tune.</td><td>2.6 GB</td></tr>
189
+ <tr><td><a href="https://huggingface.co/Snapkitty/hilbert">hilbert</a></td><td>4B</td><td>CUDA kernels: RMSNorm, FlashAttn, SwiGLU, RoPE.</td><td>—</td></tr>
190
+ </table>
191
+ </div>
192
+
193
+ <!-- COLLECTIONS -->
194
+ <div class="section">
195
+ <div class="section-title">Collections</div>
196
+ <div class="grid-3">
197
+ <div class="card">
198
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/models-and-training">Sovereign Models</a></h3>
199
+ <p>Small, local-first language models. Nemotron fine-tunes, reward models, GGUF exports for Ollama.</p>
200
+ <span class="tag">14 repos</span>
201
+ </div>
202
+ <div class="card">
203
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration">Agent Systems</a></h3>
204
+ <p>BOB family, sovereign kernels, verified multi-agent stacks with ERE gates and WORM-sealed execution.</p>
205
+ <span class="tag">22 repos</span>
206
+ </div>
207
+ <div class="card">
208
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/formal-verification">Formal Proofs</a></h3>
209
+ <p>Zero-sorry Lean 4 theorems, Agda formalizations. 30+ theorems, 79 Jacobian proofs, entropy bounds.</p>
210
+ <span class="tag">16 repos</span>
211
+ </div>
212
+ <div class="card">
213
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/quantum-computing">Quantum &amp; Physics</a></h3>
214
+ <p>Fibonacci-anyon TQC, lattice surgery, quantum walks, black hole physics.</p>
215
+ <span class="tag">7 repos</span>
216
+ </div>
217
+ <div class="card">
218
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/gpu-kernels">GPU Kernels</a></h3>
219
+ <p>CUDA for Ampere, Ada bare-metal processors, Apollo Guidance Computers in 7 languages.</p>
220
+ <span class="tag">10 repos</span>
221
+ </div>
222
+ <div class="card">
223
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/compilers-and-runtimes">Compilers</a></h3>
224
+ <p>LISP machines, WASM sandboxes, Apple II emulator, sovereign runtimes.</p>
225
+ <span class="tag">16 repos</span>
226
+ </div>
227
+ <div class="card">
228
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/security-and-cryptography">Security</a></h3>
229
+ <p>Ed25519 + Blake3 + SHA-256. WORM chains, TPM attestation, policy engines.</p>
230
+ <span class="tag">10 repos</span>
231
+ </div>
232
+ <div class="card">
233
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/infrastructure-and-tools">Tools</a></h3>
234
+ <p>MCP servers, IDEs, OCR, harnesses, and development infrastructure.</p>
235
+ <span class="tag">20 repos</span>
236
+ </div>
237
+ <div class="card">
238
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/community">Saint Errant</a></h3>
239
+ <p>Grassroots builder collective. Guilds: Forge, Cipher, Herald, Prism. Open membership.</p>
240
+ <span class="tag">8 repos</span>
241
+ </div>
242
+ </div>
243
+ </div>
244
+
245
+ <!-- DATASETS -->
246
+ <div class="section">
247
+ <div class="section-title">Datasets</div>
248
+ <table>
249
+ <tr><th>Dataset</th><th>Records</th><th>Description</th></tr>
250
+ <tr><td><a href="https://huggingface.co/datasets/Snapkitty/sovereign-training-corpus">sovereign-training-corpus</a></td><td>882</td><td>Curated prompt/completion pairs from WORM-sealed agent execution</td></tr>
251
+ <tr><td><a href="https://huggingface.co/datasets/Snapkitty/cartographer-corpus">cartographer-corpus</a></td><td>67</td><td>Domain-specific training across 9 chapters</td></tr>
252
+ <tr><td><a href="https://huggingface.co/datasets/Snapkitty/worm-chain-archive">worm-chain-archive</a></td><td>39 MB</td><td>SHA-256 sealed execution records from 11 agents</td></tr>
253
+ <tr><td><a href="https://huggingface.co/datasets/Snapkitty/sovereign-papers">sovereign-papers</a></td><td>25</td><td>LaTeX research papers with compiled PDFs</td></tr>
254
+ </table>
255
+ </div>
256
+
257
+ <!-- RESEARCH -->
258
+ <div class="section">
259
+ <div class="section-title">Research &amp; Papers</div>
260
+ <div class="grid-3">
261
+ <div class="card">
262
+ <h3><a href="https://huggingface.co/spaces/Snapkitty/research-and-papers">Papers Collection</a></h3>
263
+ <p>25+ LaTeX papers: PIRTM, octonions, Coxeter/Weyl, EmojiScript, entropy theorems, cryptanalysis.</p>
264
+ <span class="tag">published</span>
265
+ </div>
266
+ <div class="card">
267
+ <h3><a href="https://huggingface.co/Snapkitty/sovereign-tournament">Sovereign Tournament</a></h3>
268
+ <p>Formal math tournament. Nova (sovereign fine-tune) defeated Nemotron. 8 published papers.</p>
269
+ <span class="tag">8 papers</span>
270
+ </div>
271
+ <div class="card">
272
+ <h3><a href="https://huggingface.co/Snapkitty/ahmad-foundations">Mathematical Foundations</a></h3>
273
+ <p>NLBHE, E7 lattice, black hole gravity, F4 algebra. 30+ zero-sorry Lean 4 theorems.</p>
274
+ <span class="tag">lean4</span>
275
+ </div>
276
+ </div>
277
+ </div>
278
+
279
+ </div>
280
+
281
+ <div class="footer">
282
+ <p>SnapKitty Collective &mdash; Build it. Inspect it. Verify it. Run it.</p>
283
+ <p style="margin-top:6px;">Copyright 2026 Jessica L. Williams / SNAPKITTYWEST &mdash; Bel Esprit D'Accord Irrevocable Trust</p>
284
+ <p style="margin-top:6px;"><a href="https://github.com/SNAPKITTYWEST" style="color:var(--dim);">GitHub</a> &middot; <a href="https://collectivekitty.com" style="color:var(--dim);">Website</a> &middot; <a href="https://huggingface.co/Snapkitty" style="color:var(--dim);">All Repos</a></p>
285
+ </div>
286
+
287
+ </body>
288
+ </html>
style.css DELETED
@@ -1,157 +0,0 @@
1
- :root {
2
- --bg: #fafafa;
3
- --surface: #ffffff;
4
- --surface-2: #f4f4f5;
5
- --border: #e4e4e7;
6
- --text: #18181b;
7
- --muted: #52525b;
8
- --faint: #71717a;
9
- --accent: #6d28d9;
10
- --accent-soft: #ede9fe;
11
- --new: #047857;
12
- --new-soft: #d1fae5;
13
- --shadow: 0 1px 2px rgba(24, 24, 27, .04), 0 4px 16px rgba(24, 24, 27, .04);
14
- --radius: 14px;
15
- color-scheme: light dark;
16
- }
17
- @media (prefers-color-scheme: dark) {
18
- :root {
19
- --bg: #0b0b0f;
20
- --surface: #131318;
21
- --surface-2: #1b1b22;
22
- --border: #26262f;
23
- --text: #f4f4f5;
24
- --muted: #a1a1aa;
25
- --faint: #8b8b95;
26
- --accent: #a78bfa;
27
- --accent-soft: rgba(167, 139, 250, .14);
28
- --new: #34d399;
29
- --new-soft: rgba(52, 211, 153, .14);
30
- --shadow: none;
31
- }
32
- }
33
- * { box-sizing: border-box; }
34
- html { -webkit-text-size-adjust: 100%; }
35
- body {
36
- margin: 0;
37
- background: var(--bg);
38
- color: var(--text);
39
- font: 15px/1.6 Inter, ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
40
- -webkit-font-smoothing: antialiased;
41
- }
42
- a { color: inherit; }
43
- .wrap { max-width: 1120px; margin: 0 auto; padding: 0 24px 56px; }
44
-
45
- .topbar {
46
- max-width: 1120px; margin: 0 auto; padding: 20px 24px;
47
- display: flex; justify-content: space-between; align-items: center; gap: 16px;
48
- }
49
- .brand { font-weight: 700; text-decoration: none; letter-spacing: -.01em; }
50
- .back { color: var(--muted); text-decoration: none; font-size: 14px; }
51
- .back:hover { color: var(--text); }
52
-
53
- .hero { padding: 40px 0 28px; }
54
- .hero-hub { padding: 56px 0 40px; }
55
- .eyebrow {
56
- display: inline-block; font-size: 13px; font-weight: 600; color: var(--accent);
57
- background: var(--accent-soft); padding: 4px 10px; border-radius: 999px;
58
- }
59
- h1 { font-size: clamp(30px, 5vw, 48px); line-height: 1.1; letter-spacing: -.03em; margin: 16px 0 12px; font-weight: 700; }
60
- .lede { color: var(--muted); font-size: 17px; max-width: 680px; margin: 0; }
61
- h2 { font-size: 20px; letter-spacing: -.01em; margin: 0; }
62
-
63
- .stats { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 28px; }
64
- .stats div {
65
- background: var(--surface); border: 1px solid var(--border); border-radius: 12px;
66
- padding: 12px 18px; min-width: 120px; box-shadow: var(--shadow);
67
- }
68
- .stats b { display: block; font-size: 24px; letter-spacing: -.02em; }
69
- .stats span { color: var(--faint); font-size: 13px; }
70
-
71
- .section-head { display: flex; justify-content: space-between; align-items: baseline; margin: 40px 0 16px; gap: 12px; }
72
-
73
- .toolbar { display: flex; flex-wrap: wrap; align-items: center; gap: 12px; margin-bottom: 20px; }
74
- #q {
75
- flex: 1 1 260px; min-width: 0; font: inherit; color: var(--text);
76
- background: var(--surface); border: 1px solid var(--border); border-radius: 10px; padding: 10px 14px;
77
- }
78
- #q:focus { outline: 2px solid var(--accent); outline-offset: 1px; }
79
- .chips { display: flex; flex-wrap: wrap; gap: 6px; }
80
- .chip {
81
- font: inherit; font-size: 13px; font-weight: 500; cursor: pointer; color: var(--muted);
82
- background: var(--surface); border: 1px solid var(--border); border-radius: 999px; padding: 6px 12px;
83
- }
84
- .chip[aria-pressed="true"] { color: var(--accent); background: var(--accent-soft); border-color: transparent; }
85
- .count { color: var(--faint); font-size: 13px; margin-left: auto; }
86
-
87
- .grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 14px; }
88
- .card {
89
- display: flex; flex-direction: column; gap: 8px;
90
- background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius);
91
- padding: 18px 18px 16px; box-shadow: var(--shadow); transition: border-color .15s, transform .15s;
92
- }
93
- .card:hover { border-color: var(--accent); transform: translateY(-1px); }
94
- .card[hidden] { display: none; }
95
- .card h3 { margin: 0; font-size: 16px; letter-spacing: -.01em; word-break: break-word; }
96
- .card h3 a { text-decoration: none; }
97
- .card h3 a:hover { color: var(--accent); }
98
- .card p { margin: 0; color: var(--muted); font-size: 14px; flex: 1; }
99
- .card-top { display: flex; flex-wrap: wrap; gap: 6px; }
100
- .badge {
101
- font-size: 11px; font-weight: 600; letter-spacing: .02em; text-transform: uppercase;
102
- padding: 2px 8px; border-radius: 6px; background: var(--surface-2); color: var(--faint);
103
- }
104
- .badge.new { background: var(--new-soft); color: var(--new); }
105
- .badge.lic { text-transform: none; }
106
- .card-foot { display: flex; justify-content: space-between; align-items: center; gap: 10px; flex-wrap: wrap; margin-top: 4px; }
107
- .tags { display: flex; flex-wrap: wrap; gap: 4px; }
108
- .tag { font: 500 11px/1.6 "JetBrains Mono", ui-monospace, monospace; color: var(--faint); border: 1px solid var(--border); border-radius: 5px; padding: 0 6px; }
109
- .links { display: flex; gap: 12px; }
110
- .link { font-size: 13px; font-weight: 500; color: var(--accent); text-decoration: none; }
111
- .link:hover { text-decoration: underline; }
112
-
113
- .tiles { display: grid; grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); gap: 14px; }
114
- .tile {
115
- display: flex; flex-direction: column; gap: 4px; text-decoration: none;
116
- background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius);
117
- padding: 18px; box-shadow: var(--shadow); transition: border-color .15s, transform .15s;
118
- }
119
- .tile:hover { border-color: var(--accent); transform: translateY(-1px); }
120
- .tile-emoji { font-size: 22px; }
121
- .tile-title { font-weight: 600; letter-spacing: -.01em; }
122
- .tile-sub { color: var(--muted); font-size: 14px; }
123
- .tile-count { color: var(--faint); font-size: 12px; margin-top: 6px; }
124
-
125
- .commercial {
126
- display: flex; justify-content: space-between; align-items: center; gap: 24px; flex-wrap: wrap;
127
- margin-top: 48px; padding: 24px; border-radius: var(--radius);
128
- background: var(--accent-soft); border: 1px solid var(--border);
129
- }
130
- .commercial > div { flex: 1 1 420px; min-width: 0; }
131
- .commercial p { color: var(--muted); margin: 8px 0 0; font-size: 14px; }
132
- .btn {
133
- display: inline-block; background: var(--accent); color: #fff; font-weight: 600; font-size: 14px;
134
- text-decoration: none; padding: 11px 18px; border-radius: 10px; white-space: nowrap;
135
- }
136
- @media (prefers-color-scheme: dark) { .btn { color: #0b0b0f; } }
137
- .btn:hover { filter: brightness(1.08); }
138
-
139
- .footer {
140
- max-width: 1120px; margin: 0 auto; padding: 24px; border-top: 1px solid var(--border);
141
- display: flex; justify-content: space-between; flex-wrap: wrap; gap: 8px; color: var(--faint); font-size: 13px;
142
- }
143
- .footer a { color: var(--muted); text-decoration: none; }
144
- .footer a:hover { color: var(--text); }
145
-
146
- @media (max-width: 640px) {
147
- .wrap, .topbar, .footer { padding-left: 16px; padding-right: 16px; }
148
- .grid, .tiles { grid-template-columns: 1fr; }
149
- .count { margin-left: 0; width: 100%; }
150
- }
151
-
152
- .gguf { margin-top: 0; }
153
- .cmd {
154
- margin: 12px 0 0; padding: 10px 12px; border-radius: 10px; overflow-x: auto;
155
- font: 500 13px/1.5 "JetBrains Mono", ui-monospace, monospace;
156
- background: var(--surface); border: 1px solid var(--border); color: var(--text);
157
- }