mathguard — Math-Heavy Optimization for AI Code makes you pick the right classical algorithm. kicks in when the classical algorithm is already optimal but mathematics gives a better bound — usually by accepting bounded approximation, exploiting structure, or moving to a smarter algebraic space. The model knows these techniques. It almost never proposes them spontaneously. mathguard fixes that. Violating the letter of these rules is violating the spirit of the skill. A Bloom filter where the caller assumed exact answers is a production incident, not an optimization. When to Use This Skill Use…