rigorous-open-math-research은(는) 무엇을 하나요?
Codex 스킬: 엄격한 공개 수학 연구, 연구 프로그램 관리, Lean 4 정형 검증 통합 (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 파이프라인).
이 스킬은 AI 어시스턴트(특히 Codex)가 엄격한 공개 수학 연구(research), 연구 프로그램 관리(manage-math-research-program), Lean 4 정형 검증(lean-verify 플러그인), 그리고 수학 연구 워크플로우 파이프라인을 통합적으로 수행할 수 있도록 설계된 종합적인 도구 모음입니다. 수학자, 연구자, 또는 AI 에이전트가 복잡한 수학적 추론을 단계별로 검증하고, 연구 결과를 체계적으로 관리하며, Lean 4를 사용한 정형 증명을 자동화하는 데 유용합니다. 주요 기능으로는 연구 노트 생성, 정리 진술 및 증명 검증, 연구 프로그램의 진행 상황 추적, 그리고 재현 가능한 연구 파이프라인 구축이 포함됩니다. 이 스킬은 Codex, Cursor, Claude Code 등 다양한 AI 코딩 어시스턴트와 호환되며, 수학 연구의 투명성과 엄격함을 높이는 데 기여합니다.
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.