Installing Proof Engine

Claude Desktop didn't open. You can:

Try again

Or install manually: open Claude Desktop, click Customize, then Browse Plugins, add marketplace yaniv-golan/proof-engine.