USE FOR: General nonlinear dynamics, chaos theory, bifurcation analysis, catastrophe theory, attractor geometry, Lyapunov methods, phase portraits, and control-theoretic stability. Use for any mathematical reasoning about dynamical systems BEFORE or BEYOND Lean formalization. Covers theory, intuition, calculation techniques, and connections to phase portraits, catastrophe models, and governance dynamics. DO NOT USE FOR: Lean proofs in this domain (use @lean-math-dynamical); optimization theory (use @math-optimization-game); topology methods (use @math-topology-analysis). TRIGGERS: nonlinear dynamics, chaos theory, bifurcation, catastrophe theory, attractor, Lyapunov, phase portrait.
Install with
Claude CodeCodexCursorGitHub CopilotGemini CLI
Supported by the Atlas install prompt. Skill-specific requirements vary.
Skill stats
Skills1CategoryScience & researchStars0
About this skill
USE FOR: General nonlinear dynamics, chaos theory, bifurcation analysis, catastrophe theory, attractor geometry, Lyapunov methods, phase portraits, and control-theoretic stability. Use for any mathematical reasoning about dynamical systems BEFORE or BEYOND Lean formalization. Covers theory, intuition, calculation techniques, and connections to phase portraits, catastrophe models, and governance dynamics. DO NOT USE FOR: Lean proofs in this domain (use @lean-math-dynamical); optimization theory (use @math-optimization-game); topology methods (use @math-topology-analysis). TRIGGERS: nonlinear dynamics, chaos theory, bifurcation, catastrophe theory, attractor, Lyapunov, phase portrait.
Quick start
Copy the install prompt. Use the green button above this README.
Send it to your agent. Paste it into your coding agent’s chat and send.
Review the setup. Your agent checks the skill’s instructions, requirements, and installation scope.
USE FOR: General nonlinear dynamics, chaos theory, bifurcation analysis, catastrophe theory, attractor geometry, Lyapunov methods, phase portraits, and control-theoretic stability. Use for any mathematical reasoning about dynamical systems BEFORE or BEYOND Lean formalization. Covers theory, intuition, calculation techniques, and connections to phase portraits, catastrophe models, and governance dynamics. DO NOT USE FOR: Lean proofs in this domain (use @lean-math-dynamical); optimization theory (use @math-optimization-game); topology methods (use @math-topology-analysis). TRIGGERS: nonlinear dynamics, chaos theory, bifurcation, catastrophe theory, attractor, Lyapunov, phase portrait.
About this listing
Category
Science & research
Reported license
Apache-2.0
Listing language (estimated)
English
Review status
Not individually reviewed
Agent compatibility
Atlas installation supports Claude Code, Codex, and Cursor. Skill-specific dependencies and features are checked during setup.