Pocket Socratic Tutor: a sub-1B guiding-question engine for math apps

A drop-in, LoRA-fine-tuned sub-1B model that walks students through multi-step arithmetic problems by asking a guiding question before every step — cheap enough to run on-device instead of calling a frontier API.