{"name":"bigmac0-cogitator-validator","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"bigmac0-cogitator-validator","source":{"source":"github","repo":"bigmac0/cogitator-validator"},"description":"Decision-tree skill for validating Lean kernel checkers via persistent homology of cogitator reasoning steps. Backs an 11-checker × N-prime grid with VR/PH topology and a QPE Betti estimator.","version":"0.1.0","strict":true,"keywords":["lean4","category-theory","persistent-homology","qiskit","pregroup-grammar","checker-validation","1-category"],"category":"deployment"}]}