Plugin marketplace

lean-vacuity-check

Point an agent at a Lean repo and find out whether its headline theorem is real or vacuous

2 · LionSR/is-my-lean-proof-vacuous1 pluginMITupdated 5 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

lean-vacuity-check

claudecodex

Detect vacuous Lean 4 proofs (fake P=NP and friends)

2 skills · 2 commands

2

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted