القائمة
جمع SkillsMP عدد ١٧٦ من skills من benbrastmckie/nvim. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٤٠ من أصل ١٧٦ skills مجمعة.
Orchestrate multi-agent implementation with parallel phase execution. Spawns teammates for independent phases and coordinates dependent phases. Includes debugger teammate for error recovery.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
Implement web (Astro/Tailwind/TypeScript) changes following a plan. Invoke for web-language implementation tasks.
لغة النص الأصلي: الإنجليزية
Conduct web development research using framework docs and codebase exploration. Invoke for web research tasks.
لغة النص الأصلي: الإنجليزية
Execute hard-mode implementation with anti-analysis contracts, per-phase dispatch, and territory-aware execution. Invoke for --hard implementation tasks.
لغة النص الأصلي: الإنجليزية
Execute general implementation tasks following a plan. Invoke for general implementation work.
لغة النص الأصلي: الإنجليزية
Create hard-mode implementation plans with phase sizing, postmortem constraints, and preserved-assets accounting. Invoke for --hard planning tasks.
لغة النص الأصلي: الإنجليزية
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
لغة النص الأصلي: الإنجليزية
Thin wrapper that delegates plan revision to reviser-agent subagent. Invoke for /revise command.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
Implement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.
لغة النص الأصلي: الإنجليزية
Run Lean build with automatic error repair for missing cases, unused variables, and unused imports
لغة النص الأصلي: الإنجليزية
Manage specs/literature/ — scan, convert PDFs/DJVUs, maintain index.json. Invoke for /literature command.
لغة النص الأصلي: الإنجليزية
Scan codebase for FIX:/NOTE:/TODO:/QUESTION: tags and create structured tasks with interactive selection. Invoke for /fix-it command.
لغة النص الأصلي: الإنجليزية
Vet completed CSLib tasks against library standards. Invoke for /vet command.
لغة النص الأصلي: الإنجليزية
Verify citation claims against Literature/ index and Zotero library. Invoke for /cite command.
لغة النص الأصلي: الإنجليزية
Interactive repository analysis and project-overview.md generation via task creation. Invoke for /project-overview command.
لغة النص الأصلي: الإنجليزية
Archive completed, abandoned, and expanded tasks with CHANGE_LOG.md updates and memory harvest suggestions
لغة النص الأصلي: الإنجليزية
Research blockers and spawn new tasks to overcome them, updating parent task dependencies
لغة النص الأصلي: الإنجليزية
Full structural hard-mode orchestration state machine with per-phase dispatch (H1), adversarial verification (H4), convergence policing (H6), territory contracts (H7), and churn detection (H5). Invoke for /orchestrate --hard.
لغة النص الأصلي: الإنجليزية
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 and push semantic version tags for CI/CD deployment. User-only command - agents cannot invoke.
لغة النص الأصلي: الإنجليزية
Research CSLib formalization patterns and Mathlib API for CSLib contributions. Invoke for cslib research 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…
لغة النص الأصلي: الإنجليزية
Compose PR review response files (pr-response.md, zulip-response.md) for pr-type review tasks. Delegates to pr-review-implementation-agent when sources are present; falls back to cslib-implementation-agent for legacy PR prep tasks. Transitions task to [PR…
لغة النص الأصلي: الإنجليزية
Fetch GitHub PR and Zulip thread data for pr-type review tasks. Invoke for pr research 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.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.
لغة النص الأصلي: الإنجليزية
Competitive landscape research with positioning maps
لغة النص الأصلي: الإنجليزية
Route design consultations to domain-specific design partner agents
لغة النص الأصلي: الإنجليزية
Route deck implementation to deck-builder-agent for Slidev pitch deck generation
لغة النص الأصلي: الإنجليزية
Pitch deck planning with interactive template, content, and ordering selection
لغة النص الأصلي: الإنجليزية