Capable, auditable coding that runs fully offline on a 16 GB machine. A verification-first layer (hard test execution, symbolic checking, agentic repair) that takes a local 7B to parity with its 671B teacher on verifiable tasks. MIT, pre-registered, reproducible.
reproducible-research code-generation mit-license lora ai-safety self-consistency test-driven consumer-hardware on-device-ai local-llm qwen speculative-decoding llm-interface agentic-ai deepseek-r1 math-reasoning llm-verification llama-ccp
-
Updated
Jul 6, 2026 - Python