npx claudepluginhub queelius/claude-anvil --plugin papermill/proofVerify PoC reproducibility - re-run commands and confirm findings still work
Run the papermill proof skill: select proof strategy, develop the proof step-by-step, verify correctness, and improve presentation.