Production Models This is a collection of production models of Construct Labs Collection by Construct-Labs Sep 11 -
Agentic models Collection by reality-interface Sep 3 - reality-interface/qwen3.8-27b-agentic-nvfp4 Image-Text-to-Text • 15B • Updated Sep 3 • 313 • 1
Research and Papers 25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results. Collection by Snapkitty Sep 8 - Snapkitty/snapkitty-papers Updated 28 days ago Snapkitty/sovereign-papers Viewer • Updated about 1 month ago • 3 • 152 Snapkitty/sovereign-tournament Updated about 1 month ago Snapkitty/sovereign-multiplicity Updated about 1 month ago
GPU Kernels and Hardware CUDA kernels for Ampere GPUs, bare-metal processors in Ada, Apollo Guidance Computers in 7 languages, and embedded fleet hardware. Collection by Snapkitty Sep 3 - Snapkitty/hilbert Updated about 1 month ago Snapkitty/nvidia-stack Updated about 1 month ago Snapkitty/sovereign-ada-rtx Updated about 1 month ago Snapkitty/sovereign-agc Updated about 1 month ago
Agent Systems and Orchestration Multi-agent orchestration with formal verification gates. BOB family, sovereign kernels, event buses, and deterministic routing. Collection by Snapkitty Sep 8 - Snapkitty/bob-engine Updated about 1 month ago Snapkitty/bob-voyager Updated about 1 month ago Snapkitty/bob-ide Updated about 1 month ago Snapkitty/bob-reasoning Updated about 1 month ago
Egocentric Collection by introvoyz042 about 1 month ago - FraunhoferIPK/IndEgo Updated Jun 21 • 51.4k • 10 Running on Zero MCP 414 WAN2.2 I2V LIGHTNING-Video-4-8step 🐠 414 Create animated video from an image and prompt
Running on Zero MCP 414 WAN2.2 I2V LIGHTNING-Video-4-8step 🐠 414 Create animated video from an image and prompt
qwen Collection by Silenceki Sep 3 - bartowski/Qwen2.5-Coder-1.5B-Instruct-abliterated-GGUF Text Generation • 2B • Updated Nov 14, 2024 • 11.1k • 9
bartowski/Qwen2.5-Coder-1.5B-Instruct-abliterated-GGUF Text Generation • 2B • Updated Nov 14, 2024 • 11.1k • 9
Training Frameworks and Tooling QLoRA training, corpus curation, deterministic pipelines, and WORM-sealed fine-tuning infrastructure. Collection by Snapkitty Sep 3 - Snapkitty/summon Updated about 1 month ago Snapkitty/pocketlearn Updated about 1 month ago Snapkitty/lean-llm-starter Updated about 1 month ago Snapkitty/sovereign-harness Updated about 1 month ago
Formal Verification and Proofs Zero-sorry Lean 4 theorems, Agda formalizations, and cross-language verification. Every proof compiles. No axiom admits. Collection by Snapkitty Sep 3 - Snapkitty/sov-kernel-monster Updated 25 days ago Snapkitty/ahmad-foundations Updated about 1 month ago Snapkitty/sovereign-entropy-theorem Text Generation • Updated about 1 month ago Snapkitty/xrex-invariants-formal Updated about 1 month ago
Sovereign Models and GGUFs Small, local-first language models. Nemotron fine-tunes, reward models, deterministic routing, and GGUF exports. Everything runs on consumer GPUs. Collection by Snapkitty Sep 8 - Snapkitty/sovereign-mimo-4b Text Generation • Updated about 1 month ago Snapkitty/snapkitty-merged Text Generation • 4B • Updated about 1 month ago • 34 Snapkitty/sovereign-qra Updated about 1 month ago Snapkitty/sovlm Updated about 1 month ago
Production Models This is a collection of production models of Construct Labs Collection by Construct-Labs Sep 11 -
Egocentric Collection by introvoyz042 about 1 month ago - FraunhoferIPK/IndEgo Updated Jun 21 • 51.4k • 10 Running on Zero MCP 414 WAN2.2 I2V LIGHTNING-Video-4-8step 🐠 414 Create animated video from an image and prompt
Running on Zero MCP 414 WAN2.2 I2V LIGHTNING-Video-4-8step 🐠 414 Create animated video from an image and prompt
Agentic models Collection by reality-interface Sep 3 - reality-interface/qwen3.8-27b-agentic-nvfp4 Image-Text-to-Text • 15B • Updated Sep 3 • 313 • 1
qwen Collection by Silenceki Sep 3 - bartowski/Qwen2.5-Coder-1.5B-Instruct-abliterated-GGUF Text Generation • 2B • Updated Nov 14, 2024 • 11.1k • 9
bartowski/Qwen2.5-Coder-1.5B-Instruct-abliterated-GGUF Text Generation • 2B • Updated Nov 14, 2024 • 11.1k • 9
Research and Papers 25+ LaTeX papers on mathematical foundations, AI agent architecture, cryptanalysis, entropy theorems, and tournament results. Collection by Snapkitty Sep 8 - Snapkitty/snapkitty-papers Updated 28 days ago Snapkitty/sovereign-papers Viewer • Updated about 1 month ago • 3 • 152 Snapkitty/sovereign-tournament Updated about 1 month ago Snapkitty/sovereign-multiplicity Updated about 1 month ago
Training Frameworks and Tooling QLoRA training, corpus curation, deterministic pipelines, and WORM-sealed fine-tuning infrastructure. Collection by Snapkitty Sep 3 - Snapkitty/summon Updated about 1 month ago Snapkitty/pocketlearn Updated about 1 month ago Snapkitty/lean-llm-starter Updated about 1 month ago Snapkitty/sovereign-harness Updated about 1 month ago
GPU Kernels and Hardware CUDA kernels for Ampere GPUs, bare-metal processors in Ada, Apollo Guidance Computers in 7 languages, and embedded fleet hardware. Collection by Snapkitty Sep 3 - Snapkitty/hilbert Updated about 1 month ago Snapkitty/nvidia-stack Updated about 1 month ago Snapkitty/sovereign-ada-rtx Updated about 1 month ago Snapkitty/sovereign-agc Updated about 1 month ago
Formal Verification and Proofs Zero-sorry Lean 4 theorems, Agda formalizations, and cross-language verification. Every proof compiles. No axiom admits. Collection by Snapkitty Sep 3 - Snapkitty/sov-kernel-monster Updated 25 days ago Snapkitty/ahmad-foundations Updated about 1 month ago Snapkitty/sovereign-entropy-theorem Text Generation • Updated about 1 month ago Snapkitty/xrex-invariants-formal Updated about 1 month ago
Agent Systems and Orchestration Multi-agent orchestration with formal verification gates. BOB family, sovereign kernels, event buses, and deterministic routing. Collection by Snapkitty Sep 8 - Snapkitty/bob-engine Updated about 1 month ago Snapkitty/bob-voyager Updated about 1 month ago Snapkitty/bob-ide Updated about 1 month ago Snapkitty/bob-reasoning Updated about 1 month ago
Sovereign Models and GGUFs Small, local-first language models. Nemotron fine-tunes, reward models, deterministic routing, and GGUF exports. Everything runs on consumer GPUs. Collection by Snapkitty Sep 8 - Snapkitty/sovereign-mimo-4b Text Generation • Updated about 1 month ago Snapkitty/snapkitty-merged Text Generation • 4B • Updated about 1 month ago • 34 Snapkitty/sovereign-qra Updated about 1 month ago Snapkitty/sovlm Updated about 1 month ago