File size: 17,434 Bytes
cfd74e2 bbad0ef cfd74e2 a1b23d4 cfd74e2 2490b50 bbad0ef 2490b50 cfd74e2 bbad0ef a1b23d4 cfd74e2 bbad0ef cfd74e2 a1b23d4 cfd74e2 a1b23d4 cfd74e2 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 | <!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>
|