{"name":"daothinh-axiom-plugins-axiom","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"daothinh-axiom-plugins-axiom","source":{"source":"git-subdir","url":"https://github.com/daothinh/spec-cdex","path":"plugins/axiom"},"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"}]}