rigorous-open-math-research は何をしますか？
Codexスキルセット。厳密なオープン数学研究、研究プログラム管理、Lean 4形式検証を実現します（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プラグイン + math-research-workflowパイプライン）。
このスキルは、Codexエージェントが厳密なオープン数学研究、研究プログラム管理、そしてLean 4による形式検証を効率的に行えるように設計された統合スキルセットです。数学の定理や証明を探索・検証し、研究プロジェクトの進捗を管理しながら、Lean 4を用いて形式的に正しい証明を構築するためのツールを提供します。具体的には、`rigorous-open-math-research`プラグインによる文献調査やアイデアの整理、`manage-math-research-program`によるタスク分割と進捗追跡、`lean-verify`プラグインによるLeanコードの検証、そして`math-research-workflow`パイプラインによる一連の研究工程の自動化を実現します。このスキルは主にCodexプラットフォームで動作し、研究者やエンジニアが数学的に厳密な成果を効率良く生み出すことを支援します。
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形式検証を実現します（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.