25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results.
AI & ML interests
Alternative Attention · SUBLEQ · Resonance Words · Integer Computing · Deterministic AI · Algorithmic Routing · DAG Computing
Recent Activity
Organization Card
SnapKitty Collective
Sovereign AI infrastructure. WORM-sealed agents, formally verified kernels, and models you can run on a RTX 3080.
130+
Repositories
20+
Languages
0
Sorry Terms
4
Datasets
Sovereign AI you can inspect, verify, and run locally
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.
Live Demos
Twin-O-Matic
Browser JIT LLM agent (Llama 3.2 1B) with Three.js 3D engine. No server needed.
Launch DemoSovereign LISP Machine
EmojiScript bytecode, SoulVM debugger, LTMS truth maintenance — all in browser.
Launch DemoJacobian Playground
79 theorems, interactive SovMonster proof suite. Lean 4 formalization live.
Launch DemoGet Started
Install and fine-tune
pip install summon
python -m summon.finetune --model sovereign-mimo-4b
Run with Ollama
ollama create sovereign-mimo-4b -f Modelfile
ollama run sovereign-mimo-4b
Flagship Models
| Model | Params | What it does | VRAM |
|---|---|---|---|
| sovereign-mimo-4b | 4B | Code reward model. FSM + ERE gates + WORM seal. | 3.3 GB |
| sovereign-qra | — | Deterministic routing tensor. Zero entropy. Lean 4 proof. | — |
| snapkitty-merged | 4.2B | Nemotron Mini GGUF (Q4_K_M). Sovereign fine-tune. | 2.6 GB |
| hilbert | 4B | CUDA kernels: RMSNorm, FlashAttn, SwiGLU, RoPE. | — |
Collections
Sovereign Models
Small, local-first language models. Nemotron fine-tunes, reward models, GGUF exports for Ollama.
14 reposAgent Systems
BOB family, sovereign kernels, verified multi-agent stacks with ERE gates and WORM-sealed execution.
22 reposFormal Proofs
Zero-sorry Lean 4 theorems, Agda formalizations. 30+ theorems, 79 Jacobian proofs, entropy bounds.
16 reposGPU Kernels
CUDA for Ampere, Ada bare-metal processors, Apollo Guidance Computers in 7 languages.
10 reposSaint Errant
Grassroots builder collective. Guilds: Forge, Cipher, Herald, Prism. Open membership.
8 reposDatasets
| Dataset | Records | Description |
|---|---|---|
| sovereign-training-corpus | 882 | Curated prompt/completion pairs from WORM-sealed agent execution |
| cartographer-corpus | 67 | Domain-specific training across 9 chapters |
| worm-chain-archive | 39 MB | SHA-256 sealed execution records from 11 agents |
| sovereign-papers | 25 | LaTeX research papers with compiled PDFs |
Research & Papers
Papers Collection
25+ LaTeX papers: PIRTM, octonions, Coxeter/Weyl, EmojiScript, entropy theorems, cryptanalysis.
publishedSovereign Tournament
Formal math tournament. Nova (sovereign fine-tune) defeated Nemotron. 8 published papers.
8 papersMathematical Foundations
NLBHE, E7 lattice, black hole gravity, F4 algebra. 30+ zero-sorry Lean 4 theorems.
lean4 models 136
Snapkitty/hyperkitty-chromium
Updated
Snapkitty/TORUS
Updated
Snapkitty/hilbert
Updated
Snapkitty/NULL
Updated
Snapkitty/snapkitty-algo-art
Updated
Snapkitty/snapkitty-open-source
Text Generation • Updated
Snapkitty/sovereign-entropy-theorem
Text Generation • Updated
Snapkitty/sovereign-chat-harness
Updated
Snapkitty/sovereign-mimo-4b
Text Generation • Updated
Snapkitty/sovereign-qra
Updated