claudeindex
Plugin

axiom

Verify, check, transform, and repair Lean 4 proofs using the Axiom (Axle) API and CLI

Installation

1

Add the marketplace

/plugin marketplace add workersio/spec
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

workersio/spec

Details & Metadata