Skip to main content

benbrastmckie/nvim

Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
177
Estrellas en GitHub
443
Forks en GitHub
455

Instalar con un asistente de IA

Copia este prompt en el asistente de IA que estés usando.

Cargando el README del repositorio…

Mostrando 40 de 177 skills recopiladas.

ocupación
sin clasificar
descripción

Research lean-book authoring, certification and documentation tasks. Invoke for books research tasks.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Books convention performance review (--review, strictly read-only) and interactive research-and-revision task proposal (--revise). Invoke for /books command.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Create scoped git commits for task operations. Invoke after task status changes or artifact creation.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Archive completed, abandoned, and expanded tasks with CHANGE_LOG.md updates and memory harvest suggestions

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Owner-labeled, agent-assisted component approval. Invoke for /approve <component>.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Interactive critique loop for slide presentations. Delegates to slide-critic-agent, presents findings to user, collects accept/reject/modify decisions, produces filtered critique report.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Memory creation - add memories from text, files, directories, or task artifacts, with content mapping and deduplication. Invoke for /learn command memory operations.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Research lean-book tasks with hard-mode contracts (H2 anti-analysis, H3 reference grounding, H4 adversarial verification). Invoke for --hard books research tasks.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Implement lean-book changes with hard-mode contracts (H2 anti-analysis, H7 territory, H9 wrap-up discipline). Invoke for --hard books implementation tasks.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Single-book developer loop -- resolve, build, validate, and environment-check one book. Invoke for /book command.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Thin passthrough over the certify driver for graph-wide book certification. Invoke for /certify command.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Manage Claude Code resources - terminate orphaned processes and clean up ~/.claude/ directory

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Implement CSLib proofs with hard-mode contracts (H2 anti-analysis, H7 territory, H9 wrap-up with sorry_inventory). Invoke for --hard cslib implementation tasks.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Research CSLib formalization patterns with hard-mode contracts (H2 anti-analysis, H3 reference grounding with BibKey verification, H4 adversarial verification). Invoke for --hard cslib research tasks.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Implement Lean 4 proofs using hard-mode behavioral contracts with per-phase dispatch and sorry inventory tracking. Invoke for Lean-language implementation tasks when hard-mode is requested.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Research Lean 4 and Mathlib for theorem proving tasks with hard-mode behavioral contracts. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools when hard-mode is requested.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Memory vault analysis and maintenance - scoring, health reporting, purge/merge/compress/refine/gc/auto, and telemetry-sourced review/revise/meta/learn/dream sub-modes. Invoke for /distill command operations.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Manage specs/literature/ — scan, convert PDFs/DJVUs, maintain index.json. Invoke for /literature command.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Create and push semantic version tags for CI/CD deployment. User-only command - agents cannot invoke.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Interactive repository analysis and project-overview.md generation via task creation. Invoke for /project-overview command.

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

Research blockers and spawn new tasks to overcome them, updating parent task dependencies

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
sin clasificar
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
Administradores de redes y sistemas informáticos
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
Empleados de oficina generales
descripción

Implement wrapper-only email triage/cleanup tasks from plans. Invoke for email implementation tasks.

Idioma del texto original: inglés

actualizado
ocupación
Científicos de datos
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
Científicos de datos
descripción

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

Idioma del texto original: inglés

actualizado
ocupación
Analistas de investigación de mercados y especialistas en marketing
descripción

Competitive landscape research with positioning maps

Idioma del texto original: inglés

actualizado
ocupación
Analistas financieros y de inversiones
descripción

Financial analysis and verification for founders

Idioma del texto original: inglés

actualizado
ocupación
Abogados
descripción

Contract review and legal analysis for founders

Idioma del texto original: inglés

actualizado
Mostrando 40 de 177 skills recopiladas.