🐈 SnapKittyAll collections
🔒 Collection

Security and Cryptography

Cryptographic verification, attestation protocols, WORM audit chains, policy engines and on-chain work.

NewmodelAGPL-3.0

hologram-re

Reverse-engineering analysis of hologram-ai: Alloy models of its pipeline and Rust oracle crates.

NewmodelAGPL-3.0 + No-AI-Training

rea-unary

Reverse-engineering pipeline from x86 machine code down to unary Boolean functions: Alloy, Dafny, VHDL and firmware.

cvhdltypescript
modelTri-License

pax-coder

ADR-governed security. Integrity and authorization boundary separation. 7 Architecture Decision Records.

datasetAGPL-3.0

sov

Deterministic, content-addressed, cryptographically verified, local-first toolkit.

modelTri-License

vault-live

SAML 2.0 SP/IdP with NAND-gated assertion validation, XML constraints, entropy bounding, WORM audit.

modelSovereign Source

woz-vault

Hardware key vault for Ed25519 sovereign keypairs. WORM-logged access events, remote wipe.

Commercial license

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.

Get a commercial license