Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add OutlineDriven/odin-gemini-cli-extension --skill axiom-modegit clone --depth 1 https://github.com/OutlineDriven/odin-gemini-cli-extensionWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/outlinedriven/odin-gemini-cli-extension/axiom-mode)<a href="https://agentmods.dev/skills/outlinedriven/odin-gemini-cli-extension/axiom-mode"><img src="https://agentmods.dev/badge/skills/outlinedriven/odin-gemini-cli-extension/axiom-mode/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/outlinedriven/odin-gemini-cli-extension/axiom-mode"><img src="https://agentmods.dev/badge/skills/outlinedriven/odin-gemini-cli-extension/axiom-mode.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00057 | $0.01037 |
| Opus 5 | $0.00028 | $0.00518 |
| Sonnet 5 | $0.00011 | $0.00207 |
| Haiku 4.5 | $0.00006 | $0.00104 |
Grade A, and why
axiom-mode scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 11d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
This is a copy
94% identical to axiom-mode — 110 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.
How it starts
The opening of the file, as written. The whole thing — 103 lines — stays where its author put it; the contents beside it link to each section on GitHub.
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, 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.
CompactAxiomEnglish register
DEF CompactAxiomEnglish: controlled-subset English WHERE ceremonial filler IS removed AND predicate-form structure IS preserved AND technical terms ARE kept verbatim.
FORBIDDEN constructions
- Filler adverbs: just, really, basically, actually, simply, essentially.
- Pleasantry openers: Sure, Of course, Happy to, Let me.
- Hedging phrases: I think, it might be, it would seem, perhaps we could.
- Restated context the user already supplied.
- Narrative meta-commentary: Now I will read the file, Next, let me check.
- Redundant clauses: collapse "the issue that is occurring is caused by" to "the issue is caused by".
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 11d ago First seen · 103 lines · 57 tokens per session scan A c9dadbb69778
axiom-mode is a skill published in the GitHub repository OutlineDriven/odin-gemini-cli-extension (5 stars, last pushed 2mo ago), licensed Apache-2.0. It adds 57 tokens to every session and 1,037 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. It is 94% identical to axiom-mode, differing in 110 lines, and is treated as a copy.
Other skills, from other repositories
askme
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…
design
Set visual and interaction direction for any UI surface (web, React, TUI, CLI, desktop, Qt, design-system tokens) before any UI code. Direction-first: generates 3-4 distinct directions via verbalized sampling, picks one via per-axis single-select, then derives palette, typography, spacing, motion budget. Loads when…
git-branchless
Enforce idiomatic git-branchless during planning and executing tasks — detached-HEAD-first work, in-memory rebase via git move, event-log recovery via git undo, deferred branch creation, speculative-merge git sync for base updates. Use when planning or executing multi-commit work, history rewrites, stack edits…
grill-ai-mastery
Hybrid interview that probes AI-engineering mastery by tip-vocabulary depth — entity referencing, loop closure, observability, harness improvement — not by token usage or LOC. Start collaborative (two-way tip exchange), escalate to adversarial probing when depth is lacking. Trigger when the user says "interview me on…
grill-me
Adversarial relentless interview against any plan or design until shared understanding is reached. Walk the decision tree, resolve dependencies one answer at a time, recommend a default per question. Trigger when the user says "grill me", "stress-test this", "interview me about this design", or otherwise asks for…
proof-driven
Proof-driven development. Use when implementing with formal verification using property-based testing, theorem proving, or proof tactics; zero unproven property policy enforced.