Skills
.Work. You
Rest

axiom-mode

Official

Compact-form formal-logic dialogue mode.

Education & Research#axiom#formal-logic#predicate-claims#hoare-triple#compact-form#ascii-keywords
AuthorOutlineDriven
Version1.0.0
Installs0

System Documentation

What problem does it solve?

ODIN's axiom-mode provides a compact, formal-logic English register that uses ASCII keywords to express predicate claims, proveable steps, and Hoare-triple framing, reducing ambiguity in reasoning conversations.

Core Features & Use Cases

  • Maintains a formal-logic register during interactive sessions, persisting state until explicitly stopped.
  • Uses ASCII keywords (IMPLIES, AND, OR, NOT, THEREFORE, PRE, POST, INVARIANT) to express logical relations without Unicode glyphs.
  • Supports predicate-claims and Hoare-triple style reasoning for rigorous software reasoning and verification.
  • Use cases include precise reasoning during design reviews, algorithm analysis, and formal-method discussions with AI.

Quick Start

Enable axiom-mode by requesting the compact-form register and begin using predicate claims for formal-logic reasoning.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: axiom-mode
Download link: https://github.com/OutlineDriven/odin-gemini-cli-extension/archive/main.zip#axiom-mode

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.