Math Formalization
tradecatlabs/vibe-coding-cn
Turns a mathematical claim into a small Lean 4 and Mathlib formalization checked by the proof assistant kernel, and refuses to report a pass without real evidence.
A skill your agent uses when building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables, parameters, constraints, objective function…
No licenceAuto-check passed
Install Jmsc Model Building
$ npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-model-building --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/franklee16/academic-research-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building .claude/skills/jmsc-model-building && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "jmsc-model-building" agent skill from https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building into .claude/skills/jmsc-model-building/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-model-building", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-buildingType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-model-building --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/franklee16/academic-research-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building .agents/skills/jmsc-model-building && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "jmsc-model-building" agent skill from https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building into .agents/skills/jmsc-model-building/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-model-building", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-model-building --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/franklee16/academic-research-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building .cursor/skills/jmsc-model-building && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "jmsc-model-building" agent skill from https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building into .cursor/skills/jmsc-model-building/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-model-building", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/franklee16/academic-research-skills.git --path Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-model-building --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/franklee16/academic-research-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building .gemini/skills/jmsc-model-building && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "jmsc-model-building" agent skill from https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building into .gemini/skills/jmsc-model-building/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-model-building", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install franklee16/academic-research-skills jmsc-model-buildingInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/franklee16/academic-research-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building .github/skills/jmsc-model-building && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "jmsc-model-building" agent skill from https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building into .github/skills/jmsc-model-building/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-model-building", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-model-building --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/franklee16/academic-research-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building .opencode/skills/jmsc-model-building && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "jmsc-model-building" agent skill from https://github.com/franklee16/academic-research-skills/tree/master/Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building into .opencode/skills/jmsc-model-building/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-model-building", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
jmsc-model-building- GitHub stars
- 223
- Used in
- 1 other repo
- Token cost
- ~381 tokens
- SKILL.md length
- 53 words
- Files
- 1
- Skills in repo
- 1,617
- Repo updated
- First seen
- Licence
- None found
At a glance
A skill your agent uses when building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables, parameters, constraints, objective function…
- Works in 4 steps: 决策变量与参数：列清符号、定义域、量纲；变量与参数分开声明。 → 约束：容量/预算/非负/可行性/激励相容（IC）/参与（IR）等，写成显式不等式或… → 目标函数：期望利润 / 风险调整收益 / 成本 / 社会福利…；明确是 max… → …
- Building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables
- SKILL.md covers 触发时机, 核心：模型设定必须完整且可辩护, 模型四要素（缺一不可） and 假设的三类与辩护, plus 3 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Jmsc Model Building is an agent skill from franklee16/academic-research-skills. Use when building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables, parameters, constraints, objective function, and assumptions all explicit, and justifying each assumption against the modeling goal. Use after jmsc-problem-formulation and before jmsc-proofs.
Its SKILL.md is about 380 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
The repository describes itself as: Comprehensive collection of Claude Code skills for academic research in economics, finance, and social sciences.
When your agent uses it
- Building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables
- Objective function
- Assumptions all explicit
- Justifying each assumption against the modeling goal
Example prompts
- “/jmsc-model-building”
Workflow steps
4 steps, taken from the first numbered list in SKILL.md.
- 决策变量与参数：列清符号、定义域、量纲；变量与参数分开声明。
- 约束：容量/预算/非负/可行性/激励相容（IC）/参与（IR）等，写成显式不等式或等式。
- 目标函数：期望利润 / 风险调整收益 / 成本 / 社会福利…；明确是 max 还是 min、对谁而言。
- 假设：分布假设、凸性/单调性、信息结构、参数取值范围——每条单独编号。
What it can do on your machine
Read from SKILL.md and the folder at commit 9a4b2db. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Jmsc Model Building loads about 381 tokens when it runs. Until then it costs about 86 tokens; SKILL.md has 53 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
Without a licence we can't republish the file, so here is its outline and opening line. It has 53 words (~381 tokens).
- name
- jmsc-model-building
Files
Just SKILL.md in Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building of franklee16/academic-research-skills.
Open the folder on GitHubat commit 9a4b2db
Used in 1 other repository
We found 1 copy of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in franklee16/academic-research-skills, which our catalogue first saw on October 7, 2026.
Compare with similar skills
Jmsc Model Building next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Jmsc Model Building this skillfranklee16/academic-research-skills | 223 | 1 repos | ~381 | Automated safety check: Pass | None | |
| Math Formalizationtradecatlabs/vibe-coding-cn | 17k | — | ~717 | Automated safety check: Pass | MIT | |
| Smart Contract Formal Verificationsickn33/agentic-awesome-skills | 47k | 1 repos | ~1.4k | Automated safety check: Pass | MIT | |
| Lean Formalizewanshuiyin/Auto-claude-code-research-in-sleep | 17k | — | ~5.4k | Automated safety check: Notes | MIT | |
| Jmsc Problem Formulationbrycewang-stanford/Awesome-Journal-Skills | 1.2k | — | ~703 | Automated safety check: Pass | MIT | |
| Jmsc Submissionbrycewang-stanford/Awesome-Journal-Skills | 1.2k | — | ~776 | Automated safety check: Pass | MIT |
Similar skills
Smart Contract Formal Verification
sickn33/agentic-awesome-skills
Foundry and Soroban formal invariant verification register: state transition rules, boundary invariant properties, and symbolic execution checks.
Lean Formalize
wanshuiyin/Auto-claude-code-research-in-sleep
Develop and verify a mathematical proof in Lean, continue an incomplete Lean project, or audit whether it proves the original statement.
Jmsc Problem Formulation
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when formalizing the decision problem before model building for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — identifying the decision maker(s), decision…
Jmsc Submission
brycewang-stanford/Awesome-Journal-Skills
A skill your agent uses when running the pre-submission preflight to 《管理科学学报》 (Journal of Management Sciences in China) — checking length (≤8000 chars; review ≤12000), abstract (≤300 chars)…
Formalize
Weber-GeoML/Choir
Start or resume a Choir formalization project as its overseer — formalize a theorem, paper, textbook chapter, or folder of sources in Lean 4, Isabelle, or Rocq by orchestrating AI contributor agents…
More from franklee16/academic-research-skills
All 1,617 skills in this repoEconometric Research Writing
franklee16/academic-research-skills
End-to-end econometric analysis and economics/management paper-writing workflow.
Paper Revision
franklee16/academic-research-skills
Comprehensive workflow for handling journal Revise and Resubmit (R&R) decisions.
Sci Ssci Polishing
franklee16/academic-research-skills
A skill your agent uses when researchers need Chinese academic prose translated into publication-oriented English or English manuscript paragraphs and complete sections polished for SCI, SSCI, or…
Research Defense Radar
franklee16/academic-research-skills
Assess and monitor an ongoing research project's competitor landscape, novelty risk, and method/data opportunities from a proposal, paper, research question, data or method notes, or a suspected…
Academic Grant
franklee16/academic-research-skills
Generate or fill in academic grant application forms (project statement, education plan, pathway to impact, references) using draft research material.
Chinese Reference Formatter Skill
franklee16/academic-research-skills
A skill your agent uses when a user needs通用中文参考文献、GB/T 7714-style bibliography entries, Chinese academic reference formatting, or BibTeX completion from Chinese or English literature titles…
Questions about Jmsc Model Building
What does Jmsc Model Building do?
A skill your agent uses when building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables, parameters, constraints, objective function…. Jmsc Model Building is an agent skill from franklee16/academic-research-skills. Use when building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables, parameters, constraints, objective function, and assumptions all explicit, and justifying each assumption against the modeling goal.
When should I use Jmsc Model Building?
Jmsc Model Building fits situations like: building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables; objective function; assumptions all explicit; justifying each assumption against the modeling goal.
How do I install Jmsc Model Building in Claude Code?
Run `npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a claude-code`. Or copy the skill folder (Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building in franklee16/academic-research-skills) into .claude/skills/jmsc-model-building in your project. Claude Code loads it when a task matches its description.
How do I install Jmsc Model Building in Codex?
Run `npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a codex`. Or copy the skill folder (Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-model-building in franklee16/academic-research-skills) into .agents/skills/jmsc-model-building in your project. Codex loads it when a task matches its description.
Can I use Jmsc Model Building in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add franklee16/academic-research-skills --skill jmsc-model-building -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/jmsc-model-building, .gemini/skills/jmsc-model-building, .github/skills/jmsc-model-building and .opencode/skills/jmsc-model-building in your project.
What does Jmsc Model Building need to run?
SKILL.md names no scripts, command-line tools or credentials: Jmsc Model Building is instructions for the agent only.
Does Jmsc Model Building access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Jmsc Model Building safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Jmsc Model Building use?
No licence was found for Jmsc Model Building or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Jmsc Model Building use?
About 381 tokens (SKILL.md is roughly 1.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Jmsc Model Building?
Skills that share tags, products or a category with Jmsc Model Building: Math Formalization (tradecatlabs/vibe-coding-cn, 17k stars), Smart Contract Formal Verification (sickn33/agentic-awesome-skills, 47k stars), Lean Formalize (wanshuiyin/Auto-claude-code-research-in-sleep, 17k stars) and Jmsc Problem Formulation (brycewang-stanford/Awesome-Journal-Skills, 1.2k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Jmsc Model Building?
franklee16 (a GitHub user) maintains it in franklee16/academic-research-skills, which has 223 GitHub stars. The repository holds 1,617 skills in this directory. The repository was last updated on September 18, 2026.
Source: franklee16/academic-research-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.