Spaces:
Running
Running
Download hub.html from Snapkitty/README: direct link, hf CLI and curl.
- Browser
- Download file 76.1 kB
-
https://huggingface.co/spaces/Snapkitty/README/resolve/main/hub.html
- Command line
-
hf download hf://spaces/Snapkitty/README/hub.html
-
curl -L -o hub.html https://huggingface.co/spaces/Snapkitty/README/resolve/main/hub.html
76.1 kB
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <title>SnapKitty</title> | |
| <meta name="description" content="Deterministic systems, verified end to end: models, proofs, compilers and hardware from Snapkitty Collective LLC."> | |
| <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"> | |
| <style> | |
| :root { | |
| --bg:#fafafa; --surface:#fff; --surface-2:#f4f4f5; --border:#e4e4e7; --text:#18181b; --muted:#52525b; --faint:#71717a; | |
| --accent:#6d28d9; --accent-soft:#ede9fe; --new:#047857; --new-soft:#d1fae5; --radius:14px; | |
| --shadow:0 1px 2px rgba(24,24,27,.04),0 4px 16px rgba(24,24,27,.04); color-scheme:light dark; | |
| } | |
| @media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { | |
| --bg:#0b0b0f; --surface:#131318; --surface-2:#1b1b22; --border:#26262f; --text:#f4f4f5; --muted:#a1a1aa; --faint:#8b8b95; | |
| --accent:#a78bfa; --accent-soft:rgba(167,139,250,.14); --new:#34d399; --new-soft:rgba(52,211,153,.14); --shadow:none; } } | |
| :root[data-theme="dark"] { | |
| --bg:#0b0b0f; --surface:#131318; --surface-2:#1b1b22; --border:#26262f; --text:#f4f4f5; --muted:#a1a1aa; --faint:#8b8b95; | |
| --accent:#a78bfa; --accent-soft:rgba(167,139,250,.14); --new:#34d399; --new-soft:rgba(52,211,153,.14); --shadow:none; } | |
| * { box-sizing:border-box; } | |
| html { -webkit-text-size-adjust:100%; scroll-behavior:smooth; } | |
| body { margin:0; background:var(--bg); color:var(--text); font:15px/1.6 Inter,ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif; -webkit-font-smoothing:antialiased; } | |
| a { color:inherit; } | |
| .wrap { max-width:1080px; margin:0 auto; padding:0 24px; } | |
| nav.top { position:sticky; top:0; z-index:5; background:color-mix(in srgb,var(--bg) 88%,transparent); backdrop-filter:blur(10px); border-bottom:1px solid var(--border); } | |
| nav.top .wrap { display:flex; align-items:center; gap:20px; height:56px; } | |
| .brand { font-weight:700; text-decoration:none; letter-spacing:-.01em; margin-right:auto; } | |
| nav.top a.nl { color:var(--muted); text-decoration:none; font-size:14px; } | |
| nav.top a.nl:hover { color:var(--text); } | |
| section { padding:48px 0 0; } | |
| .hero { padding:64px 0 8px; } | |
| .eyebrow { display:inline-block; font-size:13px; font-weight:600; color:var(--accent); background:var(--accent-soft); padding:4px 10px; border-radius:999px; } | |
| h1 { font-size:clamp(32px,5.4vw,52px); line-height:1.06; letter-spacing:-.035em; margin:18px 0 14px; font-weight:700; max-width:820px; } | |
| .lede { color:var(--muted); font-size:17px; max-width:640px; margin:0; } | |
| .stats { display:flex; flex-wrap:wrap; gap:28px; margin:28px 0 0; } | |
| .stats div { display:flex; flex-direction:column; } | |
| .stats b { font-size:26px; letter-spacing:-.02em; font-variant-numeric:tabular-nums; } | |
| .stats span { color:var(--faint); font-size:13px; } | |
| .ctas { display:flex; flex-wrap:wrap; gap:10px; margin-top:28px; } | |
| .btn { display:inline-flex; align-items:center; gap:8px; padding:10px 16px; border-radius:10px; font-weight:600; font-size:14px; text-decoration:none; border:1px solid var(--border); background:var(--surface); } | |
| .btn.primary { background:var(--accent); border-color:var(--accent); color:#fff; } | |
| :root[data-theme="dark"] .btn.primary { color:#0b0b0f; } | |
| @media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .btn.primary { color:#0b0b0f; } } | |
| h2 { font-size:22px; letter-spacing:-.02em; margin:0 0 4px; } | |
| .sub { color:var(--muted); margin:0 0 20px; font-size:14px; } | |
| .feature { display:grid; grid-template-columns:1.4fr 1fr; gap:28px; background:var(--surface); border:1px solid var(--border); border-radius:18px; padding:28px; box-shadow:var(--shadow); } | |
| .feature h3 { font-size:22px; line-height:1.25; letter-spacing:-.02em; margin:10px 0 10px; } | |
| .feature p { color:var(--muted); margin:0 0 18px; } | |
| .badge { display:inline-block; font-size:12px; font-weight:600; padding:2px 8px; border-radius:999px; background:var(--surface-2); color:var(--muted); } | |
| .badge.new { background:var(--new-soft); color:var(--new); } | |
| .badge.bad { background:rgba(220,38,38,.12); color:#dc2626; } | |
| .proof { background:var(--surface-2); border-radius:12px; padding:16px; font:12.5px/1.55 "JetBrains Mono",ui-monospace,monospace; color:var(--muted); overflow-x:auto; } | |
| .proof b { color:var(--text); font-weight:500; } | |
| .proof .ok { color:var(--new); } | |
| .hls { display:grid; grid-template-columns:repeat(4,1fr); gap:14px; } | |
| .hl { display:flex; flex-direction:column; gap:6px; padding:18px; background:var(--surface); border:1px solid var(--border); border-radius:var(--radius); text-decoration:none; transition:border-color .15s; } | |
| .hl:hover, .tile:hover { border-color:var(--accent); } | |
| .hl-kind { font-size:12px; color:var(--faint); } | |
| .hl-name { font-weight:600; word-break:break-word; } | |
| .hl-desc { color:var(--muted); font-size:13.5px; } | |
| .tiles { display:grid; grid-template-columns:repeat(auto-fill,minmax(230px,1fr)); gap:14px; } | |
| .tile { display:flex; flex-direction:column; gap:4px; padding:18px; background:var(--surface); border:1px solid var(--border); border-radius:var(--radius); text-decoration:none; transition:border-color .15s; } | |
| .tile-emoji { font-size:20px; } | |
| .tile-title { font-weight:600; } | |
| .tile-sub { color:var(--muted); font-size:13.5px; flex:1; } | |
| .tile-count { color:var(--faint); font-size:12.5px; margin-top:6px; } | |
| .tile-count b { color:var(--new); font-weight:600; } | |
| .toolbar { position:sticky; top:56px; z-index:4; background:var(--bg); padding:12px 0; display:flex; flex-wrap:wrap; gap:10px; align-items:center; border-bottom:1px solid var(--border); } | |
| .toolbar input[type=search] { flex:1 1 220px; min-width:0; padding:10px 14px; border-radius:10px; border:1px solid var(--border); background:var(--surface); color:var(--text); font:inherit; } | |
| .toolbar select { padding:10px 12px; border-radius:10px; border:1px solid var(--border); background:var(--surface); color:var(--text); font:inherit; max-width:100%; } | |
| .toggle { white-space:nowrap; display:inline-flex; align-items:center; gap:8px; font-size:14px; color:var(--muted); cursor:pointer; user-select:none; } | |
| .count { color:var(--faint); font-size:13px; margin-left:auto; font-variant-numeric:tabular-nums; } | |
| .group h3 { font-size:15px; margin:28px 0 8px; display:flex; gap:8px; align-items:baseline; } | |
| .group h3 a { text-decoration:none; } | |
| .group h3 small { color:var(--faint); font-weight:500; } | |
| .rows { border:1px solid var(--border); border-radius:var(--radius); background:var(--surface); overflow:hidden; } | |
| .row { display:grid; grid-template-columns:minmax(150px,240px) 1fr auto; gap:16px; align-items:baseline; padding:11px 16px; border-top:1px solid var(--border); text-decoration:none; } | |
| .row:first-child { border-top:0; } | |
| .row:hover { background:var(--surface-2); } | |
| .row .nm { font-weight:600; word-break:break-word; } | |
| .row .ds { color:var(--muted); font-size:13.5px; } | |
| .row .mt { display:flex; gap:6px; white-space:nowrap; } | |
| .empty { color:var(--faint); padding:32px 0; text-align:center; } | |
| .band { display:flex; flex-wrap:wrap; justify-content:space-between; align-items:center; gap:20px; background:var(--surface); border:1px solid var(--border); border-radius:18px; padding:24px 28px; } | |
| .band > div { min-width:0; flex:1 1 280px; } | |
| .band h2 { margin-bottom:6px; } | |
| .band p { color:var(--muted); margin:0; max-width:620px; } | |
| .band.license { background:var(--accent-soft); border-color:transparent; } | |
| pre.cmd { margin:12px 0 0; padding:10px 14px; background:var(--surface-2); border-radius:10px; font:13px "JetBrains Mono",ui-monospace,monospace; overflow-x:auto; } | |
| .up { color:var(--muted); font-size:14px; } | |
| .up a { font-weight:600; } | |
| footer { border-top:1px solid var(--border); margin-top:56px; } | |
| footer .wrap { display:flex; flex-wrap:wrap; justify-content:space-between; gap:12px; padding:24px; color:var(--faint); font-size:13px; } | |
| @media (max-width:860px) { .feature { grid-template-columns:1fr; } .hls { grid-template-columns:repeat(2,1fr); } nav.top a.nl.opt { display:none; } } | |
| @media (max-width:560px) { | |
| .wrap { padding:0 16px; } .hls { grid-template-columns:1fr; } .feature, .band { padding:20px; } | |
| .row { grid-template-columns:1fr; gap:2px; } .row .mt { white-space:normal; flex-wrap:wrap; margin-top:4px; } | |
| .toolbar { top:56px; } .count { margin-left:0; } | |
| } | |
| </style> | |
| </head> | |
| <body> | |
| <nav class="top"><div class="wrap"> | |
| <a class="brand" href="#">🐈 SnapKitty</a> | |
| <a class="nl opt" href="#featured">Featured</a> | |
| <a class="nl opt" href="#collections">Collections</a> | |
| <a class="nl" href="#catalogue">Catalogue</a> | |
| <a class="nl" href="#license">License</a> | |
| </div></nav> | |
| <main class="wrap"> | |
| <header class="hero"> | |
| <span class="eyebrow">Snapkitty Collective LLC</span> | |
| <h1>Deterministic systems, verified end to end.</h1> | |
| <p class="lede">Alternative attention, SUBLEQ, integer computing, formal proofs and the hardware to run them, built in the open.</p> | |
| <div class="stats"> | |
| <div><b>183</b><span>models</span></div> | |
| <div><b>13</b><span>datasets</span></div> | |
| <div><b>12</b><span>spaces</span></div> | |
| <div><b>10</b><span>collections</span></div> | |
| <div><b>37</b><span>in the October drop</span></div> | |
| </div> | |
| <div class="ctas"> | |
| <a class="btn primary" href="https://huggingface.co/collections/Snapkitty/flagship-releases-october-2026-6acd83199105403d2fc0a4f2">⭐ Start here: flagship releases</a> | |
| <a class="btn" href="#catalogue">Browse all 194 repositories</a> | |
| <a class="btn" href="https://huggingface.co/models?other=october-2026-drop&author=Snapkitty">October 2026 drop</a> | |
| <a class="btn" href="https://huggingface.co/datasets/Snapkitty/cpsc-qft-paper">Latest paper</a> | |
| </div> | |
| </header> | |
| <section id="featured"> | |
| <h2>Featured release</h2> | |
| <p class="sub">New paper, with its Lean proofs and a reproducible axiom audit.</p> | |
| <div class="feature"> | |
| <div> | |
| <span class="badge new">New paper</span> <span class="badge">October 2026</span> <a class="badge" style="text-decoration:none" href="https://doi.org/10.5281/zenodo.23287576">DOI 10.5281/zenodo.23287576</a> | |
| <h3>Conservation-Preserving Compilation for a 1+1D Lattice Shadow of φ⁴</h3> | |
| <p>Symmetries of the target Hamiltonian constrain circuit synthesis instead of filtering measured shots. Every admitted Trotter schedule is proved, in Lean 4, to commute with its mode's conserved operator, for every lattice size and every angle. Each emitted schedule carries a SHA-256 certificate.</p> | |
| <div class="ctas" style="margin-top:0"> | |
| <a class="btn primary" href="https://huggingface.co/datasets/Snapkitty/cpsc-qft-paper/blob/main/paper.pdf">Read the paper</a> | |
| <a class="btn" href="https://huggingface.co/datasets/Snapkitty/cpsc-qft-paper/tree/main/proofs/lean">Lean proofs</a> | |
| <a class="btn" href="https://huggingface.co/Snapkitty/cpsc-qft">Code</a> | |
| </div> | |
| </div> | |
| <div class="proof" aria-label="Axiom audit output"> | |
| <div>$ lake build</div> | |
| <div class="ok">Build completed successfully.</div> | |
| <div style="margin-top:10px">$ lake env lean Audit.lean</div> | |
| <div><b>admitted_trotter_commutes</b></div> | |
| <div><b>operator_commutation</b></div> | |
| <div><b>emitted_commutes</b></div> | |
| <div> depends on: propext,</div> | |
| <div> Classical.choice, Quot.sound</div> | |
| <div class="ok" style="margin-top:10px">no project axioms · no sorry</div> | |
| </div> | |
| </div> | |
| </section> | |
| <section id="research"> | |
| <h2>Research highlights</h2> | |
| <p class="sub">Releases with published evidence you can check.</p> | |
| <div class="hls"> | |
| <a class="hl" href="https://huggingface.co/Snapkitty/hilbert-4b-baseline-GGUF"><span class="hl-kind">Model · GGUF</span><span class="hl-name">hilbert-4b-baseline-GGUF</span><span class="hl-desc">Hilbert's 4B decision model as Q8_0 and Q4_K_M. Q8_0 matches BF16 on 99.3% of decisions, measured row by row.</span></a> | |
| <a class="hl" href="https://huggingface.co/datasets/Snapkitty/toolgate-bench"><span class="hl-kind">Dataset</span><span class="hl-name">toolgate-bench</span><span class="hl-desc">Benchmark for tool-call gating in LLM agents: accept, require approval or reject, with a frozen held-out split.</span></a> | |
| <a class="hl" href="https://huggingface.co/Snapkitty/snapkitty-nemotron-harness"><span class="hl-kind">Model · v0.3.0</span><span class="hl-name">snapkitty-nemotron-harness</span><span class="hl-desc">Fail-closed tool gate for local agents: 0% unsafe passes on ToolGate-Bench v1, about 24 µs per decision.</span></a> | |
| <a class="hl" href="https://huggingface.co/Snapkitty/symbolic-morphology"><span class="hl-kind">Model</span><span class="hl-name">symbolic-morphology</span><span class="hl-desc">Latin verb morphology from raw letters with hand-derived gradients and no ML framework, down to NAND gates.</span></a> | |
| </div> | |
| </section> | |
| <section id="collections"> | |
| <h2>Collections</h2> | |
| <p class="sub">Every repository belongs to one of 10 collections.</p> | |
| <div class="tiles"> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/models-and-training"><span class="tile-emoji" aria-hidden="true">🧠</span><span class="tile-title">Models and Training</span><span class="tile-sub">Language models, fine-tune checkpoints, reward models and the training infrastructure behind them.</span><span class="tile-count">21 repositories · <b>3 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration"><span class="tile-emoji" aria-hidden="true">🤖</span><span class="tile-title">Agents and Orchestration</span><span class="tile-sub">Multi-agent systems, orchestration engines and autonomous execution frameworks with sealed audit trails.</span><span class="tile-count">27 repositories · <b>2 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/formal-verification"><span class="tile-emoji" aria-hidden="true">✅</span><span class="tile-title">Formal Verification</span><span class="tile-sub">Machine-checked proofs in Lean 4 and Agda, verified compilers and cross-language verification.</span><span class="tile-count">24 repositories · <b>7 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/gpu-kernels"><span class="tile-emoji" aria-hidden="true">⚡</span><span class="tile-title">GPU Kernels and Hardware</span><span class="tile-sub">CUDA kernels, synthesizable RTL accelerators, hardware operating systems and flight computers.</span><span class="tile-count">17 repositories · <b>5 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/quantum-computing"><span class="tile-emoji" aria-hidden="true">🔬</span><span class="tile-title">Quantum Computing and Physics</span><span class="tile-sub">Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics.</span><span class="tile-count">15 repositories · <b>3 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/compilers-and-runtimes"><span class="tile-emoji" aria-hidden="true">⚙️</span><span class="tile-title">Compilers and Runtimes</span><span class="tile-sub">Compilers, virtual machines, emulators, runtime engines and purpose-built languages.</span><span class="tile-count">21 repositories · <b>4 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/security-and-cryptography"><span class="tile-emoji" aria-hidden="true">🔒</span><span class="tile-title">Security and Cryptography</span><span class="tile-sub">Cryptographic verification, attestation protocols, WORM audit chains, policy engines and on-chain work.</span><span class="tile-count">17 repositories · <b>6 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/infrastructure-and-tools"><span class="tile-emoji" aria-hidden="true">🔧</span><span class="tile-title">Infrastructure and Tools</span><span class="tile-sub">MCP servers, IDEs, browsers, harnesses and the developer tooling that runs the collective.</span><span class="tile-count">25 repositories · <b>2 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/research-and-papers"><span class="tile-emoji" aria-hidden="true">📚</span><span class="tile-title">Research and Papers</span><span class="tile-sub">Published research, tournament results and open scholarship with traceable evidence.</span><span class="tile-count">16 repositories · <b>3 new</b></span></a> | |
| <a class="tile" href="https://huggingface.co/spaces/Snapkitty/community"><span class="tile-emoji" aria-hidden="true">🏰</span><span class="tile-title">Community and Culture</span><span class="tile-sub">The Saint Errant Digital Society, algorithmic art, open governance and SnapKitty culture.</span><span class="tile-count">11 repositories · <b>2 new</b></span></a> | |
| </div> | |
| </section> | |
| <section id="catalogue"> | |
| <h2>Catalogue</h2> | |
| <p class="sub">All 194 repositories in one place, grouped by collection. Search by name, language or topic.</p> | |
| <div class="toolbar"> | |
| <input id="q" type="search" placeholder="Search 194 repositories" aria-label="Search repositories"> | |
| <select id="cat" aria-label="Collection"><option value="-1">All collections</option></select> | |
| <label class="toggle"><input id="nw" type="checkbox"> October drop only</label> | |
| <span id="count" class="count"></span> | |
| </div> | |
| <div id="list"></div> | |
| </section> | |
| <section> | |
| <div class="band"> | |
| <div> | |
| <h2>Run locally</h2> | |
| <p>snapkitty-merged: our merged Nemotron 4.2B as a 2.7 GB Q4_K_M GGUF with a 4,096-token context, for llama.cpp, Ollama and LM Studio.</p> | |
| <pre class="cmd">ollama run hf.co/Snapkitty/snapkitty-merged:Q4_K_M</pre> | |
| </div> | |
| <a class="btn" href="https://huggingface.co/models?library=gguf&author=Snapkitty">All GGUF models</a> | |
| </div> | |
| </section> | |
| <section> | |
| <p class="up">Upstream contributors to <a href="https://github.com/agda/agda">Agda</a>, the dependently typed proof assistant, and <a href="https://github.com/ucsd-progsys/liquidhaskell">LiquidHaskell</a>, refinement types for Haskell from the UC San Diego Programming Systems group.</p> | |
| </section> | |
| <section id="license"> | |
| <div class="band license"> | |
| <div> | |
| <h2>Commercial license</h2> | |
| <p>SnapKitty code is open source, primarily under AGPL-3.0; each 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.</p> | |
| </div> | |
| <a class="btn primary" href="mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license">Get a commercial license</a> | |
| </div> | |
| </section> | |
| </main> | |
| <footer><div class="wrap"> | |
| <span>© 2026 Snapkitty Collective LLC</span> | |
| <span><a href="https://huggingface.co/Snapkitty">huggingface.co/Snapkitty</a> · <a href="mailto:A.parr@belespritdaccord.uk">A.parr@belespritdaccord.uk</a></span> | |
| </div></footer> | |
| <script> | |
| (() => { | |
| const CATS = [{"slug": "models-and-training", "title": "Models and Training", "emoji": "🧠"}, {"slug": "agents-and-orchestration", "title": "Agents and Orchestration", "emoji": "🤖"}, {"slug": "formal-verification", "title": "Formal Verification", "emoji": "✅"}, {"slug": "gpu-kernels", "title": "GPU Kernels and Hardware", "emoji": "⚡"}, {"slug": "quantum-computing", "title": "Quantum Computing and Physics", "emoji": "🔬"}, {"slug": "compilers-and-runtimes", "title": "Compilers and Runtimes", "emoji": "⚙️"}, {"slug": "security-and-cryptography", "title": "Security and Cryptography", "emoji": "🔒"}, {"slug": "infrastructure-and-tools", "title": "Infrastructure and Tools", "emoji": "🔧"}, {"slug": "research-and-papers", "title": "Research and Papers", "emoji": "📚"}, {"slug": "community", "title": "Community and Culture", "emoji": "🏰"}]; | |
| const ITEMS = [{"c": 0, "n": "astra-guardian-depth", "u": "https://huggingface.co/Snapkitty/astra-guardian-depth", "d": "Astra: looped-transformer reference with recurrent depth and latent reasoning, in C11, Python and CUDA.", "k": "model", "l": "NON-AI MPL-2.0", "t": ["c", "python", "cuda"], "new": true, "x": false}, {"c": 0, "n": "sovereign-reduction-algebra", "u": "https://huggingface.co/Snapkitty/sovereign-reduction-algebra", "d": "Array reduction algebra for an experimental SUBLEQ attention / bi-encoder, with exact J 9.7 and R gmp arithmetic.", "k": "model", "l": "AGPL-3.0", "t": ["apl", "j", "r"], "new": true, "x": false}, {"c": 0, "n": "tensor-roll", "u": "https://huggingface.co/Snapkitty/tensor-roll", "d": "Recursive CUDA-Q model quantizer: compress a 30B-class teacher into an ~8B student under a hard parameter budget.", "k": "model", "l": "AGPL-3.0", "t": ["python", "cuda-q"], "new": true, "x": false}, {"c": 0, "n": "hilbert-4b-baseline-GGUF", "u": "https://huggingface.co/Snapkitty/hilbert-4b-baseline-GGUF", "d": "Hilbert 4B decision baseline as Q8_0 and Q4_K_M GGUF, with row-level decision agreement against BF16 (Q8_0: 99.3%).", "k": "model", "l": "Apache-2.0", "t": ["gguf", "llama.cpp"], "new": false, "x": false}, {"c": 0, "n": "lean-llm-starter", "u": "https://huggingface.co/Snapkitty/lean-llm-starter", "d": "Starter kit connecting Lean 4 formal verification with LLM inference pipelines.", "k": "model", "l": "mpl-2.0", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 0, "n": "nano-gemini", "u": "https://huggingface.co/Snapkitty/nano-gemini", "d": "Minimal Gemini model implementation for local inference.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "pocketlearn", "u": "https://huggingface.co/Snapkitty/pocketlearn", "d": "Compact learning framework for on-device model training and inference.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "snapkitty-merged", "u": "https://huggingface.co/Snapkitty/snapkitty-merged", "d": "Nemotron Mini 4.2B GGUF (Q4_K_M). QLoRA fine-tune experiment on sovereign corpus. 2.6 GB.", "k": "model", "l": "NVIDIA Community", "t": ["gguf", "python"], "new": false, "x": false}, {"c": 0, "n": "snapkitty-mlc", "u": "https://huggingface.co/Snapkitty/snapkitty-mlc", "d": "SnapKitty Machine Learning in C: a compact C autograd and ML core library.", "k": "model", "l": "AGPL-3.0", "t": ["c"], "new": false, "x": false}, {"c": 0, "n": "snapkitty-nemotron", "u": "https://huggingface.co/Snapkitty/snapkitty-nemotron", "d": "Nemotron fine-tune checkpoint on sovereign domain data.", "k": "model", "l": "NVIDIA Community", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "snapkitty-nemotron-harness", "u": "https://huggingface.co/Snapkitty/snapkitty-nemotron-harness", "d": "Deterministic local harness for Nemotron. EmojiCode persona control, Prolog and Lean gates, sealed receipts.", "k": "model", "l": "AGPL-3.0", "t": ["python", "prolog", "lean4"], "new": false, "x": false}, {"c": 0, "n": "snapkitty-transformer", "u": "https://huggingface.co/Snapkitty/snapkitty-transformer", "d": "Corpus classification and training gate with Datalog rules and x86-64 assembly. WORM-sealed receipts.", "k": "model", "l": "BSL-1.1", "t": ["python", "asm", "datalog"], "new": false, "x": false}, {"c": 0, "n": "sovereign-gemini-gguf", "u": "https://huggingface.co/Snapkitty/sovereign-gemini-gguf", "d": "Zero-dependency GGUF binary parser and neural Graph IR for Gemini-class models without loading weights.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "sovereign-mamba", "u": "https://huggingface.co/Snapkitty/sovereign-mamba", "d": "Mamba SSM architecture integration for sovereign inference with state-space model routing.", "k": "model", "l": "AGPL-3.0", "t": ["python", "cuda"], "new": false, "x": false}, {"c": 0, "n": "sovereign-memory-twin", "u": "https://huggingface.co/Snapkitty/sovereign-memory-twin", "d": "Recurrent Memory Twin Network: Evidence/Silence verdicts, WORM-sealed, with an IBM i ledger bridge.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "sovereign-mimo-4b", "u": "https://huggingface.co/Snapkitty/sovereign-mimo-4b", "d": "4B parameter code reward model pruned from MiMo-7B. FSM pipeline, ERE gates, WORM sealing. Runs local on RTX 3080.", "k": "model", "l": "Tri-License", "t": ["python", "cuda", "gguf"], "new": false, "x": false}, {"c": 0, "n": "sovereign-qra", "u": "https://huggingface.co/Snapkitty/sovereign-qra", "d": "Deterministic routing tensor replacing softmax in MoE dispatch. Zero entropy, proved bijective. Lean 4 zero-sorry.", "k": "model", "l": "Tri-License", "t": ["lean4", "verilog", "haskell"], "new": false, "x": false}, {"c": 0, "n": "sovereign-transformer", "u": "https://huggingface.co/Snapkitty/sovereign-transformer", "d": "Transformer architecture for sovereign inference pipeline with deterministic execution.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "sovlm", "u": "https://huggingface.co/Snapkitty/sovlm", "d": "Sovereign statistical language model. N-grams, Kneser-Ney smoothing, BM25 retrieval, QRNG sampling.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "summon", "u": "https://huggingface.co/Snapkitty/summon", "d": "Pip-installable framework for sovereign fine-tuning. QLoRA, functional API, layered corpus builder, WORM chain sealing.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 0, "n": "symbolic-morphology", "u": "https://huggingface.co/Snapkitty/symbolic-morphology", "d": "From-scratch symbolic learner for Latin verb morphology: hand-derived gradients, no ML framework, implemented and benchmarked across 9 runtimes down to NAND gates.", "k": "model", "l": "AGPL-3.0", "t": ["rust", "f#", "python"], "new": false, "x": false}, {"c": 1, "n": "david", "u": "https://huggingface.co/Snapkitty/david", "d": "Synthetic David: sparse mixture-of-agents router where embeddings propose and Prolog rules decide. J, pgvector, SWI-Prolog.", "k": "model", "l": "AGPL-3.0", "t": ["j", "prolog", "sql"], "new": true, "x": false}, {"c": 1, "n": "horn-intent-engine", "u": "https://huggingface.co/Snapkitty/horn-intent-engine", "d": "Pure GDScript (Godot 4) Horn-clause resolver and declarative intent engine, with an interactive web demo.", "k": "model", "l": "AGPL-3.0", "t": ["gdscript", "javascript"], "new": true, "x": false}, {"c": 1, "n": "agentos", "u": "https://huggingface.co/Snapkitty/agentos", "d": "Operating system for sovereign agents with process isolation and verified execution.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "agentscope-sift", "u": "https://huggingface.co/Snapkitty/agentscope-sift", "d": "Security Intelligence and Forensic Triage. Built with AgentScope framework.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "automated-operator", "u": "https://huggingface.co/Snapkitty/automated-operator", "d": "Autonomous operator agent for infrastructure management and deployment orchestration.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "bert-agent", "u": "https://huggingface.co/Snapkitty/bert-agent", "d": "BERT-based agent with ERE P1-P5 verification gates for sovereign task execution.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "bob-engine", "u": "https://huggingface.co/Snapkitty/bob-engine", "d": "Core BOB orchestrator engine. Haskell + quantum monad + Watson linear attention + Mamba SSM + Prolog kernel.", "k": "model", "l": "Sovereign Source", "t": ["haskell", "prolog", "python"], "new": false, "x": false}, {"c": 1, "n": "bob-ide", "u": "https://huggingface.co/Snapkitty/bob-ide", "d": "Development environment for BOB agent system. Lean 4 gate, Ada runtime, Prolog kernel integration.", "k": "model", "l": "AGPL-3.0", "t": ["ada", "lean4", "prolog"], "new": false, "x": false}, {"c": 1, "n": "bob-reasoning", "u": "https://huggingface.co/Snapkitty/bob-reasoning", "d": "Reasoning module for BOB with formal logic chains and verified inference.", "k": "model", "l": "AGPL-3.0", "t": ["python", "prolog"], "new": false, "x": false}, {"c": 1, "n": "bob-voyager", "u": "https://huggingface.co/Snapkitty/bob-voyager", "d": "BOB exploration agent for autonomous codebase navigation and reasoning.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "burt-imma", "u": "https://huggingface.co/Snapkitty/burt-imma", "d": "BURT agent for sovereign immanent reasoning with formal proof integration.", "k": "model", "l": "Tri-License", "t": ["python", "lean4"], "new": false, "x": false}, {"c": 1, "n": "carry-agent", "u": "https://huggingface.co/Snapkitty/carry-agent", "d": "Carry-chain agent for multi-step task propagation with sealed execution receipts.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "cartographer-agent", "u": "https://huggingface.co/Snapkitty/cartographer-agent", "d": "Codebase mapping agent building navigable knowledge graphs of repository structure.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "holy-agents", "u": "https://huggingface.co/Snapkitty/holy-agents", "d": "Covenant-based agent pipeline with sealed execution contracts and WORM audit trail.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "llm-twin-arena", "u": "https://huggingface.co/Snapkitty/llm-twin-arena", "d": "Head-to-head LLM evaluation arena with deterministic scoring and reproducible benchmarks.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "nekomata", "u": "https://huggingface.co/Snapkitty/nekomata", "d": "Multi-agent coordination with forked execution paths and deterministic merging.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "NULL", "u": "https://huggingface.co/Snapkitty/NULL", "d": "SnapKitty Execution Agent: deterministic task execution with sealed audit trails.", "k": "model", "l": "AGPL-3.0", "t": ["agent"], "new": false, "x": false}, {"c": 1, "n": "sovereign-agent-kernel", "u": "https://huggingface.co/Snapkitty/sovereign-agent-kernel", "d": "6502 bare-metal multi-agent kernel. Forth runtime, SHA-512 hashing, orbital dynamics, 15 proof obligations.", "k": "model", "l": "Tri-License", "t": ["6502 asm", "forth"], "new": false, "x": false}, {"c": 1, "n": "sovereign-agi-kernel", "u": "https://huggingface.co/Snapkitty/sovereign-agi-kernel", "d": "AGI kernel with Idris 2 dependent types. Entropy bounds and WORM audit chain as types.", "k": "model", "l": "Tri-License", "t": ["idris2", "lean4"], "new": false, "x": false}, {"c": 1, "n": "sovereign-agt", "u": "https://huggingface.co/Snapkitty/sovereign-agt", "d": "C# governance stack with gRPC mesh, runtime, OS control, and SRE capabilities.", "k": "model", "l": "AGPL-3.0", "t": ["c#", "grpc"], "new": false, "x": false}, {"c": 1, "n": "sovereign-band", "u": "https://huggingface.co/Snapkitty/sovereign-band", "d": "Resonance frequency layer with 5-pass ERE verification using entropic resonance evaluation.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "sovereign-chat-harness", "u": "https://huggingface.co/Snapkitty/sovereign-chat-harness", "d": "Chat harness that checks every response with five deterministic ERE gates and seals it with a SHA-256 audit receipt.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "Sovereign-Event-Bus", "u": "https://huggingface.co/Snapkitty/Sovereign-Event-Bus", "d": "NATS-based event bus for sovereign agent coordination with verified message delivery.", "k": "model", "l": "AGPL-3.0", "t": ["go", "python"], "new": false, "x": false}, {"c": 1, "n": "sovereign-mum", "u": "https://huggingface.co/Snapkitty/sovereign-mum", "d": "Google MUM formalized as deterministic MDP. KID-8B child safety kernel in 6502 SAT.", "k": "model", "l": "Tri-License", "t": ["python", "6502 asm"], "new": false, "x": false}, {"c": 1, "n": "sovereign-router", "u": "https://huggingface.co/Snapkitty/sovereign-router", "d": "Deterministic request routing with formally verified dispatch tables.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 1, "n": "TORUS", "u": "https://huggingface.co/Snapkitty/TORUS", "d": "SnapKitty Orchestrator Agent: routes and coordinates work across the agent mesh.", "k": "dataset", "l": "AGPL-3.0", "t": ["agent"], "new": false, "x": false}, {"c": 1, "n": "twin-o-matic", "u": "https://huggingface.co/Snapkitty/twin-o-matic", "d": "Browser-based JIT LLM agent (Llama 3.2 1B via WebLLM) with live Three.js 3D tool use.", "k": "model", "l": "AGPL-3.0", "t": ["javascript", "webllm"], "new": false, "x": false}, {"c": 2, "n": "ai-free", "u": "https://huggingface.co/Snapkitty/ai-free", "d": "UniversalWord: Forth, BCPL and Wolfram front ends into one machine-word IR, with a Lean proof for every stage.", "k": "model", "l": "Parr Source", "t": ["lean4", "forth", "bcpl"], "new": true, "x": false}, {"c": 2, "n": "assertica", "u": "https://huggingface.co/Snapkitty/assertica", "d": "Deterministic proof-language compiler in Haskell with 768+ tests.", "k": "model", "l": "BSL-1.0", "t": ["haskell"], "new": true, "x": false}, {"c": 2, "n": "icp-dag-crystallizer", "u": "https://huggingface.co/Snapkitty/icp-dag-crystallizer", "d": "ICP-DAG v1.0 governance protocol formalized across Prolog, Datalog and other logic languages, with a relational lattice kernel.", "k": "model", "l": "SL-AGPL3-001", "t": ["prolog", "datalog"], "new": true, "x": false}, {"c": 2, "n": "PIRTM", "u": "https://huggingface.co/Snapkitty/PIRTM", "d": "Alloy counter-paper on the HCALC verification logs: shows each check restates its own fact, and that the same method \"proves\" a false claim.", "k": "model", "l": "AGPL-3.0", "t": ["alloy"], "new": true, "x": false}, {"c": 2, "n": "riemann-gas", "u": "https://huggingface.co/Snapkitty/riemann-gas", "d": "Riemann (primon) gas over the first primes, with kernel-verified zeta-truncation theorems in Lean 4. Does not claim RH.", "k": "model", "l": "AGPL-3.0", "t": ["lean4", "python"], "new": true, "x": false}, {"c": 2, "n": "sparse-router-formal", "u": "https://huggingface.co/Snapkitty/sparse-router-formal", "d": "Formally verified locality-aware work-stealing scheduler: Rust with Kani proofs, Lean 4, Pascal and C references.", "k": "model", "l": "SL-AGPL3-001", "t": ["rust", "lean4", "pascal"], "new": true, "x": false}, {"c": 2, "n": "unlambda-idris-spark", "u": "https://huggingface.co/Snapkitty/unlambda-idris-spark", "d": "Handwritten Unlambda derivations with checked proof terms in Idris 2, ATS and SPARK Ada.", "k": "model", "l": "Proprietary", "t": ["unlambda", "idris", "ada"], "new": true, "x": false}, {"c": 2, "n": "aes-verification-suite", "u": "https://huggingface.co/Snapkitty/aes-verification-suite", "d": "Formal verification of AES implementation correctness. Exhaustive test vectors, proof certificates.", "k": "model", "l": "Tri-License", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 2, "n": "ahmad-foundations", "u": "https://huggingface.co/Snapkitty/ahmad-foundations", "d": "Mathematical foundations in Lean 4. NLBHE, E7 lattice, black hole gravity, F4 algebra. 30+ zero-sorry theorems.", "k": "model", "l": "Tri-License", "t": ["lean4"], "new": false, "x": false}, {"c": 2, "n": "cosmic-invariant-sieve", "u": "https://huggingface.co/Snapkitty/cosmic-invariant-sieve", "d": "Invariant extraction and verification sieve for algebraic structures.", "k": "model", "l": "Sovereign Source", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 2, "n": "forge-polyglot-verifier", "u": "https://huggingface.co/Snapkitty/forge-polyglot-verifier", "d": "Cross-language verification: proofs hold across Lean 4, Agda, Haskell, and runtime implementations.", "k": "model", "l": "Sovereign Source", "t": ["lean4", "agda", "haskell"], "new": false, "x": false}, {"c": 2, "n": "hyperkitty-constraint-dsl", "u": "https://huggingface.co/Snapkitty/hyperkitty-constraint-dsl", "d": "Constraint DSL for HyperKitty pipeline with WASM compilation and formal barrier proofs.", "k": "model", "l": "BSL-1.1", "t": ["rust", "wasm"], "new": false, "x": false}, {"c": 2, "n": "integrity-constraint-governance", "u": "https://huggingface.co/Snapkitty/integrity-constraint-governance", "d": "MUMPS+ASP integrity constraint DAG with 10 invariants. Nothing executes without passing the graph.", "k": "model", "l": "Tri-License", "t": ["mumps", "asp"], "new": false, "x": false}, {"c": 2, "n": "j-matrix-twin", "u": "https://huggingface.co/Snapkitty/j-matrix-twin", "d": "Jacobian matrix formalization with interactive playground. 79 theorems, SovMonster proof suite.", "k": "model", "l": "BSL-1.1", "t": ["lean4", "javascript"], "new": false, "x": false}, {"c": 2, "n": "pure-validity", "u": "https://huggingface.co/Snapkitty/pure-validity", "d": "Pure validity checking framework with formal proof obligations and deterministic verification.", "k": "model", "l": "AGPL-3.0", "t": ["lean4"], "new": false, "x": false}, {"c": 2, "n": "quantabeta-core", "u": "https://huggingface.co/Snapkitty/quantabeta-core", "d": "Core mathematical engine for quantized algebraic beta reduction with formal proof obligations.", "k": "model", "l": "Sovereign Source", "t": ["lean4", "haskell"], "new": false, "x": false}, {"c": 2, "n": "snapkitty-open-source", "u": "https://huggingface.co/Snapkitty/snapkitty-open-source", "d": "Formally specified integrity DAG that gates every claim, proof, decision and execution in an AI pipeline.", "k": "model", "l": "AGPL-3.0", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 2, "n": "sov-kernel-monster", "u": "https://huggingface.co/Snapkitty/sov-kernel-monster", "d": "Sovereign method repository. Public code, proofs, specs vs sovereign authority, state, execution boundary.", "k": "model", "l": "Sovereign Source", "t": ["lean4", "fortran", "agda"], "new": false, "x": false}, {"c": 2, "n": "sovereign-array", "u": "https://huggingface.co/Snapkitty/sovereign-array", "d": "New array language with dependent types for shapes. Broadcasting as pullbacks. Verified softmax and NAND attention.", "k": "model", "l": "AGPL-3.0", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 2, "n": "sovereign-entropy-theorem", "u": "https://huggingface.co/Snapkitty/sovereign-entropy-theorem", "d": "Hallucination elimination via discrete minimization (H < 0.20 nats). Lean 4, Agda, Python, CUDA-Q.", "k": "model", "l": "Sovereign Source", "t": ["lean4", "agda", "python"], "new": false, "x": false}, {"c": 2, "n": "sovereign-forge", "u": "https://huggingface.co/Snapkitty/sovereign-forge", "d": "Compact C99 verification kernel. Linear-algebra witnesses with exact int64 arithmetic. Lean 4 proofs.", "k": "model", "l": "BSL-1.1", "t": ["c", "lean4"], "new": false, "x": false}, {"c": 2, "n": "sovereign-multiplicity", "u": "https://huggingface.co/Snapkitty/sovereign-multiplicity", "d": "C++20 multiplicity functor. Rational exponentiation, overflow detection, nth-root binary search.", "k": "model", "l": "AGPL-3.0", "t": ["c++"], "new": false, "x": false}, {"c": 2, "n": "sovereign-trinity-kernel", "u": "https://huggingface.co/Snapkitty/sovereign-trinity-kernel", "d": "LaTeX package: every cryptographic number proved by Lean 4, verified by Dex kernels, orchestrated by 6502 VM.", "k": "model", "l": "Tri-License", "t": ["lean4", "latex", "6502 asm"], "new": false, "x": false}, {"c": 2, "n": "xrex-invariants-formal", "u": "https://huggingface.co/Snapkitty/xrex-invariants-formal", "d": "Formal verification of computational kernel behavior. Agda proofs, Scala runtime, Starlark build gates.", "k": "model", "l": "SnapKitty", "t": ["agda", "scala", "haskell"], "new": false, "x": false}, {"c": 3, "n": "bit-string-accelerator", "u": "https://huggingface.co/Snapkitty/bit-string-accelerator", "d": "Synthesizable SystemVerilog accelerator for deterministic 64-bit-word bit addressing, FPGA and ASIC ready.", "k": "model", "l": "epl-2.0", "t": ["systemverilog"], "new": true, "x": false}, {"c": 3, "n": "flash-attention-rtl", "u": "https://huggingface.co/Snapkitty/flash-attention-rtl", "d": "FlashAttention systolic-array RTL with a SUBLEQ / phi-Born deterministic attention toolchain.", "k": "model", "l": "GPL-3.0", "t": ["systemverilog", "nim", "python"], "new": true, "x": false}, {"c": 3, "n": "Intent-V", "u": "https://huggingface.co/Snapkitty/Intent-V", "d": "RV32IM-adjacent hardware/firmware sandbox: memory-mapped accelerator, bare-metal Zig driver and an analog sanity netlist.", "k": "model", "l": "SL-AGPL3-001", "t": ["zig", "scala"], "new": true, "x": false}, {"c": 3, "n": "phaser-ags", "u": "https://huggingface.co/Snapkitty/phaser-ags", "d": "Hardware operating system for RISC-V RV32IM and ARM Cortex-A8: bootloader, kernel, drivers and shell.", "k": "model", "l": "AGPL-3.0", "t": ["zig", "assembly", "chisel"], "new": true, "x": false}, {"c": 3, "n": "rust-opencl-gpu", "u": "https://huggingface.co/Snapkitty/rust-opencl-gpu", "d": "Composable Boolean GPU kernels in Rust over OpenCL.", "k": "model", "l": "SnapKitty HW", "t": ["rust", "opencl"], "new": true, "x": false}, {"c": 3, "n": "assembly-bite", "u": "https://huggingface.co/Snapkitty/assembly-bite", "d": "Assembly language primitives for sovereign execution with verified instruction sequences.", "k": "model", "l": "Tri-License", "t": ["asm"], "new": false, "x": false}, {"c": 3, "n": "grisp-shadow-fleet", "u": "https://huggingface.co/Snapkitty/grisp-shadow-fleet", "d": "GRiSP embedded hardware fleet with shadow execution and sovereign attestation.", "k": "model", "l": "Sovereign Source", "t": ["erlang"], "new": false, "x": false}, {"c": 3, "n": "hilbert", "u": "https://huggingface.co/Snapkitty/hilbert", "d": "Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export.", "k": "model", "l": "Tri-License", "t": ["cuda", "python", "c++"], "new": false, "x": false}, {"c": 3, "n": "nvidia-stack", "u": "https://huggingface.co/Snapkitty/nvidia-stack", "d": "NVIDIA GPU computing stack integration with CUDA, PTX, and kernel optimization tooling.", "k": "model", "l": "BSL-1.1", "t": ["cuda", "ptx"], "new": false, "x": false}, {"c": 3, "n": "orbital-one", "u": "https://huggingface.co/datasets/Snapkitty/orbital-one", "d": "Browser spacecraft simulator and headless flight-model SDK.", "k": "dataset", "l": "AGPL-3.0", "t": ["javascript"], "new": false, "x": false}, {"c": 3, "n": "snapkitty-twin-mars-asm", "u": "https://huggingface.co/Snapkitty/snapkitty-twin-mars-asm", "d": "x86_64 assembly reconstruction of TWIN-MARS agent. Direct syscalls, no libc dependencies.", "k": "model", "l": "Tri-License", "t": ["x86_64 asm"], "new": false, "x": false}, {"c": 3, "n": "sovereign-ada-rtx", "u": "https://huggingface.co/Snapkitty/sovereign-ada-rtx", "d": "Complete deterministic processor in pure Ada. 21 packages, RTX tensor engine, formal assertions, Lovelace design.", "k": "model", "l": "Sovereign Source", "t": ["ada"], "new": false, "x": false}, {"c": 3, "n": "sovereign-agc", "u": "https://huggingface.co/Snapkitty/sovereign-agc", "d": "Apollo Guidance Computer rebuilt in 7 languages. Ada SPARK verification, Idris 2 proofs, Lean 4 zero-sorry.", "k": "model", "l": "Sovereign Source", "t": ["ada", "idris2", "lean4"], "new": false, "x": false}, {"c": 3, "n": "sovereign-apollo", "u": "https://huggingface.co/Snapkitty/sovereign-apollo", "d": "Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits.", "k": "model", "l": "Sovereign Source", "t": ["ada", "fortran", "python"], "new": false, "x": false}, {"c": 3, "n": "sovereign-doorbell", "u": "https://huggingface.co/Snapkitty/sovereign-doorbell", "d": "Zero-variance hardware trigger for ORTHO-32-T deterministic fabric. x86_64 assembly, SMMU shadow architecture.", "k": "model", "l": "Tri-License", "t": ["asm", "verilog"], "new": false, "x": false}, {"c": 3, "n": "sovereign-hypervisor-sdk", "u": "https://huggingface.co/Snapkitty/sovereign-hypervisor-sdk", "d": "Public API for ARM64 EL2 hypervisor, ORTHO-32-T chip fabric, formally verified AGI kernel.", "k": "model", "l": "Tri-License", "t": ["c", "arm64"], "new": false, "x": false}, {"c": 3, "n": "virtual-pe-machine", "u": "https://huggingface.co/Snapkitty/virtual-pe-machine", "d": "Virtual processing-element machine: a systolic-array simulator.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 4, "n": "cpsc-qft", "u": "https://huggingface.co/Snapkitty/cpsc-qft", "d": "Conservation-Preserving Scattering Compiler: proof-carrying lattice scattering for 1+1D scalar field theory.", "k": "model", "l": "CPSC-ESCL / AGPL-3.0", "t": ["ruby", "python", "lean4"], "new": true, "x": false}, {"c": 4, "n": "goldilocks-controlled-reduce", "u": "https://huggingface.co/Snapkitty/goldilocks-controlled-reduce", "d": "OpenQASM 3 controlled add-constant for Goldilocks-field reduction with two clean ancillas, checked in Lean 4.", "k": "model", "l": "AGPL-3.0", "t": ["openqasm", "lean4", "python"], "new": true, "x": false}, {"c": 4, "n": "tlm-jxcl-forge", "u": "https://huggingface.co/Snapkitty/tlm-jxcl-forge", "d": "TLM/JXCL twin: a 100+ crate Rust workspace with Alloy and Lean 4 verification forges.", "k": "model", "l": "AGPL-3.0", "t": ["rust", "lean4", "alloy"], "new": true, "x": false}, {"c": 4, "n": "black-hole-engine", "u": "https://huggingface.co/Snapkitty/black-hole-engine", "d": "Computational engine for black hole physics. Hawking temperature, ISCO, photon sphere proofs.", "k": "model", "l": "SnapKitty", "t": ["python", "lean4"], "new": false, "x": false}, {"c": 4, "n": "black-hole-entropy-spiral", "u": "https://huggingface.co/Snapkitty/black-hole-entropy-spiral", "d": "Logarithmic-spiral detection in synthetic black-hole entropy matrices.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 4, "n": "p3q-tsql", "u": "https://huggingface.co/Snapkitty/p3q-tsql", "d": "Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). P3Q-TLM: an F2^8 pipeline with Lean files and reversible quantum-circuit simulation.", "k": "model", "l": "AGPL-3.0", "t": ["t-sql", "lean4"], "new": false, "x": true}, {"c": 4, "n": "quantum-kernel", "u": "https://huggingface.co/Snapkitty/quantum-kernel", "d": "Quantum computational kernel. TDA-to-braid-to-lattice surgery pipeline for heavy-hex hardware.", "k": "model", "l": "Tri-License", "t": ["python", "qiskit"], "new": false, "x": false}, {"c": 4, "n": "quantumap", "u": "https://huggingface.co/Snapkitty/quantumap", "d": "Quantum-enhanced UMAP dimensionality reduction with topological data analysis.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 4, "n": "reverse-quantum-walk", "u": "https://huggingface.co/Snapkitty/reverse-quantum-walk", "d": "Reverse quantum walk implementation for search and optimization on graph structures.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 4, "n": "snapkitty-resonance-bridge", "u": "https://huggingface.co/Snapkitty/snapkitty-resonance-bridge", "d": "Executable bridge: GKN quartic invariant to SUBLEQ machine code via ResonanceWord encoding.", "k": "model", "l": "Sovereign Source", "t": ["python", "asm"], "new": false, "x": false}, {"c": 4, "n": "sovereign-pirtm", "u": "https://huggingface.co/Snapkitty/sovereign-pirtm", "d": "C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen.", "k": "model", "l": "AGPL-3.0", "t": ["c++", "mlir"], "new": false, "x": false}, {"c": 4, "n": "tlm-jxcl", "u": "https://huggingface.co/Snapkitty/tlm-jxcl", "d": "Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral addressing.", "k": "model", "l": "Tri-License", "t": ["vhdl", "rust"], "new": false, "x": true}, {"c": 4, "n": "tlm-p3-gate", "u": "https://huggingface.co/datasets/Snapkitty/tlm-p3-gate", "d": "DEFECTIVE, do not use (SNAPKITTY-SA-2026-001): gate-level AES MixColumns that does not compute AES; tests and Lean proofs do not hold.", "k": "dataset", "l": "AGPL-3.0", "t": ["vhdl"], "new": false, "x": true}, {"c": 4, "n": "tlm-quantum", "u": "https://huggingface.co/Snapkitty/tlm-quantum", "d": "Recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over GF(2^8).", "k": "model", "l": "AGPL-3.0", "t": ["algol", "python"], "new": false, "x": false}, {"c": 4, "n": "topological-quantum-computer", "u": "https://huggingface.co/Snapkitty/topological-quantum-computer", "d": "Fibonacci-anyon topological quantum computing. Lean 4 proofs, SHA-520 cryptanalysis resource estimation.", "k": "model", "l": "Tri-License", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 5, "n": "alp-carry", "u": "https://huggingface.co/Snapkitty/alp-carry", "d": "Horn-clause refinement compiled at synthesis time into an x86-64 carry kernel, verified against a portable scalar model.", "k": "model", "l": "AGPL-3.0", "t": ["c", "nasm", "janet"], "new": true, "x": false}, {"c": 5, "n": "bsh-harness", "u": "https://huggingface.co/Snapkitty/bsh-harness", "d": "Binary Substrate Harness: zero-dependency, ahead-of-time compiled transformer inference engine.", "k": "model", "l": "AGPL-3.0", "t": ["c", "cmake"], "new": true, "x": false}, {"c": 5, "n": "cobalt-transformer-twin", "u": "https://huggingface.co/Snapkitty/cobalt-transformer-twin", "d": "Cobalt: a COBOL transformer that parses before it models, running live in the browser.", "k": "model", "l": "MIT", "t": ["rust", "cobol", "haskell"], "new": true, "x": false}, {"c": 5, "n": "semantic-engine", "u": "https://huggingface.co/Snapkitty/semantic-engine", "d": "Deterministic pipeline from natural language to IR, Boolean logic, Latin and SUBLEQ.", "k": "model", "l": "MPL-2.0", "t": ["python", "mustache"], "new": true, "x": false}, {"c": 5, "n": "apple-ii-universal-machine", "u": "https://huggingface.co/Snapkitty/apple-ii-universal-machine", "d": "Inverted monorepo. Apple II universal machine with sovereign overlay. Live on GitHub Pages.", "k": "model", "l": "Sovereign Source", "t": ["javascript", "6502 asm"], "new": false, "x": false}, {"c": 5, "n": "asos-syscall-os", "u": "https://huggingface.co/Snapkitty/asos-syscall-os", "d": "Bare-metal OS with direct syscall interface for sovereign agent execution.", "k": "model", "l": "Sovereign Source", "t": ["c", "asm"], "new": false, "x": false}, {"c": 5, "n": "MACROGROK", "u": "https://huggingface.co/Snapkitty/MACROGROK", "d": "Macro processing engine for sovereign code generation with deterministic expansion.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 5, "n": "macrogrok-harness", "u": "https://huggingface.co/Snapkitty/macrogrok-harness", "d": "Test harness for MACROGROK with deterministic replay and verification.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 5, "n": "mantra", "u": "https://huggingface.co/datasets/Snapkitty/mantra", "d": "A deterministic, auditable programming language for ledger operations, cryptographic sealing and verified integer computation.", "k": "dataset", "l": "AGPL-3.0", "t": ["mantra"], "new": false, "x": false}, {"c": 5, "n": "neurological-regex", "u": "https://huggingface.co/Snapkitty/neurological-regex", "d": "Neural-inspired regex engine with formal pattern matching and sovereign execution.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 5, "n": "perplexity-macro-vm", "u": "https://huggingface.co/Snapkitty/perplexity-macro-vm", "d": "Macro virtual machine for perplexity-guided code generation and evaluation.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 5, "n": "snapkitty-clojure-lisp-bridge", "u": "https://huggingface.co/Snapkitty/snapkitty-clojure-lisp-bridge", "d": "Sovereign LISP machine. Semantic knowledge layer, EmojiScript bytecode, LTMS truth maintenance.", "k": "model", "l": "AGPL-3.0", "t": ["clojure", "lean4"], "new": false, "x": false}, {"c": 5, "n": "sovereign-array-frontend", "u": "https://huggingface.co/Snapkitty/sovereign-array-frontend", "d": "Browser playground implementing denotational semantics matching the Lean 4 spec for Sovereign Array Language.", "k": "model", "l": "Sovereign Source", "t": ["javascript", "lean4"], "new": false, "x": false}, {"c": 5, "n": "sovereign-compiler", "u": "https://huggingface.co/Snapkitty/sovereign-compiler", "d": "Root Fontana constitutional compiler. Rust components, Lean 4 proofs, deterministic execution engine.", "k": "model", "l": "Tri-License", "t": ["rust", "lean4"], "new": false, "x": false}, {"c": 5, "n": "sovereign-dual-runtime", "u": "https://huggingface.co/Snapkitty/sovereign-dual-runtime", "d": "Three runtimes, one WORM chain. WASM Pyodide sandbox, 6502 Sovereign VM, M5 ARM64 compatibility bridge.", "k": "model", "l": "Tri-License", "t": ["wasm", "python", "6502 asm"], "new": false, "x": false}, {"c": 5, "n": "sovereign-emulator", "u": "https://huggingface.co/Snapkitty/sovereign-emulator", "d": "Virtual machine for governed autonomous agents. Constitution engine, WORM ledger, bash, browser.", "k": "model", "l": "CC0", "t": ["python", "javascript"], "new": false, "x": false}, {"c": 5, "n": "sovereign-engine-v2", "u": "https://huggingface.co/Snapkitty/sovereign-engine-v2", "d": "Complete LLM agent dev environment. C Win32 IDE, Python inference, NASM x86-64 runtime, 34 tools.", "k": "model", "l": "Tri-License", "t": ["c", "python", "nasm"], "new": false, "x": false}, {"c": 5, "n": "sovereign-prism", "u": "https://huggingface.co/Snapkitty/sovereign-prism", "d": "Non-recursive prism compiler in OCaml. Deterministic carrier canonicalization, WORM sealing.", "k": "model", "l": "AGPL-3.0", "t": ["ocaml"], "new": false, "x": false}, {"c": 5, "n": "sovereign-temporal-root", "u": "https://huggingface.co/Snapkitty/sovereign-temporal-root", "d": "Zero-coordination cryptographic protocol. Hardware-bound + temporal-bound keys, ghost port encryption.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 5, "n": "sovereign-xml-compiler", "u": "https://huggingface.co/Snapkitty/sovereign-xml-compiler", "d": "Zero-dependency Python compilers: XML-to-SVG scene rendering and constraint graph visualization.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 5, "n": "temple-os-oracle", "u": "https://huggingface.co/Snapkitty/temple-os-oracle", "d": "Sovereign etymology oracle on TempleOS fork. Word root mapping, WORM-sealed query receipts.", "k": "model", "l": "CC0", "t": ["hollyc"], "new": false, "x": false}, {"c": 6, "n": "forge-token", "u": "https://huggingface.co/Snapkitty/forge-token", "d": "FORGE (FRG) utility token and FORGEART on-chain generative ASCII ERC-721.", "k": "model", "l": "AGPL-3.0", "t": ["solidity"], "new": true, "x": false}, {"c": 6, "n": "hologram-re", "u": "https://huggingface.co/Snapkitty/hologram-re", "d": "Reverse-engineering analysis of hologram-ai: Alloy models of its pipeline and Rust oracle crates.", "k": "model", "l": "AGPL-3.0", "t": ["rust", "alloy"], "new": true, "x": false}, {"c": 6, "n": "rea-unary", "u": "https://huggingface.co/Snapkitty/rea-unary", "d": "Reverse-engineering pipeline from x86 machine code down to unary Boolean functions: Alloy, Dafny, VHDL and firmware.", "k": "model", "l": "AGPL-3.0 + No-AI-Training", "t": ["c", "vhdl", "typescript"], "new": true, "x": false}, {"c": 6, "n": "ruby-self-resonance", "u": "https://huggingface.co/Snapkitty/ruby-self-resonance", "d": "Coherence-based permission layer in Ruby with a Sinatra dashboard and a zero-server WebAssembly playground.", "k": "model", "l": "NON-AI MPL-2.0", "t": ["ruby", "wasm"], "new": true, "x": false}, {"c": 6, "n": "sealforge", "u": "https://huggingface.co/Snapkitty/sealforge", "d": "NOVA build and seal pipeline, plus the Sovereign 24 ASCII-art collection.", "k": "model", "l": "AGPL-3.0", "t": ["typescript"], "new": true, "x": false}, {"c": 6, "n": "snapkitty-multiplicity-counterclaim", "u": "https://huggingface.co/Snapkitty/snapkitty-multiplicity-counterclaim", "d": "Research counterclaim against the QMHES multiplicity operator: ADRs, Alloy modules, Lean sketches and a Test 3 check.", "k": "model", "l": "AGPL-3.0", "t": ["lean4", "alloy", "matlab"], "new": true, "x": false}, {"c": 6, "n": "bf-jwt-policy", "u": "https://huggingface.co/Snapkitty/bf-jwt-policy", "d": "JWT policy engine with bounded-lifetime witness evolution and cryptographic verification.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "env-ship-public", "u": "https://huggingface.co/Snapkitty/env-ship-public", "d": "Secure environment shipping with sealed configuration and verified deployment.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "license-policy-engine", "u": "https://huggingface.co/Snapkitty/license-policy-engine", "d": "Deterministic license compliance engine. Policy evaluation, sovereign node key management.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "marlborg-worm", "u": "https://huggingface.co/Snapkitty/marlborg-worm", "d": "WORM chain implementation. Append-only SHA-256 audit trail, sovereign seal generation.", "k": "model", "l": "SnapKitty", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "pax-coder", "u": "https://huggingface.co/Snapkitty/pax-coder", "d": "ADR-governed security. Integrity and authorization boundary separation. 7 Architecture Decision Records.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "snapfortress-v2", "u": "https://huggingface.co/Snapkitty/snapfortress-v2", "d": "Deterministic career compilation pipeline with cryptographically-audited verified outputs.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "sov", "u": "https://huggingface.co/datasets/Snapkitty/sov", "d": "Deterministic, content-addressed, cryptographically verified, local-first toolkit.", "k": "dataset", "l": "AGPL-3.0", "t": ["rust"], "new": false, "x": false}, {"c": 6, "n": "sovereign-addr", "u": "https://huggingface.co/Snapkitty/sovereign-addr", "d": "Non-recursive artifact addressing. SHA-256 on deterministic JSON with WORM receipts.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 6, "n": "sovereign-attestation-protocol", "u": "https://huggingface.co/Snapkitty/sovereign-attestation-protocol", "d": "Hardware-attested proof of infrastructure integrity. TPM 2.0, SGX, TrustZone, Ed25519 certificates.", "k": "model", "l": "Sovereign Source", "t": ["python", "c"], "new": false, "x": false}, {"c": 6, "n": "vault-live", "u": "https://huggingface.co/Snapkitty/vault-live", "d": "SAML 2.0 SP/IdP with NAND-gated assertion validation, XML constraints, entropy bounding, WORM audit.", "k": "model", "l": "Tri-License", "t": ["python", "xml"], "new": false, "x": false}, {"c": 6, "n": "woz-vault", "u": "https://huggingface.co/Snapkitty/woz-vault", "d": "Hardware key vault for Ed25519 sovereign keypairs. WORM-logged access events, remote wipe.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "kotlin-command-center", "u": "https://huggingface.co/Snapkitty/kotlin-command-center", "d": "Talk to your Ollama agents and administer your server from your phone, with no inbound firewall port.", "k": "model", "l": "AGPL-3.0", "t": ["kotlin"], "new": true, "x": false}, {"c": 7, "n": "snapkitty-regex", "u": "https://huggingface.co/Snapkitty/snapkitty-regex", "d": "Thompson NFA regular-expression engine in C: under 700 lines, zero dependencies, no exponential backtracking.", "k": "model", "l": "AGPL-3.0", "t": ["c"], "new": true, "x": false}, {"c": 7, "n": "abzu-sovereign-ide", "u": "https://huggingface.co/Snapkitty/abzu-sovereign-ide", "d": "ABZU checkpoint IDE for sovereign development. Context management across sessions.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "claudes-harness", "u": "https://huggingface.co/Snapkitty/claudes-harness", "d": "Harness integration for Claude with sovereign verification and sealed interaction receipts.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "devflow-finance-twin", "u": "https://huggingface.co/datasets/Snapkitty/devflow-finance-twin", "d": "DevFlow Finance: IBM i banking-as-a-service ledger twin with DB2, RPGLE, COBOL and C#.", "k": "dataset", "l": "FSL-1.1", "t": ["c#", "cobol", "rpgle"], "new": false, "x": false}, {"c": 7, "n": "forge-code", "u": "https://huggingface.co/datasets/Snapkitty/forge-code", "d": "Built by an agent and verified by a tournament: the Forge code corpus.", "k": "dataset", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "git-command-center", "u": "https://huggingface.co/Snapkitty/git-command-center", "d": "Visual git operations dashboard for managing sovereign repository fleet.", "k": "model", "l": "Sovereign Source", "t": ["javascript"], "new": false, "x": false}, {"c": 7, "n": "gitworld", "u": "https://huggingface.co/Snapkitty/gitworld", "d": "Visual git world explorer with cinematic asset pipeline.", "k": "model", "l": "AGPL-3.0", "t": ["javascript"], "new": false, "x": false}, {"c": 7, "n": "hyperkitty-chromium", "u": "https://huggingface.co/Snapkitty/hyperkitty-chromium", "d": "HyperKitty Chromium: the SnapKitty browser architecture built on Chromium.", "k": "model", "l": "SL-AGPL3-001", "t": ["c++"], "new": false, "x": false}, {"c": 7, "n": "kittybrowse", "u": "https://huggingface.co/Snapkitty/kittybrowse", "d": "Sovereign web browser with built-in verification and sealed browsing receipts.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "ledge", "u": "https://huggingface.co/Snapkitty/ledge", "d": "Ledger infrastructure for sovereign record keeping and audit trails.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "market-scope", "u": "https://huggingface.co/Snapkitty/market-scope", "d": "Market analysis and scoping tool for sovereign AI positioning.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "myapplication", "u": "https://huggingface.co/Snapkitty/myapplication", "d": "Application scaffold for sovereign mobile and desktop deployment.", "k": "model", "l": "Sovereign Source", "t": ["kotlin"], "new": false, "x": false}, {"c": 7, "n": "ortho32-mcp", "u": "https://huggingface.co/Snapkitty/ortho32-mcp", "d": "MCP interface for ORTHO-32-T deterministic compute fabric.", "k": "model", "l": "Tri-License", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "ortho32-sdk-java", "u": "https://huggingface.co/Snapkitty/ortho32-sdk-java", "d": "Java SDK for ORTHO-32-T fabric integration and deterministic execution.", "k": "model", "l": "Tri-License", "t": ["java"], "new": false, "x": false}, {"c": 7, "n": "rowm-polymorphic-notebook", "u": "https://huggingface.co/Snapkitty/rowm-polymorphic-notebook", "d": "Polymorphic notebook format: code, proofs, and prose in a single sealed document.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "SNAPKIT", "u": "https://huggingface.co/Snapkitty/SNAPKIT", "d": "Tools catalog for the SnapKitty ecosystem. Index of all available utilities.", "k": "model", "l": "Sovereign Source", "t": ["markdown"], "new": false, "x": false}, {"c": 7, "n": "snapkitty-harness", "u": "https://huggingface.co/Snapkitty/snapkitty-harness", "d": "Core SnapKitty execution harness with deterministic pipeline and WORM audit chain.", "k": "model", "l": "NVIDIA Community", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "snapkitty-mcp", "u": "https://huggingface.co/Snapkitty/snapkitty-mcp", "d": "MCP server exposing SnapKitty core: WORM sealing, agent building, Ada contracts, SSM injection.", "k": "model", "l": "Sovereign Source", "t": ["typescript"], "new": false, "x": false}, {"c": 7, "n": "snapkitty-ocr", "u": "https://huggingface.co/Snapkitty/snapkitty-ocr", "d": "Android OCR app: handwritten notebooks into THE BOOK digital corpus. SHA-256 sealing.", "k": "model", "l": "AGPL-3.0", "t": ["kotlin", "android"], "new": false, "x": false}, {"c": 7, "n": "sovereign-context-tools", "u": "https://huggingface.co/Snapkitty/sovereign-context-tools", "d": "Three-component digital masonry: EDUALC linter, ABZU garbage collector, Bifrost state packet.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 7, "n": "sovereign-harness", "u": "https://huggingface.co/Snapkitty/sovereign-harness", "d": "Unified entry point for sovereign AI stack. One-line bash/PowerShell installer, browser-first UI.", "k": "model", "l": "AGPL-3.0", "t": ["python", "bash"], "new": false, "x": false}, {"c": 7, "n": "sovereign-ide", "u": "https://huggingface.co/Snapkitty/sovereign-ide", "d": "16-layer Fortran 2018 starter kit for sovereign IDE with quantum engines and WASM browser deployment.", "k": "model", "l": "AGPL-3.0", "t": ["fortran", "wasm"], "new": false, "x": false}, {"c": 7, "n": "sovereign-ide-extensions", "u": "https://huggingface.co/Snapkitty/sovereign-ide-extensions", "d": "VS Code extensions for MAGMA protocol governance, code sealing, WORM chain status.", "k": "model", "l": "Sovereign Source", "t": ["typescript"], "new": false, "x": false}, {"c": 7, "n": "sovereign-mcp", "u": "https://huggingface.co/Snapkitty/sovereign-mcp", "d": "Provider-independent Model Context Protocol. ERE verification gates, Ed25519 signing, WORM receipts.", "k": "model", "l": "FSL-1.1", "t": ["python"], "new": false, "x": false}, {"c": 8, "n": "cpsc-qft-paper", "u": "https://huggingface.co/datasets/Snapkitty/cpsc-qft-paper", "d": "Paper: conservation-preserving compilation for a 1+1D lattice shadow of φ⁴, with Lean operator-commutation proofs for every admitted Trotter schedule.", "k": "dataset", "l": "GPL-3.0+", "t": ["lean4", "qsharp", "pdf"], "new": false, "x": false}, {"c": 8, "n": "foundry-j", "u": "https://huggingface.co/Snapkitty/foundry-j", "d": "Pure-J recreation of Foundry F1's math cores: Goldilocks field, prime monomial matrices, spectral governor, Banach recurrence.", "k": "model", "l": "AGPL-3.0", "t": ["j"], "new": true, "x": false}, {"c": 8, "n": "hcalc", "u": "https://huggingface.co/Snapkitty/hcalc", "d": "Nested contraction recurrence specified in prose, checked in Alloy, formalized in Lean 4 and implemented in J.", "k": "model", "l": "AGPL-3.0", "t": ["lean4", "alloy", "j"], "new": true, "x": false}, {"c": 8, "n": "sedona-k", "u": "https://huggingface.co/Snapkitty/sedona-k", "d": "Layer-1 Sedona Spine constants read as a classical Riemann gas over the first 64 primes, computed in ngn/k.", "k": "model", "l": "AGPL-3.0", "t": ["k"], "new": true, "x": false}, {"c": 8, "n": "bio-semantics", "u": "https://huggingface.co/Snapkitty/bio-semantics", "d": "Gene-expression semantic modelling pipeline.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 8, "n": "cartographer-corpus", "u": "https://huggingface.co/datasets/Snapkitty/cartographer-corpus", "d": "67 domain-specific training examples across 9 chapters: credit repair, trust architecture, ACH disputes, FCRA law, fiduciary agents, bankruptcy, IRS audit codes.", "k": "dataset", "l": "AGPL-3.0", "t": ["jsonl", "67 records"], "new": false, "x": false}, {"c": 8, "n": "forge-tournament-paper", "u": "https://huggingface.co/datasets/Snapkitty/forge-tournament-paper", "d": "Reverse-engineering computational constraints from ancient numerical systems to topological cryptography.", "k": "dataset", "l": "AGPL-3.0", "t": ["latex"], "new": false, "x": false}, {"c": 8, "n": "ironic-mirror", "u": "https://huggingface.co/Snapkitty/ironic-mirror", "d": "Reflective analysis framework for sovereign AI introspection and self-evaluation.", "k": "model", "l": "SnapKitty", "t": ["python"], "new": false, "x": false}, {"c": 8, "n": "quantum-swarm", "u": "https://huggingface.co/Snapkitty/quantum-swarm", "d": "Quantum-inspired swarm intelligence for multi-agent coordination and optimization.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 8, "n": "snapkitty-mistral", "u": "https://huggingface.co/Snapkitty/snapkitty-mistral", "d": "Mistral fine-tune checkpoint on sovereign domain data. Experiment toward own-model training.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 8, "n": "snapkitty-papers", "u": "https://huggingface.co/Snapkitty/snapkitty-papers", "d": "Research publications: architecture, PIRTM, octonions, Coxeter/Weyl, EmojiScript, Goldilocks mathematics.", "k": "model", "l": "AGPL-3.0", "t": ["latex", "lean4"], "new": false, "x": false}, {"c": 8, "n": "SNAPKITTYWEST-public-snapshot", "u": "https://huggingface.co/Snapkitty/SNAPKITTYWEST-public-snapshot", "d": "Public snapshot of organization state and full repository inventory.", "k": "model", "l": "Sovereign Source", "t": ["markdown"], "new": false, "x": false}, {"c": 8, "n": "sovereign-papers", "u": "https://huggingface.co/datasets/Snapkitty/sovereign-papers", "d": "25 LaTeX research papers: mathematical foundations, AI agent research, tournament papers, cryptanalysis, and architecture. Includes compiled PDFs.", "k": "dataset", "l": "AGPL-3.0", "t": ["latex", "25 papers"], "new": false, "x": false}, {"c": 8, "n": "sovereign-tournament", "u": "https://huggingface.co/Snapkitty/sovereign-tournament", "d": "Formal mathematics tournament. Sovereign agents vs frontier models. Nova defeated Nemotron. 8 published papers.", "k": "model", "l": "Tri-License", "t": ["lean4", "python"], "new": false, "x": false}, {"c": 8, "n": "sovereign-training-corpus", "u": "https://huggingface.co/datasets/Snapkitty/sovereign-training-corpus", "d": "882 curated prompt/completion pairs from WORM-sealed agent execution. Primary training corpus, chat format, adversarial sessions, PAX-Coder splits.", "k": "dataset", "l": "AGPL-3.0", "t": ["jsonl", "882 records"], "new": false, "x": false}, {"c": 8, "n": "worm-chain-archive", "u": "https://huggingface.co/datasets/Snapkitty/worm-chain-archive", "d": "Append-only SHA-256 audit chain logs from 11 sovereign agents. 39 MB of cryptographically sealed execution records.", "k": "dataset", "l": "AGPL-3.0", "t": ["jsonl", "39 MB"], "new": false, "x": false}, {"c": 9, "n": "repoverse", "u": "https://huggingface.co/Snapkitty/repoverse", "d": "SNAPKITTY REPOVERSE: turns GitHub repositories into a deterministic world manifest and a chunked voxel world.", "k": "model", "l": "No license file", "t": ["c#", "c++", "lua"], "new": true, "x": false}, {"c": 9, "n": "seit", "u": "https://huggingface.co/Snapkitty/seit", "d": "SEIT, the SnapKitty External Intelligence Team: page recreation, thermodynamic loop and nine products in C, Haskell and Unlambda.", "k": "model", "l": "SEIT FSL", "t": ["c", "haskell", "unlambda"], "new": true, "x": false}, {"c": 9, "n": "frankenstein", "u": "https://huggingface.co/Snapkitty/frankenstein", "d": "Experimental composition framework for stitching sovereign components into novel configurations.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 9, "n": "sacm-bridge", "u": "https://huggingface.co/Snapkitty/sacm-bridge", "d": "SACM bridge for sovereign artifact lifecycle management and compliance tracking.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 9, "n": "sacm-optimizer", "u": "https://huggingface.co/Snapkitty/sacm-optimizer", "d": "Optimization layer for SACM artifact pipelines with deterministic scheduling.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 9, "n": "sacm-sovereign", "u": "https://huggingface.co/Snapkitty/sacm-sovereign", "d": "SEIT NGO charter. Immutable ledger for vendor lock-in removal, cryptographic participant records.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}, {"c": 9, "n": "saint-errant", "u": "https://huggingface.co/Snapkitty/saint-errant", "d": "Non-profit NGO building sovereign digital infrastructure with local LLM reasoning and 11 sovereign agents.", "k": "model", "l": "Sovereign Source", "t": ["python"], "new": false, "x": false}, {"c": 9, "n": "saint-errant-digital-society", "u": "https://huggingface.co/Snapkitty/saint-errant-digital-society", "d": "Grassroots builder collective organized into guilds: Forge, Cipher, Herald, Prism. Open membership.", "k": "model", "l": "AGPL-3.0", "t": ["markdown"], "new": false, "x": false}, {"c": 9, "n": "snapkitty-algo-art", "u": "https://huggingface.co/Snapkitty/snapkitty-algo-art", "d": "Enter text and watch five computational processes execute in parallel as generative art.", "k": "model", "l": "AGPL-3.0", "t": ["javascript"], "new": false, "x": false}, {"c": 9, "n": "snapkitty-deeds", "u": "https://huggingface.co/Snapkitty/snapkitty-deeds", "d": "AI governance trust deed system using APL reduction operators with WORM-sealed cryptographic audit chain.", "k": "model", "l": "CC0", "t": ["apl", "python"], "new": false, "x": false}, {"c": 9, "n": "snapkitty-tg", "u": "https://huggingface.co/Snapkitty/snapkitty-tg", "d": "Telegram integration for SnapKitty sovereign agent communication.", "k": "model", "l": "AGPL-3.0", "t": ["python"], "new": false, "x": false}]; | |
| const q = document.getElementById('q'), sel = document.getElementById('cat'), nw = document.getElementById('nw'); | |
| const list = document.getElementById('list'), count = document.getElementById('count'); | |
| CATS.forEach((c, i) => { const o = document.createElement('option'); o.value = i; o.textContent = c.title; sel.appendChild(o); }); | |
| ITEMS.forEach(it => it.s = (it.n + ' ' + it.d + ' ' + it.t.join(' ') + ' ' + it.k + ' ' + it.l).toLowerCase()); | |
| const esc = s => s.replace(/[&<>"]/g, ch => ({'&':'&','<':'<','>':'>','"':'"'})[ch]); | |
| function render() { | |
| const term = q.value.trim().toLowerCase(), ci = +sel.value, onlyNew = nw.checked; | |
| let n = 0, out = ''; | |
| CATS.forEach((c, i) => { | |
| if (ci >= 0 && ci !== i) return; | |
| const rows = ITEMS.filter(it => it.c === i && (!onlyNew || it.new) && (!term || it.s.includes(term))) | |
| .sort((a, b) => (b.new - a.new) || a.n.localeCompare(b.n, undefined, {sensitivity: 'base'})); | |
| if (!rows.length) return; | |
| n += rows.length; | |
| out += '<div class="group"><h3><span aria-hidden="true">' + c.emoji + '</span><a href="https://huggingface.co/spaces/Snapkitty/' + c.slug + '">' + esc(c.title) + '</a><small>' + rows.length + '</small></h3><div class="rows">' + | |
| rows.map(it => '<a class="row" href="' + esc(it.u) + '"><span class="nm">' + esc(it.n) + '</span><span class="ds">' + esc(it.d) + '</span><span class="mt">' + | |
| (it.x ? '<span class="badge bad">Defective</span>' : '') + (it.new ? '<span class="badge new">New</span>' : '') + '<span class="badge">' + esc(it.k) + '</span><span class="badge">' + esc(it.l) + '</span></span></a>').join('') + '</div></div>'; | |
| }); | |
| list.innerHTML = out || '<p class="empty">No repositories match.</p>'; | |
| count.textContent = n + (n === 1 ? ' repository' : ' repositories'); | |
| } | |
| q.addEventListener('input', render); sel.addEventListener('change', render); nw.addEventListener('change', render); | |
| render(); | |
| })(); | |
| </script> | |
| </body> | |
| </html> | |