Skip to main content

benbrastmckie/nvim

Letzte erfasste Quellaktivität
SkillsMP-Katalog aktualisiert
gesammelte Skills
177
GitHub-Stars
444
GitHub-Forks
451

Mit einem KI-Assistenten installieren

Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.

README des Repositorys wird geladen…

Es werden 40 von 177 gesammelten Skills angezeigt.

Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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…

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Competitive landscape research with positioning maps

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Pitch deck content research through material synthesis

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Financial analysis and verification for founders

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Financial analysis with forcing questions and spreadsheet generation

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Execute founder plans and generate strategy reports

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Cost breakdown spreadsheet generation with forcing questions

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Contract review and legal analysis for founders

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Market sizing research with TAM/SAM/SOM framework

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Investor meeting note processing and CSV tracking

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Project research with scope analysis and timeline estimation

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

Go-to-market strategy research with positioning and channels

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Beruf
nicht klassifiziert
Beschreibung

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

Quellsprache: Englisch

Aktualisiert
Es werden 40 von 177 gesammelten Skills angezeigt.