Snapkitty Collective LLC

company

AI & ML interests

Alternative Attention · SUBLEQ · Resonance Words · Integer Computing · Deterministic AI · Algorithmic Routing · DAG Computing

Recent Activity

SNAPKITTYWEST updated a model about 21 hours ago

Snapkitty/hcalc

SNAPKITTYWEST updated a Space about 21 hours ago

Snapkitty/README

SNAPKITTYWEST updated a Space about 21 hours ago

Snapkitty/formal-verification

View all activity

Organization Card

Community About org cards

🐈 SnapKitty

Deterministic systems, verified end to end. Alternative attention · SUBLEQ · integer computing · formal proofs · the hardware to run them.

183 models · 13 datasets · 12 spaces · 10 collections

Open the overview → · October 2026 drop · Commercial license

📄 Featured: new paper

Conservation-Preserving Compilation for a 1+1D Lattice Shadow of φ⁴ Symmetries of the Hamiltonian constrain circuit synthesis instead of filtering shots. Every admitted Trotter schedule is proved in Lean 4 to commute with its conserved operator, for every lattice size and angle. The axiom audit lists only propext, Classical.choice and Quot.sound. DOI 10.5281/zenodo.23287576 · PDF · Lean proofs · Code

🔬 Research highlights

Release	Evidence
hilbert-4b-baseline-GGUF	Q8_0 matches BF16 on 99.3% of decisions, measured row by row
toolgate-bench	Tool-call gating benchmark with a frozen held-out split
snapkitty-nemotron-harness	0% unsafe passes on ToolGate-Bench v1, about 24 µs per decision
symbolic-morphology	Latin morphology with no ML framework; accuracy independently reproduced

🆕 October 2026 drop · 37 repositories

Area	Repositories
🧠 Models and Training	astra-guardian-depth · sovereign-reduction-algebra · tensor-roll
🤖 Agents and Orchestration	david · horn-intent-engine
✅ Formal Verification	ai-free · assertica · icp-dag-crystallizer · PIRTM · riemann-gas · sparse-router-formal · unlambda-idris-spark
⚡ GPU Kernels and Hardware	bit-string-accelerator · flash-attention-rtl · Intent-V · phaser-ags · rust-opencl-gpu
🔬 Quantum Computing and Physics	cpsc-qft · goldilocks-controlled-reduce · tlm-jxcl-forge
⚙️ Compilers and Runtimes	alp-carry · bsh-harness · cobalt-transformer-twin · semantic-engine
🔒 Security and Cryptography	forge-token · hologram-re · rea-unary · ruby-self-resonance · sealforge · snapkitty-multiplicity-counterclaim
🔧 Infrastructure and Tools	kotlin-command-center · snapkitty-regex
📚 Research and Papers	foundry-j · hcalc · sedona-k
🏰 Community and Culture	repoverse · seit

🧭 Collections

Collection	Repos
🧠 Models and Training	21
🤖 Agents and Orchestration	27
✅ Formal Verification	24
⚡ GPU Kernels and Hardware	17
🔬 Quantum Computing and Physics	15
⚙️ Compilers and Runtimes	21
🔒 Security and Cryptography	17
🔧 Infrastructure and Tools	25
📚 Research and Papers	16
🏰 Community and Culture	11

🦙 Run locally

ollama run hf.co/Snapkitty/snapkitty-merged:Q4_K_M

Merged Nemotron 4.2B, 2.7 GB GGUF, 4,096-token context. All GGUF models →

💼 License

SnapKitty code is open source, primarily under AGPL-3.0; every repository states its exact license on its card. A proprietary commercial license from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations.

→ Get a commercial license · A.parr@belespritdaccord.uk

Upstream contributors to Agda and LiquidHaskell.

_{Snapkitty Collective LLC · 2026}