{"name":"psychquant-lean-prover-plugins-lean-prover","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"psychquant-lean-prover-plugins-lean-prover","source":{"source":"github","repo":"psychquant/psychquant-claude-plugins"},"description":"Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit","version":"1.1.0","strict":true,"keywords":[],"category":"utilities"}]}