discover-formal
✓形式的手法を使用する場合、形式的手法と検証スキルを自動的に発見します。正式な開発タスクに対してアクティブ化されます。
インストール
SKILL.md
Next Steps: Run cat /.claude/skills/formal/INDEX.md to see full category details.
形式的手法を使用する場合、形式的手法と検証スキルを自動的に発見します。正式な開発タスクに対してアクティブ化されます。 ソース: rand/cc-polymath。
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/rand/cc-polymath --skill discover-formal インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります
安全認証済み、信頼性の高いコード ワンクリックインストール、簡単設定 Claude Code、Cursor などに対応
引用可能な情報
AI/検索での引用用の安定したフィールドとコマンド。
- インストールコマンド
npx skills add https://github.com/rand/cc-polymath --skill discover-formal- カテゴリ
- </>開発ツール
- 認証済み
- ✓
- 初回登録
- 2026-02-01
- 更新日
- 2026-02-18
クイックアンサー
discover-formal とは？
形式的手法を使用する場合、形式的手法と検証スキルを自動的に発見します。正式な開発タスクに対してアクティブ化されます。 ソース: rand/cc-polymath。
discover-formal のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/rand/cc-polymath --skill discover-formal インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/rand/cc-polymath
詳細
- カテゴリ
- </>開発ツール
- ソース
- skills.sh
- 初回登録
- 2026-02-01