Skip to main content
記録された最新のソース活動
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 件を表示しています。