proof-engine plugin
Create formal, verifiable proofs of claims with machine-checkable reasoning
How to install the proof-engine plugin
Run both commands inside Claude Code. The first adds the marketplace once; the second installs the plugin.
/plugin marketplace add yaniv-golan/proof-engine
/plugin install proof-engine@proof-engine-marketplaceWhat's inside proof-engine
1 part read from the plugin's own files.
Skills 1
Claude loads it when the task matches- proof-engine
Creates formal, verifiable proofs of mathematical or empirical claims using machine-checkable code and specific source citations.
Using proof-engine in Claude Code
Skills need no command. Claude reads them when your request matches what they describe.
Update, turn off or remove
- Update the plugin (shell)
- claude plugin update proof-engine@proof-engine-marketplace
- Refresh the marketplace
- /plugin marketplace update proof-engine-marketplace
- Turn it off for now
- /plugin disable proof-engine@proof-engine-marketplace
- Remove it
- /plugin uninstall proof-engine@proof-engine-marketplace
Skills in proof-engine
- proof-engineyaniv-golan/proof-engine
Creates formal, verifiable proofs of mathematical or empirical claims using machine-checkable code and specific source citations.
42 files9stars
proof-engine plugin questions
How do I install the proof-engine plugin?
In Claude Code run /plugin marketplace add yaniv-golan/proof-engine, then /plugin install proof-engine@proof-engine-marketplace.
What does the proof-engine plugin include?
proof-engine bundles 1 skill.
How do I update or remove the proof-engine plugin?
Update it with claude plugin update proof-engine@proof-engine-marketplace in your shell, or from the Installed tab of /plugin. Remove it with /plugin uninstall proof-engine@proof-engine-marketplace.
What license is the proof-engine plugin under?
MIT, as stated in the plugin's manifest.