About correct
Find the mistakes agents keep repeating in this repo and make each impossible at the highest enforcing level — lint rule, type guard, runtime check, script, then text — with every enforcement proven to fire.
Install
Copy the command and run it in a terminal.
$
npx skills add https:/ / github.com/ yeachan-heo/ oh-my-claudecode --skill correctAfter installing, type/correctin Claude Code to confirm it loaded.
Details
From the project READMECorrect
Text instructions decay; structure reruns. This skill converts a repeated agent mistake into an enforcement the mistake cannot survive.
When to use
- the same class of error appears twice or more (wrong import path, missed codegen step, broken invariant, slop pattern)
- retrospective findings in
.omc/notepads/or review history name recurring friction
Workflow
- Collect. Mine the evidence — resolve OMC's state root first (the
checkout's
.omc/by default;OMC_STATE_DIRor a parent.omc-workspacemoves it, and a package-subdirectory launch must not read a stray checkout-local.omc): the notepads under<state-root>/notepads/*/problems.md, the verification ledger at<state-root>/state/verification-ledger.tsv, review comments, recent fix commits. Group by root cause, not by symptom. - Rank. Frequency × cost. Take the top mistakes; one at a time.
- Pick the highest enforcement level that works:
- linter rule / compiler error — the mistake stops compiling
- type-level guard — the mistake stops type-checking
- runtime check or assertion — the mistake fails loudly at the boundary
- script or codemod — the correct action is one command
- project skill text — the last resort; note why every higher level failed
- Implement the enforcement with its exception path documented (how a legitimate case opts out).
- Prove it fires. Reproduce the mistake deliberately and show the enforcement catching it, with real output. An enforcement you have not seen fire is a hypothesis (an external benchmark-checklist discipline applies).
- Record honestly: the ledger verdict matches what the repro actually
exercised — a lint rule or type guard firing is
enforcement-verified, a runtime check exercised by a test isunit-test-verified, a proof isformally-verified. Never record a stronger verdict than the evidence.
Rules
- Never weaken an enforcement to make a test pass; the enforcement is the requirement now.
- Record what was encoded in the state-root ledger
(
<state-root>/state/verification-ledger.tsvper the collection step) with the verdict the repro actually exercised (see workflow step 6) and the repro command as evidence. - Text added at level 5 references this skill, so the next occurrence tries to climb the ladder again.
Comments
Markdown supported