Habilidades de Codex para investigación matemática rigurosa abierta, gestión de programas de investigación y verificación formal con Lean 4 (rigorous-open-math-research + manage-math-research-program + lean-verify plugin + math-research-workflow pipeline).
Este conjunto de habilidades de Codex está diseñado para investigadores y asistentes de IA que trabajan en matemáticas abiertas y rigurosas. Combina la capacidad de gestionar programas de investigación matemática, automatizar flujos de trabajo de investigación y verificar formalmente demostraciones utilizando el asistente de pruebas Lean 4. La habilidad central 'rigorous-open-math-research' permite formular conjeturas, desarrollar demostraciones y registrar resultados de manera estructurada. El plugin 'manage-math-research-program' añade capacidades de planificación y seguimiento de proyectos de investigación a largo plazo. La integración con Lean 4 ('lean-verify plugin') permite verificar la corrección de demostraciones matemáticas de forma automática. Finalmente, el pipeline 'math-research-workflow' orquesta todas estas capacidades para guiar al usuario desde la formulación de un problema hasta la publicación de un resultado verificado, todo dentro del ecosistema de Codex.
npx skills add xsoc1/rigorous-open-math-researchInstalled? Explore more Investigación y análisis de datos skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →
Habilidades de Codex para investigación matemática rigurosa abierta, gestión de programas de investigación y verificación formal con 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.