Skip to main content
reaslab
GitHub creator profile

reaslab

Repository-level view of 19 collected skills across 1 GitHub repositories.

skills collected
19
repositories
1
updated
Aug 15, 2026
repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

repository explorer

Repositories and representative skills

cumcm-writing
unclassified

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…

Aug 15, 2026
data-engine
unclassified

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…

Aug 15, 2026
derivation-and-proof-checking
unclassified

Use when a derivation, proof attempt, or mathematical argument must separate fully justified results from partial justification, heuristics, and conjecture.

Aug 15, 2026
document-extraction
unclassified

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…

Aug 15, 2026
hmml-local-setup
unclassified

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.

Aug 15, 2026
hmml-method-search
unclassified

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…

Aug 15, 2026
mathematical-modeling
unclassified

Use when the problem frame is clear enough to introduce variables, assumptions, and candidate mathematical structures while documenting model tradeoffs and risks.

Aug 15, 2026
mathflow
unclassified

Use when mathematical research work needs stage-aware guidance before proceeding.

Aug 15, 2026
Showing 8 of 19 collected skills.
Showing 1 of 1 repositories
All repositories loaded