Skip to main content

benbrastmckie/nvim

Dernière activité source enregistrée
Catalogue SkillsMP mis à jour
skills collectés
177
Étoiles GitHub
444
Forks GitHub
451

Installer avec un assistant IA

Copiez ce prompt dans l’assistant IA que vous utilisez.

Chargement du README du dépôt…

Affichage de 40 skills collectés sur 177.

métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
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.

Langue du texte source : anglais

mis à jour
métier
non classé
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.

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
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…

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

Competitive landscape research with positioning maps

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

Pitch deck content research through material synthesis

Langue du texte source : anglais

mis à jour
métier
non classé
description

Financial analysis and verification for founders

Langue du texte source : anglais

mis à jour
métier
non classé
description

Financial analysis with forcing questions and spreadsheet generation

Langue du texte source : anglais

mis à jour
métier
non classé
description

Execute founder plans and generate strategy reports

Langue du texte source : anglais

mis à jour
métier
non classé
description

Cost breakdown spreadsheet generation with forcing questions

Langue du texte source : anglais

mis à jour
métier
non classé
description

Contract review and legal analysis for founders

Langue du texte source : anglais

mis à jour
métier
non classé
description

Market sizing research with TAM/SAM/SOM framework

Langue du texte source : anglais

mis à jour
métier
non classé
description

Investor meeting note processing and CSV tracking

Langue du texte source : anglais

mis à jour
métier
non classé
description

Project research with scope analysis and timeline estimation

Langue du texte source : anglais

mis à jour
métier
non classé
description

Go-to-market strategy research with positioning and channels

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
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.

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
Affichage de 40 skills collectés sur 177.