Stats
Links
Categories
Marketplace
cogitator-validator
A single-plugin marketplace publishing the cogitator-validator skill: a pregroup-grammar decision tree that scores eleven Lean kernel checkers using persistent homology of rellm-tagged cogitator reasoning steps, with classical and QPE Betti estimators.
$
npx claudepluginhub bigmac0/cogitator-validator1 Plugin
cogitator-validator
0·
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.
3w
bigmac0