| <!doctype html> |
| <html lang="en"> |
| <head> |
| <meta charset="utf-8"> |
| <meta name="viewport" content="width=device-width, initial-scale=1"> |
| <title>Security and Cryptography · SnapKitty</title> |
| <meta name="description" content="Cryptographic verification, attestation protocols, WORM audit chains, policy engines and on-chain work."> |
| <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"> |
| <link rel="stylesheet" href="style.css"> |
| </head> |
| <body> |
| <header class="topbar"><a class="brand" href="https://huggingface.co/spaces/Snapkitty/README">🐈 SnapKitty</a><a class="back" href="https://huggingface.co/Snapkitty">All collections</a></header> |
| <main class="wrap"> |
| <section class="hero"> |
| <div class="eyebrow">🔒 Collection</div> |
| <h1>Security and Cryptography</h1> |
| <p class="lede">Cryptographic verification, attestation protocols, WORM audit chains, policy engines and on-chain work.</p> |
| </section> |
| <div class="toolbar"> |
| <input id="q" type="search" placeholder="Search 17 repositories" aria-label="Search repositories"> |
| <div class="chips"><button class="chip" data-mode="all" aria-pressed="true">All</button><button class="chip" data-mode="new" aria-pressed="false">New</button><button class="chip" data-mode="model" aria-pressed="false">Models</button><button class="chip" data-mode="dataset" aria-pressed="false">Datasets</button></div> |
| <span id="count" class="count"></span> |
| </div> |
| <section class="grid"> |
| <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"> |
| <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> |
| <h3><a href="https://huggingface.co/Snapkitty/forge-token">forge-token</a></h3> |
| <p>FORGE (FRG) utility token and FORGEART on-chain generative ASCII ERC-721.</p> |
| <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> |
| </article> |
| <article class="card" data-kind="model" data-new="true" data-search="hologram-re reverse-engineering analysis of hologram-ai: alloy models of its pipeline and rust oracle crates. rust alloy model agpl-3.0"> |
| <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> |
| <h3><a href="https://huggingface.co/Snapkitty/hologram-re">hologram-re</a></h3> |
| <p>Reverse-engineering analysis of hologram-ai: Alloy models of its pipeline and Rust oracle crates.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">rust</span><span class="tag">alloy</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/hologram-re">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/hologram-re">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="true" data-search="rea-unary reverse-engineering pipeline from x86 machine code down to unary boolean functions: alloy, dafny, vhdl and firmware. c vhdl typescript model agpl-3.0 + no-ai-training"> |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0 + No-AI-Training</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/rea-unary">rea-unary</a></h3> |
| <p>Reverse-engineering pipeline from x86 machine code down to unary Boolean functions: Alloy, Dafny, VHDL and firmware.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">c</span><span class="tag">vhdl</span><span class="tag">typescript</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/rea-unary">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/rea-unary">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="true" data-search="ruby-self-resonance coherence-based permission layer in ruby with a sinatra dashboard and a zero-server webassembly playground. ruby wasm model non-ai mpl-2.0"> |
| <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">NON-AI MPL-2.0</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/ruby-self-resonance">ruby-self-resonance</a></h3> |
| <p>Coherence-based permission layer in Ruby with a Sinatra dashboard and a zero-server WebAssembly playground.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">ruby</span><span class="tag">wasm</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/ruby-self-resonance">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/ruby-self-resonance">GitHub</a></div></div> |
| </article> |
| <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"> |
| <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> |
| <h3><a href="https://huggingface.co/Snapkitty/sealforge">sealforge</a></h3> |
| <p>NOVA build and seal pipeline, plus the Sovereign 24 ASCII-art collection.</p> |
| <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> |
| </article> |
| <article class="card" data-kind="model" data-new="true" data-search="snapkitty-multiplicity-counterclaim research counterclaim against the qmhes multiplicity operator: adrs, alloy modules, lean sketches and a test 3 check. lean4 alloy matlab model agpl-3.0"> |
| <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> |
| <h3><a href="https://huggingface.co/Snapkitty/snapkitty-multiplicity-counterclaim">snapkitty-multiplicity-counterclaim</a></h3> |
| <p>Research counterclaim against the QMHES multiplicity operator: ADRs, Alloy modules, Lean sketches and a Test 3 check.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">lean4</span><span class="tag">alloy</span><span class="tag">matlab</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/snapkitty-multiplicity-counterclaim">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/snapkitty-multiplicity-counterclaim">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="bf-jwt-policy jwt policy engine with bounded-lifetime witness evolution and cryptographic verification. python model tri-license"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/bf-jwt-policy">bf-jwt-policy</a></h3> |
| <p>JWT policy engine with bounded-lifetime witness evolution and cryptographic verification.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/bf-jwt-policy">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/bf-jwt-policy">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="env-ship-public secure environment shipping with sealed configuration and verified deployment. python model agpl-3.0"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/env-ship-public">env-ship-public</a></h3> |
| <p>Secure environment shipping with sealed configuration and verified deployment.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/env-ship-public">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/env-ship-public">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="license-policy-engine deterministic license compliance engine. policy evaluation, sovereign node key management. python model tri-license"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/license-policy-engine">license-policy-engine</a></h3> |
| <p>Deterministic license compliance engine. Policy evaluation, sovereign node key management.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/license-policy-engine">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/license-policy-engine">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="marlborg-worm worm chain implementation. append-only sha-256 audit trail, sovereign seal generation. python model snapkitty"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">SnapKitty</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/marlborg-worm">marlborg-worm</a></h3> |
| <p>WORM chain implementation. Append-only SHA-256 audit trail, sovereign seal generation.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/marlborg-worm">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/marlborg-worm">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="pax-coder adr-governed security. integrity and authorization boundary separation. 7 architecture decision records. python model tri-license"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/pax-coder">pax-coder</a></h3> |
| <p>ADR-governed security. Integrity and authorization boundary separation. 7 Architecture Decision Records.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/pax-coder">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/pax-coder">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="snapfortress-v2 deterministic career compilation pipeline with cryptographically-audited verified outputs. python model agpl-3.0"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/snapfortress-v2">snapfortress-v2</a></h3> |
| <p>Deterministic career compilation pipeline with cryptographically-audited verified outputs.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/snapfortress-v2">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/snapfortress-v2">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="dataset" data-new="false" data-search="sov deterministic, content-addressed, cryptographically verified, local-first toolkit. rust dataset agpl-3.0"> |
| <div class="card-top"><span class="badge kind">dataset</span><span class="badge lic">AGPL-3.0</span></div> |
| <h3><a href="https://huggingface.co/datasets/Snapkitty/sov">sov</a></h3> |
| <p>Deterministic, content-addressed, cryptographically verified, local-first toolkit.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">rust</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/sov">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sov">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-addr non-recursive artifact addressing. sha-256 on deterministic json with worm receipts. python model agpl-3.0"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-addr">sovereign-addr</a></h3> |
| <p>Non-recursive artifact addressing. SHA-256 on deterministic JSON with WORM receipts.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-addr">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-addr">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="sovereign-attestation-protocol hardware-attested proof of infrastructure integrity. tpm 2.0, sgx, trustzone, ed25519 certificates. python c model sovereign source"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/sovereign-attestation-protocol">sovereign-attestation-protocol</a></h3> |
| <p>Hardware-attested proof of infrastructure integrity. TPM 2.0, SGX, TrustZone, Ed25519 certificates.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span><span class="tag">c</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-attestation-protocol">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-attestation-protocol">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="vault-live saml 2.0 sp/idp with nand-gated assertion validation, xml constraints, entropy bounding, worm audit. python xml model tri-license"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/vault-live">vault-live</a></h3> |
| <p>SAML 2.0 SP/IdP with NAND-gated assertion validation, XML constraints, entropy bounding, WORM audit.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span><span class="tag">xml</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/vault-live">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/vault-live">GitHub</a></div></div> |
| </article> |
| <article class="card" data-kind="model" data-new="false" data-search="woz-vault hardware key vault for ed25519 sovereign keypairs. worm-logged access events, remote wipe. python model sovereign source"> |
| <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Sovereign Source</span></div> |
| <h3><a href="https://huggingface.co/Snapkitty/woz-vault">woz-vault</a></h3> |
| <p>Hardware key vault for Ed25519 sovereign keypairs. WORM-logged access events, remote wipe.</p> |
| <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/woz-vault">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/woz-vault">GitHub</a></div></div> |
| </article> |
| </section> |
| <section class="commercial"> |
| <div> |
| <h2>Commercial license</h2> |
| <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> |
| </div> |
| <a class="btn" href="mailto:A.parr@belespritdaccord.uk?subject=SnapKitty%20commercial%20license">Get a commercial license</a> |
| </section> |
| </main> |
| <footer class="footer"> |
| <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> |
| </footer> |
| <script> |
| (() => { |
| const q = document.getElementById('q'), chips = [...document.querySelectorAll('.chip')], cards = [...document.querySelectorAll('.card')]; |
| const count = document.getElementById('count'); let mode = 'all'; |
| function apply() { |
| const term = (q.value || '').trim().toLowerCase(); let n = 0; |
| for (const c of cards) { |
| const okMode = mode === 'all' || (mode === 'new' ? c.dataset.new === 'true' : c.dataset.kind === mode); |
| const ok = okMode && (!term || c.dataset.search.includes(term)); |
| c.hidden = !ok; if (ok) n++; |
| } |
| count.textContent = n + (n === 1 ? ' repository' : ' repositories'); |
| } |
| q.addEventListener('input', apply); |
| chips.forEach(ch => ch.addEventListener('click', () => { chips.forEach(x => x.setAttribute('aria-pressed', 'false')); ch.setAttribute('aria-pressed', 'true'); mode = ch.dataset.mode; apply(); })); |
| apply(); |
| })(); |
| </script> |
| </body> |
| </html> |
|
|
