Lyapunov Function | Claude Code Skill for Dynamical Systems