Habilidades do Codex para pesquisa matemática rigorosa e aberta, gerenciamento de programas de pesquisa e verificação formal Lean 4 (rigorous-open-math-research + manage-math-research-program + lean-verify plugin + math-research-workflow pipeline).
Este conjunto de habilidades do Codex é projetado para apoiar matemáticos e pesquisadores na condução de pesquisa matemática rigorosa e aberta, com foco em gerenciamento de programas de pesquisa e verificação formal usando Lean 4. Ele integra quatro componentes principais: um pipeline de fluxo de trabalho de pesquisa matemática, um plugin de verificação Lean, e habilidades para pesquisa rigorosa e gerenciamento de programas. A utilidade principal reside em automatizar tarefas repetitivas, como verificação de provas, gestão de projetos de pesquisa e documentação de resultados, permitindo que os pesquisadores se concentrem em aspectos criativos e analíticos. A habilidade funciona como um meta-skill que orquestra esses componentes, fornecendo uma interface unificada para ferramentas como o assistente de prova Lean 4 e pipelines de fluxo de trabalho personalizados. É particularmente útil para comunidades de pesquisa que adotam práticas de matemática aberta e verificada computacionalmente.
npx skills add xsoc1/rigorous-open-math-researchInstalled? Explore more Pesquisa e Análise de Dados skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →
Habilidades do Codex para pesquisa matemática rigorosa e aberta, gerenciamento de programas de pesquisa e verificação formal Lean 4 (rigorous-open-math-research + manage-math-research-program + lean-verify plugin + math-research-workflow pipeline).
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.