Community程式設計與開發github.com

JunkaiWang-TheoPhy/Yau-Skill

基於證據的 Codex 技能,用於種子方程式、解析封閉和受控列舉。

Yau-Skill 是什麼?

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

相容平台~Claude Code✓Codex CLI~Cursor
npx skills add JunkaiWang-TheoPhy/Yau-Skill

Installed? Explore more 程式設計與開發 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

在你喜歡的 AI 中提問

開啟一個已預先載入此 Agent Skill 的新對話。

說明文件

Yau-Skill 是做什麼的?

基於證據的 Codex 技能,用於種子方程式、解析封閉和受控列舉。

相關技能