{"name":"workersio-axiom-plugins-axiom","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"workersio-axiom-plugins-axiom","source":{"source":"github","repo":"workersio/skills"},"description":"Verify, check, transform, and repair Lean 4 proofs using the Axiom (Axle) API and CLI","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}