Menu
O SkillsMP coletou 19 skills de reaslab/MathModelingAgent-CodexBundle. Abra uma skill para revisar a origem e os detalhes.
Mostrando 19 de 19 skills coletadas.
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…
Idioma do texto original: chinês
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…
Idioma do texto original: chinês
Use when a derivation, proof attempt, or mathematical argument must separate fully justified results from partial justification, heuristics, and conjecture.
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
Use when the problem frame is clear enough to introduce variables, assumptions, and candidate mathematical structures while documenting model tradeoffs and risks.
Idioma do texto original: inglês
Use when mathematical research work needs stage-aware guidance before proceeding.
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
Use when mathematical or model-based work needs reproducible numerical experiments, retained anomalies, and report-ready evidence rather than a single illustrative run.
Idioma do texto original: inglês
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:…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
Use when a mathematical or technical problem is still being clarified and the agent must separate stated facts from assumptions before choosing a direction.
Idioma do texto original: inglês
Use when staged mathematical or model-based work needs a final report grounded in actual outputs, explicit uncertainty, and disciplined claim framing.
Idioma do texto original: inglês
Use when numerical, empirical, or experiment-driven mathematical work needs a stated research objective and an explicit execution plan before running computations.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês
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…
Idioma do texto original: chinês