Skip to main content

benbrastmckie/nvim

最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
177
GitHub 星标
444
GitHub Forks
451

用 AI 助手安装

复制这段 Prompt,发给你正在使用的 AI 助手。

正在加载仓库 README…

这个仓库中的 skills

已展示 40 / 177 个已收集 Skill。

职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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…

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

Pitch deck content research through material synthesis

原文语言:英语

更新
职业分类
未分类
描述

Financial analysis and verification for founders

原文语言:英语

更新
职业分类
未分类
描述

Financial analysis with forcing questions and spreadsheet generation

原文语言:英语

更新
职业分类
未分类
描述

Execute founder plans and generate strategy reports

原文语言:英语

更新
职业分类
未分类
描述

Cost breakdown spreadsheet generation with forcing questions

原文语言:英语

更新
职业分类
未分类
描述

Contract review and legal analysis for founders

原文语言:英语

更新
职业分类
未分类
描述

Market sizing research with TAM/SAM/SOM framework

原文语言:英语

更新
职业分类
未分类
描述

Investor meeting note processing and CSV tracking

原文语言:英语

更新
职业分类
未分类
描述

Project research with scope analysis and timeline estimation

原文语言:英语

更新
职业分类
未分类
描述

Go-to-market strategy research with positioning and channels

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
职业分类
未分类
描述

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

原文语言:英语

更新
已展示 40 / 177 个已收集 Skill。