Skip to main content

benbrastmckie/nvim

Última atividade de origem registrada
Catálogo do SkillsMP atualizado
skills coletadas
177
Estrelas no GitHub
445
Forks no GitHub
454

Instalar com um assistente de IA

Copie este prompt para o assistente de IA que você usa.

Carregando o README do repositório…

Mostrando 40 de 177 skills coletadas.

ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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 do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
sem classificação
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
Administradores de redes e sistemas de computador
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
Escriturários gerais de escritório
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
Cientistas de dados
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
Cientistas de dados
descrição

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

Idioma do texto original: inglês

atualizado
ocupação
Analistas de pesquisa de mercado e especialistas em marketing
descrição

Competitive landscape research with positioning maps

Idioma do texto original: inglês

atualizado
ocupação
Analistas financeiros e de investimentos
descrição

Financial analysis and verification for founders

Idioma do texto original: inglês

atualizado
ocupação
Advogados
descrição

Contract review and legal analysis for founders

Idioma do texto original: inglês

atualizado
Mostrando 40 de 177 skills coletadas.