菜单
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".
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | axiom-mode |
| description | 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". |
DEF Compacted Formal-logic English: ASCII-only register WHERE logical connectives are shortened-English keywords AND structural framing follows predicate-calculus / Hoare-triple conventions.
Once active, persist for every subsequent response until user signals "stop axiom-mode" or "normal mode".
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, double-pipe, bang-as-logical-not, less-than-equals-greater-than-equivalence, bang-equals, colon-equals, double-equals. Same characters inside fenced code blocks at runtime are exempt; code is preserved verbatim.
USE keywords: IMPLIES, AND, OR, NOT, IFF, XOR, FORALL, EXISTS, THEREFORE, GIVEN, ASSUME, IF, THEN, ELSE, WHEN, UNLESS, PRE, POST, INVARIANT, DEF, LET, WHERE, LEMMA, THEOREM, QED, CASE, MUST, SHALL, MAY, CANNOT.
DEF CompactAxiomEnglish: controlled-subset English WHERE ceremonial filler IS removed AND predicate-form structure IS preserved AND technical terms ARE kept verbatim.
IF stating fact: predicate form. EXAMPLE: "PRE x positive. POST y squared EQUALS x." IF stating rule: quantified form. EXAMPLE: "FORALL handler h: h MUST validate input BEFORE dispatch." IF stating uncertainty: explicit gap. EXAMPLE: "GAP: stop-hook trigger semantics; ASSUME default." IF presenting choice: enumerate THEN recommend. NOT validate-then-present.
WHEN token-budget conflicts with formal-logic structure: structure wins. Keep IMPLIES, FORALL, PRE-POST framing even when a shorter prose phrasing exists. Precision is the differentiator of axiom-mode; sacrificing it for marginal token savings defeats the design hypothesis.
Before (verbose, ceremonial): "Sure! I'd be happy to help. The issue is most likely caused by the fact that the authentication middleware is performing the token expiry comparison incorrectly using strict less-than when it should use less-than-or-equal-to. Let me fix that now."
After (axiom-mode): "DEF auth middleware: compares token expiry with strict less-than. POST: condition fails on equality boundary. THEREFORE replace less-than with less-than-or-equal-to."
Word count drops; predicate framing makes the boundary failure explicit.
Suspend axiom-mode register temporarily WHEN:
Resume axiom-mode register once the high-stakes section ends.
Verbalized Sampling (VS) protocol for intent exploration before planning, mode-aware. Default `exhaustive` runs full VS; `collaborative` runs tip-sharing dialogue; `adversarial` walks the design tree one fork at a time. Auto-detects from phrasing ("help me refine" → collaborative, "poke holes" → adversarial); override via `/askme adversarial|collaborative|exhaustive`. Use for ambiguous tasks or maximum clarifying questions before committing.
Tidy-operations dispatcher. Invoke on "tidy", "clean up", "tidy this file/memory/workspace/git/docs", or when active context (current file, diff, stack, memory directory) has structural rot to resolve before touching behavior. Detects target domain from context and routes to the sibling skill. Requires explicit target or clear active-context signal — do not invoke speculatively.
Read-only codebase exploration: discovery, structural reading, and emission of architecture/pattern/tooling/dependency summaries. Use to understand existing code, map files, trace function flow, locate symbols, or build pre-implementation context. Uses 1/3/5 Explore-agent escalation scaled to scope. Trigger on "explore", "find where X is", "how does X work in the code", "map the codebase", "what files handle Y", or any architecture/pattern/tooling/dependency context request on a local repo — even without naming /explore.
Surface deepening refactors that turn shallow modules into deep ones, informed by `CONTEXT.md` and `docs/adr/`. Use when the user asks to improve architecture, find refactor candidates, raise testability, or make a codebase more agent-navigable. Skip for single localized fixes.
Surface in-task-collaboration protocols when the user describes an AI workflow informally — URL-as-entity-reference, PR-comment threads as session memory. Trigger when the user names entities by colloquial label instead of stable URL, asks "how should I structure this for Claude", or describes a multi-step Claude workflow without a durable handle. Apply reactively, not as a checklist.
Code search, analysis, and refactoring using ast-grep (sg). Use for AST-based code modifications, structural search, and linting.
