index.html

<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>SnapKitty Collective — Sovereign AI Infrastructure</title>
<style>
  :root {
    --bg: #0a0a0f; --surface: #111118; --border: #1e1e2e;
    --accent: #8b5cf6; --accent2: #06b6d4; --accent3: #10b981;
    --text: #e2e8f0; --muted: #94a3b8; --dim: #64748b;
    --warn: #f59e0b; --red: #ef4444;
  }
  * { box-sizing: border-box; margin: 0; padding: 0; }
  body {
    background: var(--bg); color: var(--text);
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
    line-height: 1.6; overflow-x: hidden;
  }
  a { color: var(--accent2); text-decoration: none; }
  a:hover { text-decoration: underline; }

  .hero {
    text-align: center; padding: 56px 24px 32px; position: relative;
  }
  .hero::before {
    content: ''; position: absolute; inset: 0;
    background: radial-gradient(ellipse 80% 50% at 50% 0%, rgba(139,92,246,0.12) 0%, transparent 70%);
    pointer-events: none;
  }
  .hero h1 { font-size: 2.4rem; font-weight: 700; letter-spacing: -0.02em; }
  .hero h1 span { color: var(--accent); }
  .tagline { margin-top: 8px; color: var(--muted); font-size: 1.05rem; max-width: 680px; margin-inline: auto; }
  .stats {
    display: flex; gap: 40px; justify-content: center; margin-top: 20px; flex-wrap: wrap;
  }
  .stat-num { font-size: 1.6rem; font-weight: 700; color: var(--accent); }
  .stat-label { font-size: 0.7rem; color: var(--dim); text-transform: uppercase; letter-spacing: 0.08em; }
  .links {
    display: flex; gap: 12px; justify-content: center; margin-top: 20px; flex-wrap: wrap;
  }
  .links a {
    padding: 8px 20px; border-radius: 8px; font-size: 0.85rem;
    border: 1px solid var(--border); color: var(--text); transition: all 0.2s;
  }
  .links a:hover { border-color: var(--accent); color: var(--accent); }
  .links a.primary { background: var(--accent); border-color: var(--accent); color: #fff; }

  .container { max-width: 1100px; margin: 0 auto; padding: 0 24px; }

  .section { padding: 32px 0; }
  .section-title {
    font-size: 1.15rem; font-weight: 600; margin-bottom: 16px;
    padding-bottom: 10px; border-bottom: 1px solid var(--border);
  }

  .mission {
    background: var(--surface); border: 1px solid var(--border); border-radius: 12px;
    padding: 28px 32px; margin: 32px 0; text-align: center;
  }
  .mission h2 { font-size: 1.1rem; color: var(--accent); margin-bottom: 8px; }
  .mission p { color: var(--muted); font-size: 0.9rem; max-width: 700px; margin-inline: auto; }

  .grid-3 {
    display: grid; grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
    gap: 14px;
  }
  .card {
    background: var(--surface); border: 1px solid var(--border); border-radius: 10px;
    padding: 18px 20px; transition: border-color 0.2s;
  }
  .card:hover { border-color: var(--accent); }
  .card h3 { font-size: 0.95rem; font-weight: 600; margin-bottom: 6px; }
  .card h3 a { color: var(--accent2); }
  .card p { color: var(--muted); font-size: 0.82rem; line-height: 1.5; }
  .card .tag {
    display: inline-block; margin-top: 8px; padding: 2px 8px; border-radius: 4px;
    font-size: 0.65rem; text-transform: uppercase; letter-spacing: 0.05em;
    border: 1px solid var(--border); color: var(--dim);
  }

  .demo-card {
    background: linear-gradient(135deg, var(--surface) 0%, rgba(139,92,246,0.06) 100%);
    border: 1px solid var(--accent); border-radius: 12px;
    padding: 24px; text-align: center;
  }
  .demo-card h3 { color: var(--accent); font-size: 1rem; margin-bottom: 6px; }
  .demo-card p { color: var(--muted); font-size: 0.85rem; margin-bottom: 12px; }
  .demo-card a.btn {
    display: inline-block; padding: 8px 24px; background: var(--accent);
    border-radius: 8px; color: #fff; font-size: 0.85rem; font-weight: 600;
  }

  .quickstart {
    background: var(--surface); border: 1px solid var(--border); border-radius: 10px;
    padding: 20px 24px; margin-top: 16px;
  }
  .quickstart code {
    display: block; background: var(--bg); padding: 12px 16px; border-radius: 6px;
    font-size: 0.82rem; color: var(--accent2); overflow-x: auto; margin-top: 8px;
  }

  table { width: 100%; border-collapse: collapse; margin-top: 12px; }
  th, td { padding: 8px 12px; text-align: left; border-bottom: 1px solid var(--border); font-size: 0.85rem; }
  th { color: var(--dim); font-weight: 500; font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.05em; }
  td a { color: var(--accent2); }

  .footer {
    text-align: center; padding: 40px 24px; color: var(--dim); font-size: 0.78rem;
    border-top: 1px solid var(--border); margin-top: 32px;
  }

  @media (max-width: 600px) {
    .hero h1 { font-size: 1.7rem; }
    .grid-3 { grid-template-columns: 1fr; }
    .stats { gap: 20px; }
  }
</style>
</head>
<body>

<div class="hero">
  <h1><span>SnapKitty</span> Collective</h1>
  <p class="tagline">Sovereign AI infrastructure. WORM-sealed agents, formally verified kernels, and models you can run on a RTX 3080.</p>
  <div class="stats">
    <div><div class="stat-num">130+</div><div class="stat-label">Repositories</div></div>
    <div><div class="stat-num">20+</div><div class="stat-label">Languages</div></div>
    <div><div class="stat-num">0</div><div class="stat-label">Sorry Terms</div></div>
    <div><div class="stat-num">4</div><div class="stat-label">Datasets</div></div>
  </div>
  <div class="links">
    <a class="primary" href="https://github.com/SNAPKITTYWEST">GitHub</a>
    <a href="https://collectivekitty.com">Website</a>
    <a href="https://huggingface.co/Snapkitty">All Repos</a>
  </div>
</div>

<div class="container">

<!-- MISSION -->
<div class="mission">
  <h2>Sovereign AI you can inspect, verify, and run locally</h2>
  <p>Models, agents, Lean 4 proofs, CUDA kernels, and WORM chains — built for deterministic execution. Every decision is cryptographically sealed. Every proof compiles with zero axiom admits.</p>
</div>

<!-- LIVE DEMOS -->
<div class="section">
  <div class="section-title">Live Demos</div>
  <div class="grid-3">
    <div class="demo-card">
      <h3>Twin-O-Matic</h3>
      <p>Browser JIT LLM agent (Llama 3.2 1B) with Three.js 3D engine. No server needed.</p>
      <a class="btn" href="https://huggingface.co/spaces/Snapkitty/twin-o-matic">Launch Demo</a>
    </div>
    <div class="demo-card">
      <h3>Sovereign LISP Machine</h3>
      <p>EmojiScript bytecode, SoulVM debugger, LTMS truth maintenance — all in browser.</p>
      <a class="btn" href="https://huggingface.co/spaces/Snapkitty/lisp-machine">Launch Demo</a>
    </div>
    <div class="demo-card">
      <h3>Jacobian Playground</h3>
      <p>79 theorems, interactive SovMonster proof suite. Lean 4 formalization live.</p>
      <a class="btn" href="https://snapkittywest.github.io/j-matrix-twin/playground/public/index.html">Launch Demo</a>
    </div>
  </div>
</div>

<!-- GET STARTED -->
<div class="section">
  <div class="section-title">Get Started</div>
  <div class="quickstart">
    <strong style="color:var(--text);font-size:0.9rem;">Install and fine-tune</strong>
    <code>pip install summon<br>python -m summon.finetune --model sovereign-mimo-4b</code>
  </div>
  <div class="quickstart" style="margin-top:10px;">
    <strong style="color:var(--text);font-size:0.9rem;">Run with Ollama</strong>
    <code>ollama create sovereign-mimo-4b -f Modelfile<br>ollama run sovereign-mimo-4b</code>
  </div>
</div>

<!-- FLAGSHIP MODELS -->
<div class="section">
  <div class="section-title">Flagship Models</div>
  <table>
    <tr><th>Model</th><th>Params</th><th>What it does</th><th>VRAM</th></tr>
    <tr><td><a href="https://huggingface.co/Snapkitty/sovereign-mimo-4b">sovereign-mimo-4b</a></td><td>4B</td><td>Code reward model. FSM + ERE gates + WORM seal.</td><td>3.3 GB</td></tr>
    <tr><td><a href="https://huggingface.co/Snapkitty/sovereign-qra">sovereign-qra</a></td><td>—</td><td>Deterministic routing tensor. Zero entropy. Lean 4 proof.</td><td>—</td></tr>
    <tr><td><a href="https://huggingface.co/Snapkitty/snapkitty-merged">snapkitty-merged</a></td><td>4.2B</td><td>Nemotron Mini GGUF (Q4_K_M). Sovereign fine-tune.</td><td>2.6 GB</td></tr>
    <tr><td><a href="https://huggingface.co/Snapkitty/hilbert">hilbert</a></td><td>4B</td><td>CUDA kernels: RMSNorm, FlashAttn, SwiGLU, RoPE.</td><td>—</td></tr>
  </table>
</div>

<!-- COLLECTIONS -->
<div class="section">
  <div class="section-title">Collections</div>
  <div class="grid-3">
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/models-and-training">Sovereign Models</a></h3>
      <p>Small, local-first language models. Nemotron fine-tunes, reward models, GGUF exports for Ollama.</p>
      <span class="tag">14 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration">Agent Systems</a></h3>
      <p>BOB family, sovereign kernels, verified multi-agent stacks with ERE gates and WORM-sealed execution.</p>
      <span class="tag">22 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/formal-verification">Formal Proofs</a></h3>
      <p>Zero-sorry Lean 4 theorems, Agda formalizations. 30+ theorems, 79 Jacobian proofs, entropy bounds.</p>
      <span class="tag">16 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/quantum-computing">Quantum &amp; Physics</a></h3>
      <p>Fibonacci-anyon TQC, lattice surgery, quantum walks, black hole physics.</p>
      <span class="tag">7 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/gpu-kernels">GPU Kernels</a></h3>
      <p>CUDA for Ampere, Ada bare-metal processors, Apollo Guidance Computers in 7 languages.</p>
      <span class="tag">10 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/compilers-and-runtimes">Compilers</a></h3>
      <p>LISP machines, WASM sandboxes, Apple II emulator, sovereign runtimes.</p>
      <span class="tag">16 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/security-and-cryptography">Security</a></h3>
      <p>Ed25519 + Blake3 + SHA-256. WORM chains, TPM attestation, policy engines.</p>
      <span class="tag">10 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/infrastructure-and-tools">Tools</a></h3>
      <p>MCP servers, IDEs, OCR, harnesses, and development infrastructure.</p>
      <span class="tag">20 repos</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/community">Saint Errant</a></h3>
      <p>Grassroots builder collective. Guilds: Forge, Cipher, Herald, Prism. Open membership.</p>
      <span class="tag">8 repos</span>
    </div>
  </div>
</div>

<!-- DATASETS -->
<div class="section">
  <div class="section-title">Datasets</div>
  <table>
    <tr><th>Dataset</th><th>Records</th><th>Description</th></tr>
    <tr><td><a href="https://huggingface.co/datasets/Snapkitty/sovereign-training-corpus">sovereign-training-corpus</a></td><td>882</td><td>Curated prompt/completion pairs from WORM-sealed agent execution</td></tr>
    <tr><td><a href="https://huggingface.co/datasets/Snapkitty/cartographer-corpus">cartographer-corpus</a></td><td>67</td><td>Domain-specific training across 9 chapters</td></tr>
    <tr><td><a href="https://huggingface.co/datasets/Snapkitty/worm-chain-archive">worm-chain-archive</a></td><td>39 MB</td><td>SHA-256 sealed execution records from 11 agents</td></tr>
    <tr><td><a href="https://huggingface.co/datasets/Snapkitty/sovereign-papers">sovereign-papers</a></td><td>25</td><td>LaTeX research papers with compiled PDFs</td></tr>
  </table>
</div>

<!-- RESEARCH -->
<div class="section">
  <div class="section-title">Research &amp; Papers</div>
  <div class="grid-3">
    <div class="card">
      <h3><a href="https://huggingface.co/spaces/Snapkitty/research-and-papers">Papers Collection</a></h3>
      <p>25+ LaTeX papers: PIRTM, octonions, Coxeter/Weyl, EmojiScript, entropy theorems, cryptanalysis.</p>
      <span class="tag">published</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/Snapkitty/sovereign-tournament">Sovereign Tournament</a></h3>
      <p>Formal math tournament. Nova (sovereign fine-tune) defeated Nemotron. 8 published papers.</p>
      <span class="tag">8 papers</span>
    </div>
    <div class="card">
      <h3><a href="https://huggingface.co/Snapkitty/ahmad-foundations">Mathematical Foundations</a></h3>
      <p>NLBHE, E7 lattice, black hole gravity, F4 algebra. 30+ zero-sorry Lean 4 theorems.</p>
      <span class="tag">lean4</span>
    </div>
  </div>
</div>

</div>

<div class="footer">
  <p>SnapKitty Collective &mdash; Build it. Inspect it. Verify it. Run it.</p>
  <p style="margin-top:6px;">Copyright 2026 Jessica L. Williams / SNAPKITTYWEST &mdash; Bel Esprit D'Accord Irrevocable Trust</p>
  <p style="margin-top:6px;"><a href="https://github.com/SNAPKITTYWEST" style="color:var(--dim);">GitHub</a> &middot; <a href="https://collectivekitty.com" style="color:var(--dim);">Website</a> &middot; <a href="https://huggingface.co/Snapkitty" style="color:var(--dim);">All Repos</a></p>
</div>

</body>
</html>