Skip to main content

benbrastmckie/nvim

최근 기록된 소스 활동
SkillsMP 카탈로그 업데이트
수집된 skills
177
GitHub 스타
445
GitHub 포크
454

AI 어시스턴트로 설치

이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.

저장소 README를 불러오는 중…

수집된 skill 177개 중 40개를 표시합니다.

직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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.

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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.

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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.

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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.

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
미분류
설명

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

원문 언어: 영어

업데이트
직업 분류
네트워크·컴퓨터 시스템 관리자
설명

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

원문 언어: 영어

업데이트
직업 분류
일반 사무원
설명

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

원문 언어: 영어

업데이트
직업 분류
데이터 과학자
설명

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

원문 언어: 영어

업데이트
직업 분류
데이터 과학자
설명

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

원문 언어: 영어

업데이트
직업 분류
시장조사 분석가·마케팅 전문가
설명

Competitive landscape research with positioning maps

원문 언어: 영어

업데이트
직업 분류
재무 및 투자 분석가
설명

Financial analysis and verification for founders

원문 언어: 영어

업데이트
직업 분류
변호사
설명

Contract review and legal analysis for founders

원문 언어: 영어

업데이트
수집된 skill 177개 중 40개를 표시합니다.