SOTA sub-1B coding models distilled from execution-verified traces. Optimized for local code generation, debugging, and agentic software engineering o