Requirements
rizsotto/Bear
Write, modify, or review a requirement file under docs/requirements -- pick the single owning file, keep the text contract-only, name IDs so they need no explanation, and verify cross-references and…
The MMR safety-verification workflow — how to change trading-critical code without breaking the invariants that keep the book safe.
Install Mmr Verification
$ npx skills add 9600dev/mmr --skill mmr-verification -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install 9600dev/mmr mmr-verification --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/9600dev/mmr.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/mmr-verification .claude/skills/mmr-verification && 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 "mmr-verification" agent skill from https://github.com/9600dev/mmr/tree/master/skills/mmr-verification into .claude/skills/mmr-verification/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mmr-verification", 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/9600dev/mmr/tree/master/skills/mmr-verificationType 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 9600dev/mmr --skill mmr-verification -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install 9600dev/mmr mmr-verification --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/9600dev/mmr.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/mmr-verification .agents/skills/mmr-verification && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "mmr-verification" agent skill from https://github.com/9600dev/mmr/tree/master/skills/mmr-verification into .agents/skills/mmr-verification/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mmr-verification", 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 9600dev/mmr --skill mmr-verification -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install 9600dev/mmr mmr-verification --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/9600dev/mmr.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/mmr-verification .cursor/skills/mmr-verification && 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 "mmr-verification" agent skill from https://github.com/9600dev/mmr/tree/master/skills/mmr-verification into .cursor/skills/mmr-verification/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mmr-verification", 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/9600dev/mmr.git --path skills/mmr-verification--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 9600dev/mmr --skill mmr-verification -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install 9600dev/mmr mmr-verification --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/9600dev/mmr.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/mmr-verification .gemini/skills/mmr-verification && 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 "mmr-verification" agent skill from https://github.com/9600dev/mmr/tree/master/skills/mmr-verification into .gemini/skills/mmr-verification/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mmr-verification", 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 9600dev/mmr mmr-verificationInstalls 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 9600dev/mmr --skill mmr-verification -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/9600dev/mmr.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/mmr-verification .github/skills/mmr-verification && 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 "mmr-verification" agent skill from https://github.com/9600dev/mmr/tree/master/skills/mmr-verification into .github/skills/mmr-verification/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mmr-verification", 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 9600dev/mmr --skill mmr-verification -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install 9600dev/mmr mmr-verification --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/9600dev/mmr.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/mmr-verification .opencode/skills/mmr-verification && 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 "mmr-verification" agent skill from https://github.com/9600dev/mmr/tree/master/skills/mmr-verification into .opencode/skills/mmr-verification/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mmr-verification", 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
mmr-verification- GitHub stars
- 131
- Token cost
- ~2.3k tokens
- SKILL.md length
- 1,072 words
- Files
- 1
- Skills in repo
- 4
- Repo updated
- First seen
- Licence
- Custom licence
At a glance
The MMR safety-verification workflow — how to change trading-critical code without breaking the invariants that keep the book safe.
- Works in 6 steps: Type-check gate — ty on the kernel → Property layer — Hypothesis → Contracts + symbolic execution — deal +… → …
- Modifying the risk gate
- SKILL.md covers The division of labor (read…, The gates, and how to run them, The workflow, end to end and What NOT to do
- Calls uv
What it does
Mmr Verification is an agent skill from 9600dev/mmr. The MMR safety-verification workflow — how to change trading-critical code without breaking the invariants that keep the book safe. Use when modifying the risk gate, order construction, position sizing, the proposal state machine, the strategy gauntlet, or anything under trader/trading/; when adding or changing a strategy; or when a type-check / property / gauntlet gate fails and you need to know how to respond. Covers the ty type-check gate, the human-owned invariants spec, the Hypothesis property layer, deal…
Its SKILL.md is about 2.3k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Testing & QA, covering Trading and backtesting and Test coverage. The repository describes itself as: Python based algorithmic trading platform for Interactive Brokers.
When your agent uses it
- Modifying the risk gate
- Order construction
- Position sizing
- The proposal state machine
Example prompts
- “/mmr-verification”
Requirements
- Python 3
Workflow steps
6 steps, taken from the step headings in SKILL.md.
- Type-check gate — ty on the kernel
- Property layer — Hypothesis
- Contracts + symbolic execution — deal + CrossHair (pure kernel)
- Mutation testing — mutmut ("verify the verifier")
- Strategy gauntlet — "no hash, no live"
- Full suite
What it can do on your machine
Read from SKILL.md and the folder at commit 5ac9b3d. 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
Shell commands in SKILL.md call:
uv
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md. Its commands use uv, which can reach the network depending on how they are called.
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
Mmr Verification loads about 2.3k tokens when it runs. Until then it costs about 181 tokens; SKILL.md has 1,072 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
Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 1,072 words (~2,250 tokens).
“MMR trades real money behind a double-arm. Safety here is not "write careful code" — it's a set of gates that make the unsafe change fail loudly before it ships. This skill is the operating manual for those gates. Read…”
- name
- mmr-verification
- metadata.author
- mmr
- metadata.version
- 1.0
Files
Just SKILL.md in skills/mmr-verification of 9600dev/mmr.
Open the folder on GitHubat commit 5ac9b3d
Compare with similar skills
Mmr Verification 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 |
|---|---|---|---|---|---|---|
| Mmr Verification this skill9600dev/mmr | 131 | — | ~2.3k | Automated safety check: Pass | Custom licence | |
| Requirementsrizsotto/Bear | 6.5k | — | ~2k | Automated safety check: Pass | GPL-3.0 | |
| Crap Analysisardalis/RiverBooks | 135 | 2 repos | ~3.4k | Automated safety check: Pass | None | |
| Code Coverages3s-project/s3s | 311 | — | ~789 | Automated safety check: Pass | Apache-2.0 | |
| Project Statusbactopia/bactopia | 522 | — | ~787 | Automated safety check: Pass | MIT | |
| Check Coverageldayton/Dippy | 243 | — | ~403 | Automated safety check: Pass | MIT |
Similar skills
Crap Analysis
ardalis/RiverBooks
Analyze code coverage and CRAP (Change Risk Anti-Patterns) scores to identify high-risk code.
Code Coverage
s3s-project/s3s
Measure and grow the line coverage of the s3s crate. An agent skill from s3s-project/s3s.
Project Status
bactopia/bactopia
Show a live snapshot of the Bactopia project state — component counts, GroovyDoc coverage, nf-test coverage, and structural issues.
Check Coverage
ldayton/Dippy
Ensure comprehensive test coverage for a CLI handler. An agent skill from ldayton/Dippy.
Guarding Destructive Operations
kajisho5/ffmpeg-skill
Add and review preconditions on operations that delete, overwrite, rewrite history, or resolve a caller-supplied name to a filesystem path — refusing instead of warning, placing the guard ahead of…
More from 9600dev/mmr
Mmr Loop Skill
9600dev/mmr
Autonomous trading loop for the MMR platform. An agent skill from 9600dev/mmr.
Mmr Skill
9600dev/mmr
Operate the MMR algorithmic trading platform on Interactive Brokers.
News
9600dev/mmr
Fetch, search, and summarize financial news articles via the local scraper service (~/dev/scraper) at http://127.0.0.1:8089.
Related
Categories
Questions about Mmr Verification
What does Mmr Verification do?
The MMR safety-verification workflow — how to change trading-critical code without breaking the invariants that keep the book safe. Mmr Verification is an agent skill from 9600dev/mmr. The MMR safety-verification workflow — how to change trading-critical code without breaking the invariants that keep the book safe.
When should I use Mmr Verification?
Mmr Verification fits situations like: modifying the risk gate; order construction; position sizing; the proposal state machine.
How do I install Mmr Verification in Claude Code?
Run `npx skills add 9600dev/mmr --skill mmr-verification -a claude-code`. Or copy the skill folder (skills/mmr-verification in 9600dev/mmr) into .claude/skills/mmr-verification in your project. Claude Code loads it when a task matches its description.
How do I install Mmr Verification in Codex?
Run `npx skills add 9600dev/mmr --skill mmr-verification -a codex`. Or copy the skill folder (skills/mmr-verification in 9600dev/mmr) into .agents/skills/mmr-verification in your project. Codex loads it when a task matches its description.
Can I use Mmr Verification 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 9600dev/mmr --skill mmr-verification -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/mmr-verification, .gemini/skills/mmr-verification, .github/skills/mmr-verification and .opencode/skills/mmr-verification in your project.
What does Mmr Verification need to run?
Going by SKILL.md and its folder, Mmr Verification needs the command-line tools its instructions call (uv). Our summary lists: Python 3.
Does Mmr Verification access the network?
SKILL.md contains no URLs. Its commands use uv, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
Is Mmr Verification 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 Mmr Verification use?
Mmr Verification has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.
How many tokens does Mmr Verification use?
About 2.3k tokens (SKILL.md is roughly 9k 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 Mmr Verification?
Skills that share tags, products or a category with Mmr Verification: Requirements (rizsotto/Bear, 6.5k stars), Crap Analysis (ardalis/RiverBooks, 135 stars), Code Coverage (s3s-project/s3s, 311 stars) and Project Status (bactopia/bactopia, 522 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Mmr Verification?
9600dev (a GitHub user) maintains it in 9600dev/mmr, which has 131 GitHub stars. The repository holds 4 skills in this directory. The repository was last updated on September 14, 2026.
Source: 9600dev/mmr on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.