Downloads Center
Every component is downloadable, verifiable, and sovereign. No cloud lock-in. No vendor dependency. Built by one human + AI in days — what 16–27 engineers would take 12–24 months to build.
8-phase boot sequence. VEG execution engine. SKCL coordination layer. KernelEventBus ring buffer. AppRegistry. Cryptographically sealed at every layer.
The only safe shell entrypoint. 8 Lean predicates checked before any execution. Namespace isolation, seccomp, cgroups. stdin/stdout JSON bridge for polyglot consumers.
32 GenServer agents in 17 sector supervisors. NATS JetStream bus. Circuit breaker per agent. WebSocket gateway on :4040. Health + VM status endpoints.
14 tools, capability-gated per agent lease tier. WORM-audited every call. Bash rate limiter (10/min brain, 50/min kinetic). TavilySearch, SandboxBash, WormSeal, MCP proxy.
Append-only decision ledger. SHA-256 domain-separated hashes. Azure WORM blob storage. ICP Internet Computer anchoring. Every agent decision sealed and unalterable.
Tier 1: GL/AP/AR double-entry accounting (36 accounts). Tier 2: Consolidation, Budget, LOC. Tier 3: Forge (model-router, parallel-dispatcher, MCP). 76 API endpoints.
Code architect and builder. Produces compiled artifacts. Collision registry. Literate coding mode.
Zero-trust security agent. Threat detection, SENTINEL kill feed, honeypot intelligence.
Knowledge graph intelligence. pgvector RAG. Deep innovation reasoning.
System authority agent. Operator-level decisions. Infrastructure awareness.
Task orchestration. Routes queries across the mesh. CRM backbone.
Financial intelligence. Fundability scoring. Capital analysis.
Kinetic anchor. Deterministic execution. No LLM. No probability. Borrow checker is the only authority.
Prolog-based trust rules engine. certify/degrade/deny three-state trust result. Timeout → degrade (not deny). explicit certified=false → deny. Observer mesh wired.
20 predicates. snapkitty_gate master gate. is_safe_shell, cpu_ok, has_perm, mcp_allowed, network_allowed, valid_execution. VEG→Lean compiler auto-generates from dispatch trees.
sha256_hex, sha256_domain, short_seal, combine. All subsystem hashes domain-prefixed (WORM:, EVENT_CHAIN:, DECISION:, TOOL_BROKER:). No hash collisions across layers.
30-agent canonical snapshot. Merkle diff engine. Detects agent swap, injection, addition. Post-squash verification gate. Boot-mount checkpoint trigger.
6 models, 3 tiers, 16 task types. Tier 1: Claude Opus/GPT-4o. Tier 2: Haiku/Nemotron-Mini. Tier 3: Granite SLM. Auto-routes via task classifier.
6 subagents in parallel. Aggregated results with consensus. Latency tracking. WORM-sealed output.
Compiles VEG execution graphs → Lean 4 predicates. Validates DAG structure. Generates formal proofs from dispatch trees and MCP workflows.
perceive → decide → tool_request → observe → update_memory. Circuit breaker (3 consecutive errors → halt). HaltReason: ToolVerdictHalt / MaxIterations / CircuitOpen / GoalAchieved.
Nemotron-Mini-4B fine-tune with Unsloth+LoRA. 353 training pairs, 146 red-team. Sovereign Source corpus (never redistributable). Run on bbqbaddie (RTX 5000) only.
Full lifecycle CLI: up/down/vm/status/logs/forge/ide/pull-models/build/agent/tools. Linux/macOS via ./snapkitty, Windows via .\snapkitty.ps1.
NPC vault (FORGE/NOVA/SENTINEL/CIPHER/ORACLE/ATLAS/NEXUS/LOC), tool-bus, bash-proxy (green IN / white OUT), openkitty-panel. Runs as VSCode extension.
snapkitty-wasm — Rust compiled to WebAssembly. Run sovereign kernel primitives in browser or edge environments.
Multi-kernel Jupyter notebook. Rust kernel for WORM-sealed execution. Python for ML. Haskell for quantum governance. seal_notebook() seals entire session.
| COMPONENT | KERNEL | MESH | ERP | LEAN | VEG | WORM |
|---|---|---|---|---|---|---|
| Kernel | ✓ | ✓ | ○ | ✓ | ✓ | ✓ |
| Shell Gate | ✓ | ○ | ✓ | ✓ | ✓ | ✓ |
| VEG Engine | ✓ | ✓ | ✓ | ✓ | — | ✓ |
| SKCL | ✓ | ✓ | ○ | ○ | ✓ | ✓ |
| Trust Deed | ✓ | ✓ | ✓ | ○ | ✓ | ○ |
| Model Router | ○ | ✓ | ✓ | ○ | ✓ | ○ |
| ABZU Checkpoint | ✓ | ○ | ○ | ✓ | ○ | ✓ |
| Lean Contracts | ✓ | ○ | ✓ | — | ✓ | ○ |
| Tool Broker | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |
| LoRA Training | ○ | ○ | ○ | ○ | ○ | ○ |
1 human + AI = 16–27 engineers
Zero coordination overhead. Architectural coherence from Lean 4 at the bottom to Next.js at the top. 13 language bridges that no team would attempt. Built in days, not years.