Promylas

Use this skill for developing literature-based research ideas into reproducible statistical, computational, and decision-analytic methods for operational data, especially projects targeting UTD24-style management journals and top statistics journals. Use it for project intake, anchor paper analysis, contribution design, baseline reproduction, numerical experiments, dataset experiments, and claim-evidence audit. Do not use it for generic paper monitoring, finance/accounting analytics, humanities-style literature synthesis, or pure proof development unless explicitly requested.

Extract reusable proof assets from curated theoretical papers and use them for project-level theorem planning, Level 3 proof-module extraction, human-in-the-loop proof repair, and paper-level proof drafting. Use when Codex needs to process theory papers, build paper/theorem maps, select proof modules for a research idea, extract proof modules, adapt proof logic to a target theorem, or construct proof plans, proof work units, proof state, gap notes, and LaTeX proof drafts.