Yau-Skill は何をしますか？
証拠に基づいたCodexスキル：シード方程式、解析的閉包、および制御された列挙。
シード方程式、解析的閉包、制御された列挙のための証拠に基づいたCodexスキル。
このスキルは、AIエージェント（特にCodex CLI）が、与えられた証拠や制約に基づいて「シード方程式」を特定し、解析的閉包を計算し、制御された方法で解の列挙を行うための機能を提供します。主に数式処理や科学的発見の文脈で有用であり、ユーザーは曖昧な指示ではなく、具体的な証拠（例えば実験データや既知の関係式）をスキルに与えることで、探索範囲を絞り込みながら体系的な導出や列挙を実行できます。Codexプラットフォーム上で動作し、SKILL.mdの指示に従って、与えられた証拠からシードとなる方程式を抽出し、それらの間の解析的閉包を計算し、その閉包内で可能な解を列挙します。これにより、ユーザーは探索的な数式処理を効率的かつ構造的に進めることができます。
npx skills add JunkaiWang-TheoPhy/Yau-SkillInstalled? Explore more コーディング＆開発 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
証拠に基づいたCodexスキル：シード方程式、解析的閉包、および制御された列挙。
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.