Yau-Skill 是做什麼的?
基於證據的 Codex 技能,用於種子方程式、解析封閉和受控列舉。
基於證據的 Codex 技能,用於種子方程式、解析封閉和受控列舉。
此技能專為 Codex 平台設計,提供一個嚴謹的框架,用於處理種子方程式、實現解析封閉,以及執行受控列舉。它通過將每個步驟錨定在具體證據上,確保了可驗證性和可追溯性。對於需要處理符號運算、推導封閉形式解,或系統性地探索方程式解空間的開發者和研究人員來說,此技能尤為有用。其核心工作流程包括識別種子方程式、應用解析技術以獲得封閉形式,然後以受控且可複現的方式列舉解。這使得它成為數學建模、物理模擬和任何需要嚴謹符號推理領域的強大工具。
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.