Yau-Skill 是做什么的？
基于证据的 Codex 技能，用于种子方程、解析封闭和受控枚举。
基于证据的Codex技能，用于种子方程、解析封闭和受控枚举。
Yau-Skill 是一个面向 AI 编程助手（如 Codex）的专业技能，专门用于处理种子方程、解析封闭和受控枚举问题。该技能基于证据驱动，能够帮助开发者高效地对数学和物理方程进行形式化推导与自动枚举。它支持在 Codex 平台上运行，通过结构化的提示和指令，引导 AI 生成符合特定领域约束的代码或公式。该技能的主要优势在于其“受控枚举”机制，能够避免生成无效或冗余的数学结构，从而提升科学计算和定理证明的准确性。适用于需要符号计算、代数闭环验证或自动化公式探索的研究和工程场景。
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.