parcadei

線形代数のベクトル空間に関する問題を、部分空間の判定、一次独立性、基底と次元、基底変換に分けて整理し、計算・証明用スクリプトで確認するスキル。

• 部分空間かどうか判定したいとき
• ベクトルの一次独立性を調べたいとき
• 基底と次元を求めたいとき

関数の値を小さくする最適化問題で、勾配降下法やNewton法などの選択、更新幅の調整、収束の確認を支援し、SciPyによる計算例も示すスキル。

• 最適化問題に合う解法を選びたいとき
• 勾配降下法の更新幅を調整したいとき
• 振動や収束の遅さを調べたいとき

2階常微分方程式を係数や右辺の形で分類し、解法を検討します。特性方程式による解や非同次方程式の特殊解に加え、初期値・境界値問題の数値計算も扱います。

• 2階常微分方程式を分類したいとき
• 定数係数の同次方程式を解きたいとき
• 非同次方程式の特殊解を求めたいとき

測度論の積分問題で、関数列の性質や可積分性に応じて使う定理を整理します。単関数の積分から極限と積分の交換、重積分の順序変更まで、解法の検討を支援します。

• 極限と積分を交換する定理を選びたいとき
• 積分順序を変える条件を確認したいとき
• Fatouの補題で下限を調べたいとき

抽象代数学の環の問題で、環の公理や可換性、単位元、整域の条件を順に確認し、イデアルや環準同型の検討まで、証明や計算の進め方を整理するスキル。

• 与えられた演算が環になるか調べたいとき
• 可換性・単位元・整域の条件確認
• イデアルの条件を確認したいとき

数式や数学の考え方を、具体例・図解・身近な類推で理解するためのスキル。問題の言い換えや単純化を通じて、計算に進む前に意味や構造を整理します。

• 数式の意味を理解したいとき
• 幾何学的な解釈を知りたいとき
• 抽象的な問題を具体例で考えたいとき

測度論のσ代数について、公理の確認、集合族からの生成、関数の可測性、積σ代数の問題を解く方針を整理し、関連する計算・証明ツールの呼び出し例を示すスキル。

• σ代数の公理を確認したいとき
• 集合族から生成されるσ代数の検討
• 逆像を使って可測性を確認したいとき

Claude Code向けスキルの作成・修正で、説明の長さ、使用場面、起動条件、ツール権限を整えるためのルール集。MCP用スクリプトを呼び出す構成も扱います。

• Claude Code用スキルの新規作成
• 既存のSKILL.mdの短縮・整理
• MCP用スキルの説明を整えたいとき

Claude Code向けのスキルを新規作成し、既存スクリプトや複数の外部ツールをつなぐ処理を、利用条件と実行手順のあるSKILL.mdにまとめるスキル。

• Claude Code用スキルを新規作成したいとき
• 既存スクリプトをスキル化したいとき
• MCPツールの連続処理をまとめたいとき

関数名やコードの構造、概念的な質問、完全一致の文字列など、探したい内容に応じて検索ツールを選び、必要な実装へ絞って読み進めるためのルールです。

• 関数名やクラス名から実装を探したいとき
• コード構造から関数やインポートを検索
• 認証やエラー処理を概念から調べたいとき

コードの構造、仕組みへの質問、識別子の完全一致など、探したい内容に応じて検索ツールを選び、必要なファイルを絞ってから読む手順を定めるスキル。

• 関数やクラスの定義を探したいとき
• 認証の仕組みをコードから調べたいとき
• 変数名や正規表現で検索したいとき

依頼内容から実行コマンドを選ぶルーターを、個別ツールより先に使うための設計指針。分野別スキルとの同時有効化や、起動条件と振り分け処理の分担を整理します。

• 複数ツールの選択方法を設計したいとき
• 分野別スキルとルーターの同時有効化
• 起動条件と振り分け条件の見直し

コード品質・設計との整合性・変更リスクを複数の専門エージェントで並行レビューし、指摘を統合するスキル。修正の優先順位とマージ可否の判断をまとめます。

• マージ前のPRレビュー
• 実装と設計計画の整合性確認
• 互換性と既存機能への影響確認

既存のSKILL.mdを意思決定理論と様相論理の観点から分析し、状態・行動・終了条件・制約・検証項目を備えたv5 Hybrid形式へ再構成するスキル。

• 既存スキルのv5 Hybrid形式への変換
• 作業の状態と行動を整理したいとき
• 判断ルールと終了条件の明確化

引き継ぎ文書と関連資料を読み、前回の変更や知見が現在も有効かを確認して、残作業の優先順位を整理し、専門エージェントへ引き継ぐスキル。

• 前回の未完了作業を再開したいとき
• チケットの最新の引き継ぎを使いたいとき
• 引き継ぎ後のコードの差異を確認したいとき

既存コードの配置や動作、部品同士のつながりを調べ、過去の検討資料も補足しながら、ファイルパスと行番号を根拠に現状を説明する調査文書にまとめます。

• 既存システムの認証処理を理解したいとき
• システムの部品間の関係を文書化
• 過去の判断と現行コードを確認したいとき

初めて触るコードの構成や実装パターン、開発ルールを調べ、参照元付きの引き継ぎ文書にまとめます。IssueやPRのテンプレート、テスト要件も確認するスキルです。

• 改修前にコードの全体像を把握したいとき
• 貢献前にIssueやPRの要件を確認
• 実装例や命名規則を探したいとき

本番公開前のセキュリティ監査、システム全体のテスト、最終レビューを順に進め、承認後のバージョン更新から変更履歴・リリースノート作成までをまとめるスキル。

• ソフトウェアの公開準備
• 本番デプロイ前に確認したいとき
• 破壊的変更と移行手順の文書化

過去のセッションで蓄積した知見を意味の近さやキーワードで検索し、関連する内容の全文と種類・確信度・セッションの文脈を取り出すスキル。

• hook開発のパターンを振り返りたいとき
• wizardの導入時の知見を探したいとき
• TypeScriptエラーの記録を参照したいとき

過去の作業記録やビルド・テストの履歴を検索し、成功した方法、失敗の原因、判断の理由を見つけて、似た作業や不具合調査に生かすスキルです。

• 似た作業の進め方を思い出したいとき
• 過去の判断理由を確認したいとき
• 以前遭遇したエラーの修正を探すとき

変更したコードや指定した範囲の品質を点検し、書式・スタイルの自動修正、複雑さや重複の計測、保守しにくい箇所の検出をまとめて行うスキル。

• コミット前に変更コードを点検したいとき
• 書式やスタイルを自動修正したいとき
• コードの複雑さや重複を調べたいとき

数学の命題をLean4で機械検証するために、既存定理の調査、証明の設計、反例の探索、実装、未証明箇所と公理の監査を段階的に進めるスキル。

• 数学の命題をLean4で形式化したいとき
• Mathlibの既存定理を探したいとき
• 補題の反例を調べたいとき

会話で伝えた要望と既存コードの調査をもとに、実装計画と引き継ぎ文書を作ります。変更対象、作業項目、検証方法、前提条件やリスクを整理し、実装前のレビューに備えるスキル。

• 既存コードへの機能追加を計画したいとき
• 複雑な機能の要件を明確にしたいとき
• 新規開発の作業と検証方法を整理したいとき

Perplexityを使い、Web検索の結果一覧や出典付きの調査回答を得るスキルです。短い質問、複数資料の要約、複雑な選択の検討、広範な調査を使い分けます。

• 最近の情報源を探したいとき
• 複数資料を出典付きでまとめたいとき
• 複雑な選択肢を比較したいとき