Stats
Links
Categories
Marketplace
lean-vacuity-check
Point an agent at a Lean repo and find out whether its headline theorem is real or vacuous
$
npx claudepluginhub lionsr/is-my-lean-proof-vacuous1 Plugin
Lean Vacuity Check
0·
Detect vacuous Lean 4 proofs — formalizations that compile but don't establish what they claim (fake P=NP and friends)
2w
LionSR