LaSalle Invariance: Claude Code Skill for Stability Analysis