rigorous-open-math-research 是做什麼的？
用於嚴謹的開放數學研究、研究計畫管理以及 Lean 4 形式驗證的 Codex 技能組合 (rigorous-open-math-research + manage-math-research-program + lean-verify 外掛 + math-research-workflow 管線)。
用於嚴謹的開放數學研究、研究計畫管理以及 Lean 4 形式驗證的 Codex 技能組合 (rigorous-open-math-research + manage-math-research-program + lean-verify 外掛 + math-research-workflow 管線)。
此技能套件專為需要進行嚴謹開放數學研究的開發者與研究人員設計。它整合了多個 Codex 外掛與管線，涵蓋從研究構想、計畫管理、Lean 4 形式化驗證到自動化研究流程的完整生命週期。透過 `rigorous-open-math-research` 核心技能，你可以發起並追踪數學猜想與定理；`manage-math-research-program` 則協助分解任務、設定里程碑並協調協作。`lean-verify` 外掛能自動將陳述與證明轉換為 Lean 4 程式碼並執行驗證，確保邏輯正確性。最後，`math-research-workflow` 管線可串接上述步驟，實現從草稿到形式化驗證的一鍵式自動化流程。此套件支援命令列與開發環境整合，適合數學家、軟體工程師以及所有對形式驗證有興趣的用戶。
npx skills add xsoc1/rigorous-open-math-researchInstalled? Explore more 研究與資料分析 skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →
用於嚴謹的開放數學研究、研究計畫管理以及 Lean 4 形式驗證的 Codex 技能組合 (rigorous-open-math-research + manage-math-research-program + lean-verify 外掛 + math-research-workflow 管線)。
USPTO patent and trademark data workflow for official record lookup, PatentSearch queries, TSDR checks, assignment data, and reproducible IP research logs.
Structured scholarly-work evaluation for papers, proposals, literature reviews, methods sections, evidence quality, citation support, and research-writing feedback.
Systematic literature-review workflow for academic, biomedical, technical, and scientific topics, including search planning, source screening, synthesis, citation checks, and evidence logging.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Agent skill repository discovered by 10x-chat research.
Review backend code for quality, security, maintainability, and best practices based on established checklist rules. Use when the user requests a review, analysis, or improvement of backend files (e.g., `.py`) under the `api/` directory. Do NOT use for frontend files (e.g., `.tsx`, `.ts`, `.js`). Supports pending-change review, code snippets review, and file-focused review.