benbrastmckie/nvim - Page 5

skill-lean-version

Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support

skill-python-implementation

Implement Python code. Invoke for Python-language implementation tasks.

skill-python-research

Research Python development tasks. Invoke for Python-language research.

skill-typst-implementation

Implement Typst documents. Invoke for Typst-language implementation tasks.

skill-typst-research

Research Typst documentation tasks. Invoke for Typst-language research.

skill-z3-implementation

Implement Z3 constraints. Invoke for Z3-language implementation tasks.

skill-z3-research

Research Z3/SMT tasks. Invoke for Z3-language research.