gotrevor/lean-agent-skills

A symptom→cause→fix catalog of mathlib breaking changes that produce no deprecation warning tactic/elaboration behavior changes .