Lyapunov Function Analysis - Claude Code Skill