{"name":"dkritarth-math-skills-math","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"dkritarth-math-skills-math","source":{"source":"git-subdir","url":"https://github.com/dkritarth/skills-marketplace","path":"skills/math"},"description":"Proof structure enforcement (claim/assumptions/proof/where-used) plus a real SymPy verification round-trip for symbolic and numeric sub-claims, with Lean-formalization candidates flagged (not forced).","version":"1.0.0","strict":false,"keywords":[],"category":"utilities"}]}