parcadei

Leanの証明で必要な補題を、名前が分からなくても型の形からMathlib内で検索します。型変数や関連語を使って候補を絞り、証明に使える補題を探すスキルです。

• 名前が分からない補題を探したいとき
• 特定の型に関する補題の調査
• 入出力の型からリスト関数を探す

フレームワークや言語、データベース、インフラの移行を、移行先の調査と既存コードの影響分析から、段階的な計画・実装・レビューまで進めるスキル。

• フレームワークや言語を更新したいとき
• 別のデータベースへ移行したいとき
• クラウド間の移行を計画したいとき

複数ファイルの実装やテストを別のエージェントに任せ、メインの会話に残す情報を要約に絞ることで、会話の文脈を保ちながら開発を進めるための運用ルールです。

• 複数ファイルにまたがる機能実装
• 実装計画の特定フェーズを進めたいとき
• 新機能の実装とテストを任せたいとき

手動テストや実装中の不具合を、ログ・データベースの状態・Gitの変更履歴から調査し、ファイルを編集せずに原因候補と次の対処を整理するスキル。

• 手動テストで出たエラーを調べたいとき
• 最近の変更後に起きた不具合の原因調査
• データベースの異常な状態を確認したいとき

方程式や微積分、数値計算、証明の確認など、数学の目的に合うツールを案内します。途中式の検証から段階的なヒント、練習問題、グラフ描画まで使い分けを支援します。

• 方程式を解いて答えを検証したいとき
• 練習問題と段階的なヒントによる学習
• 証明や制約問題のツール選び

会話をクリアする前に、完了した作業・判断の理由・未解決事項・次の手順を所定の YAML にまとめ、別セッションで作業を再開するための引き継ぎ資料を作るスキル。

• `/clear` 前に進捗を残したいとき
• 数日にわたる実装の引き継ぎ
• 複雑な改修の判断と障害の記録

方程式や微積分、行列の計算から単位換算、数学の概念説明まで、依頼に応じた計算ツールや分野別スキルを選び、一つの窓口で扱うスキルです。

• 方程式や積分を解きたいとき
• 行列の固有値を求めたいとき
• 単位を換算したいとき

実装した基盤機能がシステムにつながり、実際に呼び出されるかを確認します。実行経路、フック登録、接続先、未使用コードを点検し、一連の動作を通して完了を判断するスキル。

• 追加した基盤機能の呼び出しを確認したいとき
• フックの登録と設定を点検したいとき
• 想定したデータベースの利用を確認したいとき

Agenticaの非同期REPLでテストを行う際、ツールの結果をawaitで待ち、計算と結果の返却を一つのコードブロックにまとめるための実行規約を示すスキル。

• Agenticaの非同期REPLで呼び出しを確認したいとき
• ファイルの読み取り結果を待って処理したいとき
• 計算と返却を一つのコードブロックにまとめたいとき

Agentica SDK と Claude Code CLI をプロキシ経由で連携させ、ファイル操作の権限や応答形式、未実行の成功報告などの問題を調べる開発支援スキル。

• Agentica から Claude Code を使いたいとき
• ファイルの書き込み・編集権限エラーの調査
• ストリーミングと REPL の応答形式の調査

Claude Codeのフック開発で、シェルからTypeScriptを呼ぶ構成、イベント別の入出力処理、設定への登録、手動テストの方法をそろえるスキル。

• ツール実行前にチェックしたいとき
• セッション開始時に処理したいとき
• フックの登録と手動テストの統一