严谨开放数学研究 是做什么的？
Codex技能，用于严谨开放数学研究、研究项目管理以及Lean 4形式化验证（涵盖严谨开放数学研究 + 管理数学研究项目 + lean-verify插件 + 数学研究工作流流水线）。
Codex技能，用于严谨开放数学研究、研究项目管理以及Lean 4形式化验证（涵盖严谨开放数学研究 + 管理数学研究项目 + lean-verify插件 + 数学研究工作流流水线）。
该技能套件专为严谨开放数学研究设计，集成了项目管理、形式化验证和工作流自动化功能。它基于Codex平台运行，通过组合多个专用插件（rigorous-open-math-research、manage-math-research-program、lean-verify和math-research-workflow pipeline），为数学研究者提供从问题提出到结果验证的全流程支持。Lean 4形式化验证确保了数学证明的正确性和可复现性，而项目管理工作流则帮助研究团队高效组织任务。对于从事纯数学研究、定理形式化验证或需要大规模协作的研究人员来说，这是一个极其实用的工具集合。
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 →
Codex技能，用于严谨开放数学研究、研究项目管理以及Lean 4形式化验证（涵盖严谨开放数学研究 + 管理数学研究项目 + lean-verify插件 + 数学研究工作流流水线）。
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.