Proof Video
openclaw/openclaw
Add subtitles, captions, narration cues, or zoom to a proof video or PR recording using repo-local capture helpers and a system ffmpeg renderer.
A skill your agent uses when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a…
No licenceAuto-check passed
Install Jmsc Proofs
$ npx skills add franklee16/academic-research-skills --skill jmsc-proofs -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-proofs --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-proofs .claude/skills/jmsc-proofs && 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-proofs" 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-proofs into .claude/skills/jmsc-proofs/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-proofs", 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-proofsType 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-proofs -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-proofs --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-proofs .agents/skills/jmsc-proofs && 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-proofs" 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-proofs into .agents/skills/jmsc-proofs/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-proofs", 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-proofs -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-proofs --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-proofs .cursor/skills/jmsc-proofs && 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-proofs" 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-proofs into .cursor/skills/jmsc-proofs/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-proofs", 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-proofs--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-proofs -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install franklee16/academic-research-skills jmsc-proofs --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-proofs .gemini/skills/jmsc-proofs && 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-proofs" 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-proofs into .gemini/skills/jmsc-proofs/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-proofs", 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-proofsInstalls 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-proofs -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-proofs .github/skills/jmsc-proofs && 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-proofs" 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-proofs into .github/skills/jmsc-proofs/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-proofs", 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-proofs -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-proofs --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-proofs .opencode/skills/jmsc-proofs && 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-proofs" 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-proofs into .opencode/skills/jmsc-proofs/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "jmsc-proofs", 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-proofs- GitHub stars
- 223
- Used in
- 1 other repo
- Token cost
- ~373 tokens
- SKILL.md length
- 63 words
- Files
- 1
- Skills in repo
- 1,617
- Repo updated
- First seen
- Licence
- None found
At a glance
A skill your agent uses when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a…
- A complete proof (in appendix)
- SKILL.md covers 触发时机, 核心：模型必须产出可证明的性质, 命题表述规范 and 常见性质类型与证明套路, plus 3 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
- That the logical chain has no gaps
What it does
Jmsc Proofs is an agent skill from franklee16/academic-research-skills. Use when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a complete proof (in appendix), and that the logical chain has no gaps. A model without proven properties is rejected here. Use after jmsc-model-building.
Its SKILL.md is about 370 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
- A complete proof (in appendix)
- That the logical chain has no gaps
Example prompts
- “/jmsc-proofs”
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 Proofs loads about 373 tokens when it runs. Until then it costs about 84 tokens; SKILL.md has 63 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 63 words (~373 tokens).
- name
- jmsc-proofs
Files
Just SKILL.md in Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-proofs 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 Proofs 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 Proofs this skillfranklee16/academic-research-skills | 223 | 1 repos | ~373 | Automated safety check: Pass | None | |
| Proof Videoopenclaw/openclaw | 392k | — | ~2.4k | Automated safety check: Pass | MIT | |
| Lean4 Theorem Provingbenchflow-ai/skillsbench | 1.8k | — | ~2.2k | Automated safety check: Pass | Apache-2.0 | |
| Robius State Managementsickn33/agentic-awesome-skills | 47k | 2 repos | ~3.3k | Automated safety check: Pass | MIT | |
| Writing Lean Proofstrailofbits/skills | 7.4k | — | ~4k | Automated safety check: Pass | CC-BY-SA-4.0 | |
| State Managementcompozy/compozy | 2.8k | — | ~2.5k | Automated safety check: Pass | MIT |
Similar skills
Lean4 Theorem Proving
benchflow-ai/skillsbench
A skill your agent uses when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for…
Robius State Management
sickn33/agentic-awesome-skills
CRITICAL: Use for Robius state management patterns. An agent skill from sickn33/agentic-awesome-skills.
- Official
Writing Lean Proofs
trailofbits/skills
Structures Lean 4 proofs and library design along Mathlib conventions, from stating theorems to refactoring long tactic proofs and fixing slow or timing-out ones.
State Management
compozy/compozy
Model, review, and refactor application state so source state stays minimal, derived state is computed instead of synchronized, impossible states are not representable, and each piece of state lives…
You Might Not Need State
simstudioai/sim
Analyze and fix unnecessary useState, derived state, and server-state-in-local-state anti-patterns
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 Proofs
What does Jmsc Proofs do?
A skill your agent uses when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a…. Jmsc Proofs is an agent skill from franklee16/academic-research-skills. Use when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a complete proof (in appendix), and that the logical chain has no gaps.
When should I use Jmsc Proofs?
Jmsc Proofs fits situations like: A complete proof (in appendix); that the logical chain has no gaps.
How do I install Jmsc Proofs in Claude Code?
Run `npx skills add franklee16/academic-research-skills --skill jmsc-proofs -a claude-code`. Or copy the skill folder (Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-proofs in franklee16/academic-research-skills) into .claude/skills/jmsc-proofs in your project. Claude Code loads it when a task matches its description.
How do I install Jmsc Proofs in Codex?
Run `npx skills add franklee16/academic-research-skills --skill jmsc-proofs -a codex`. Or copy the skill folder (Awesome-Journal-Skills-main/Journal-of-Management-Sciences-in-China-Skills/skills/jmsc-proofs in franklee16/academic-research-skills) into .agents/skills/jmsc-proofs in your project. Codex loads it when a task matches its description.
Can I use Jmsc Proofs 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-proofs -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-proofs, .gemini/skills/jmsc-proofs, .github/skills/jmsc-proofs and .opencode/skills/jmsc-proofs in your project.
What does Jmsc Proofs need to run?
SKILL.md names no scripts, command-line tools or credentials: Jmsc Proofs is instructions for the agent only.
Does Jmsc Proofs 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 Proofs 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 Proofs use?
No licence was found for Jmsc Proofs or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Jmsc Proofs use?
About 373 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 Proofs?
Skills that share tags, products or a category with Jmsc Proofs: Proof Video (openclaw/openclaw, 392k stars), Lean4 Theorem Proving (benchflow-ai/skillsbench, 1.8k stars), Robius State Management (sickn33/agentic-awesome-skills, 47k stars) and Writing Lean Proofs (trailofbits/skills, 7.4k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Jmsc Proofs?
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.