make project for track 1
A token-efficient general-purpose AI agent: deterministic solvers answer provable tasks at 0 tokens, and the rest route to a reasoning model with thinking disabled plus a compact visible chain-of-thought