01
このSkillでできること
- ✓references/配下に上流リポジトリを読み取り専用の参照として追加する
- ✓サブモジュールのクローン、状態、名前変更、ライフサイクルの問題を診断する
- ✓.gitmodules、Makefile、サブモジュールポインタを一体として更新する
- ✓RBS、Python typing、Ruby、TypeProfの参照用途と運用方針を確認する
02
使い方
01
STEP 1
追加対象の上流リポジトリと参照目的を決める
02
STEP 2
サブモジュール、.gitmodules、Makefileの関連変更を同時に扱う
03
STEP 3
git statusで想定された3つのステージ対象だけになっていることを確認する
04
STEP 4
問題発生時はサブモジュール診断用のMakeターゲットで状態を確認し、必要に応じて再初期化する
03
Skillのインストール
初心者におすすめ
AIにこのSkillを追加してもらう
GitHub URLごとCodexやClaude Codeへ渡し、現在の環境に合う方法を判断してもらいます。
このGitHubリポジトリにあるSkillを確認し、現在の環境に適した方法でインストールしてください。
インストール後、正常に利用できることを確認し、基本的な使い方も簡潔に説明してください。
Repository:
https://github.com/rigortype/rigor手動でインストールする
README / SKILL.mdから機械抽出できたコマンドのみ表示しています。推測したコマンドではありません。
@if [ ! -e references/<name>/.git ]; then \
url="$$(git config -f .gitmodules submodule.references/<name>.url)"; \
sha="$$(git rev-parse HEAD:references/<name>)"; \
echo "Initializing references/<name> sparsely (<which-subdirectory>)"; \
git clone --no-checkout --filter=blob:none "$$url" references/<name>; \
git -C references/<name> fetch origin "$$sha"; \
git -C references/<name> sparse-checkout init --cone; \
git -C references/<name> sparse-checkout set <subdirectory>; \
git -C references/<name> checkout --detach "$$sha"; \
git submodule absorbgitdirs references/<name>; \
else \
git submodule update --init --filter=blob:none references/<name>; \
fi04
このSkillを使うプロンプト例
Skill名を明示すると、意図したSkillを使わせやすくなります。自動発動型では必須とは限りません。
Rigorのreferences/配下に、指定した上流リポジトリを読み取り専用の参照サブモジュールとして追加する手順と確認項目を整理してください。出力例を見る
参照目的を確認し、サブモジュール、.gitmodules、Makefileをまとめて更新します。最後に変更対象が想定された3項目だけであることを確認します。05
安全性チェック
自動解析による参考情報です。Skillの安全性を保証するものではありません。
外部API通信検出あり
Shellコマンド実行明確な記述なし
ファイル読み取り明確な記述なし
ファイル書き込み明確な記述なし
ネットワークアクセス検出あり
認証情報明確な記述なし
検出根拠を見る
- network: ream | Use | | --- | --- | --- | | `references/rbs` | `https://github.com/ruby/rbs.git` | RBS syntax, stdlib signatures, test cases, implementation behav
- network: r the RBS ecosystem. | | `references/python-typing` | `https://github.com/python/typing.git` | Written-down Python typing concepts (gradual typing, gener
06
関連Skill
decoding-effect-boundaries
Effect境界デコーダー
HTTPやWebSocket、OAuth、CLI入力などの信頼できない値を入口でEffect Schemaにより一度だけ検証・デコードし、後続処理を型付きに保つスキルです。
Effect Schemaデータ検証型安全
sci-deep-reader
Sci Deep Reader(科学文献深度精読)
PDFやOffice、Markdown、ウェブ、arXiv、DOIの科学文献を精読し、根拠と限界を示す解説レポートに整理するスキル。
評価確度:暫定科学文献論文精読文献解説
add-collection-member
コレクションメンバー追加
既存CollectionにSOAメンバーポインタを追加し、レイアウト依存箇所の更新漏れを防ぐチェックリストです。
評価確度:暫定C++23CollectionSOA