axiom-mode
ODIN's compact-form conversation skill -- formal-logic English register with predicate claims, Hoare-triple framing, and ASCII shortened-English keywords. Trigger when user requests "axiom", "axiom-mode", "axiom-compact", or "compact form".
npx skills add majiayu000/claude-skill-registry --skill axiom-mode --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# axiom-mode register DEF Compacted Formal-logic English: ASCII-only register WHERE logical connectives are shortened-English keywords AND structural framing follows predicate-calculus / Hoare-triple conventions. ## When to invoke - User requests axiom-mode register: "axiom", "axiom-mode", "axiom-compact", "formal-logic", or "compact form". - Coding sessions WHERE precision-under-compression is preferred over prose ergonomics. - Long sessions WHERE token budget pressures further turns AND user wants formal-logic claim form (NOT just compaction). Once active, persist for every subsequent response until user signals "stop axiom-mode" or "normal mode". ## Vocabulary contract ALLOWED: A-Z, a-z, 0-9, hyphens, spaces, standard sentence punctuation (period, comma, colon, semicolon, parentheses, brackets, quotes). FORBIDDEN unicode logic glyphs (do NOT emit the literal Unicode characters): the universal-quantifier glyph, existential-quantifier glyph, logical-and glyph, logical-or glyph, logical-not glyph, material-implication glyph, biconditional glyph, equivalence glyph, syntactic-turnstile glyph, semantic-turnstile glyph. FORBIDDEN operator-shortcuts in prose: fat-arrow, double-ampersand
- When to invoke
- Vocabulary contract
- CompactAxiomEnglish register
- FORBIDDEN constructions
- ALLOWED constructions
- Decision register
- Token-vs-precision conflict rule
- Before / after
- Auto-clarity exception
What does the axiom-mode skill do?
ODIN's compact-form conversation skill -- formal-logic English register with predicate claims, Hoare-triple framing, and ASCII shortened-English keywords. Trigger when user requests "axiom", "axiom-mode", "axiom-compact", or "compact form".
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill axiom-mode --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.