Skip to main content

Skills in this repository

benbrastmckie/nvim - Page 5

SkillsMP has collected 176 skills from benbrastmckie/nvim. Open a skill to review its source and details.

benbrastmckie/nvim

Showing 16 of 176 collected skills.

occupation
Graphic Designers
description

Interactive slide planning with narrative arc review and per-slide feedback. Invoke for /plan on present:slides tasks.

updated
occupation
Graphic Designers
description

Research talk material synthesis, design-aware planning, and presentation assembly. Invoke for slides tasks.

updated
occupation
Epidemiologists
description

Research timeline planning for medical research projects. Invoke for timeline tasks.

updated
occupation
Software Developers
description

Memory vault management - create, search, classify, and index memories. Invoke for /learn command memory operations.

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

Run Lean build with automatic error repair for missing cases, unused variables, and unused imports

updated
occupation
Network & Computer Systems Administrators
description

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

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

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

updated
occupation
Software Developers
description

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

updated
Showing 16 of 176 collected skills.