Menu
SkillsMP a collecté 19 skills depuis reaslab/MathModelingAgent-CodexBundle. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 19 skills collectés sur 19.
CUMCM paper writing guide built on the bundled template_zh. Activate only when the coordinator has identified a Chinese CUMCM / national contest report. Provides file-by-file instructions tied to the LaTeX template structure. Enforces Chinese output and…
Langue du texte source : chinois
Numerical experiment engine. It executes experiment scripts and generates paired outputs: a `.csv`/`.txt`/`.json` result file and a mandatory `.csv.metadata`/`.txt.metadata`/`.json.metadata` sidecar file. The metadata file must contain the data's physical…
Langue du texte source : chinois
Use when a derivation, proof attempt, or mathematical argument must separate fully justified results from partial justification, heuristics, and conjecture.
Langue du texte source : anglais
Extract and persist text, tables, metadata, and OCR results from user-provided PDF or Office files before modeling, coding, writing, or review work. Use when a task includes PDF, Word, spreadsheet, presentation, or OpenDocument inputs that later agents must…
Langue du texte source : anglais
Set up, check, diagnose, or update the bundled local HMML method-search tool and data. Use it automatically before complete modeling workflows unless the user disables HMML; keep dependencies in a project-local environment.
Langue du texte source : anglais
Search the bundled local Hierarchical Mathematical Modeling Library (HMML) for candidate mathematical modeling methods. Use during Modeler method selection only when the Coordinator reports that the complete local HMML availability check passed and sets HMML…
Langue du texte source : anglais
Use when the problem frame is clear enough to introduce variables, assumptions, and candidate mathematical structures while documenting model tradeoffs and risks.
Langue du texte source : anglais
Use when mathematical research work needs stage-aware guidance before proceeding.
Langue du texte source : anglais
MCM/ICM paper writing guide built on the bundled template_en. Activate only when the coordinator has identified an English MCM/ICM report. Provides file-by-file instructions tied to the LaTeX template structure. Enforces English output and forbids fallback…
Langue du texte source : anglais
Use when mathematical or model-based work needs reproducible numerical experiments, retained anomalies, and report-ready evidence rather than a single illustrative run.
Langue du texte source : anglais
Polishes existing mathematical-modeling paper prose while preserving the accepted model, equations, numerical results, citations, and conclusion strength. Use for a coordinator-assigned language-polish or translation pass on one existing Writer artifact:…
Langue du texte source : anglais
Drafts evidence-grounded mathematical-modeling paper prose from the problem, accepted modeling plans, executed numerical results, figure metadata, and verified literature. Use for one coordinator-assigned report artifact at a time, including a problem…
Langue du texte source : anglais
Audits a complete mathematical-modeling contest paper before submission: problem coverage, model-to-result logic, evidence and citation discipline, language quality, LaTeX/template integrity, figures, and AI-tone leakage. Use only for a coordinator-assigned…
Langue du texte source : anglais
Use when a mathematical or technical problem is still being clarified and the agent must separate stated facts from assumptions before choosing a direction.
Langue du texte source : anglais
Use when staged mathematical or model-based work needs a final report grounded in actual outputs, explicit uncertainty, and disciplined claim framing.
Langue du texte source : anglais
Use when numerical, empirical, or experiment-driven mathematical work needs a stated research objective and an explicit execution plan before running computations.
Langue du texte source : anglais
Use when analytical or numerical findings need explicit validation against special cases, limit cases, sensitivity, and consistency checks so the work is ready for second-wave audit before strong claims.
Langue du texte source : anglais
Use when claims, derivations, or experiment-backed conclusions need a rigid second-wave audit that searches for counterexamples, failure regions, and overreach before stronger conclusions are accepted.
Langue du texte source : anglais
Data analysis and visualization engine. It executes plotting scripts and generates paired outputs: a chart file (e.g., `.png`) and a mandatory `.png.metadata` sidecar file. The metadata file must contain the chart's description, data lineage, and most…
Langue du texte source : chinois