LaSalle Invariance Claude Code Skill | Stability Analysis