Skip to main content

benbrastmckie/nvim

Latest recorded source activity
SkillsMP catalog refreshed
skills collected
177
GitHub stars
444
GitHub forks
451

Install with an AI assistant

Copy this prompt into the AI assistant you're using.

Loading the repository README…

Showing 40 of 177 collected skills.

occupation
unclassified
description

Coordinate formal reasoning research across logic, math, and physics domains. Invoke for formal-language research requiring cross-domain coordination.

updated
occupation
unclassified
description

Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.

updated
occupation
unclassified
description

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

updated
occupation
unclassified
description

Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.

updated
occupation
unclassified
description

Implement lean-book authoring, certification and documentation changes. Invoke for books implementation tasks.

updated
occupation
unclassified
description

Thin wrapper that delegates plan revision to reviser-agent subagent. Invoke for /revise command.

updated
occupation
unclassified
description

Implement CSLib proofs following Lean 4 and CSLib contribution standards. Invoke for cslib implementation tasks.

updated
occupation
unclassified
description

PR description preparation for CSLib tasks. Analyzes task description and git diff to produce pr-description.md. Delegates to cslib-implementation-agent and transitions task to [PR READY]. Branch creation and CI are handled by the /pr command. Invoke for pr…

updated
occupation
unclassified
description

Implementation skill for R-based epidemiology analysis. Invoke for epi/epi:study implementation tasks.

updated
occupation
unclassified
description

Research skill for epidemiology study design and analysis planning. Invoke for epi/epi:study research tasks.

updated
occupation
unclassified
description

Competitive landscape research with positioning maps

updated
occupation
unclassified
description

Route deck implementation to deck-builder-agent for Slidev pitch deck generation

updated
occupation
unclassified
description

Pitch deck planning with interactive template, content, and ordering selection

updated
occupation
unclassified
description

Pitch deck content research through material synthesis

updated
occupation
unclassified
description

Financial analysis and verification for founders

updated
occupation
unclassified
description

Financial analysis with forcing questions and spreadsheet generation

updated
occupation
unclassified
description

Execute founder plans and generate strategy reports

updated
occupation
unclassified
description

Cost breakdown spreadsheet generation with forcing questions

updated
occupation
unclassified
description

Contract review and legal analysis for founders

updated
occupation
unclassified
description

Market sizing research with TAM/SAM/SOM framework

updated
occupation
unclassified
description

Investor meeting note processing and CSV tracking

updated
occupation
unclassified
description

Project research with scope analysis and timeline estimation

updated
occupation
unclassified
description

Go-to-market strategy research with positioning and channels

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

Implement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.

updated
occupation
unclassified
description

Implement Nix configuration changes from plans. Invoke for nix implementation tasks.

updated
occupation
unclassified
description

Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.

updated
occupation
unclassified
description

Grant budget spreadsheet generation with forcing questions. Invoke for budget tasks.

updated
occupation
unclassified
description

Funding landscape analysis with funder portfolio mapping. Invoke for funds tasks.

updated
occupation
unclassified
description

Grant proposal research and drafting with funder analysis. Invoke for grant tasks.

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

Implement web (Astro/Tailwind/TypeScript) changes following a plan. Invoke for web-language implementation tasks.

updated
occupation
unclassified
description

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

updated
occupation
unclassified
description

Autonomous state machine that drives a task through its full lifecycle (research -> plan -> implement -> complete) without user confirmation between phases. Invoke for /orchestrate command.

updated
occupation
unclassified
description

Scan codebase for FIX:/NOTE:/TODO:/QUESTION: tags and create structured tasks with interactive selection. Invoke for /fix-it command.

updated
occupation
unclassified
description

Interactive system builder. Invoke for /meta command to create tasks for .claude/ system changes.

updated
Showing 40 of 177 collected skills.