🏪
yaniv-golan/proof-engine
🏪Marketplaceyaniv-golan/proof-engine
Add this Marketplace
Add marketplace in Claude Code:
$
/plugin marketplace add yaniv-golan/proof-engine
|What it does
|AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
0Plugins
0
Last UpdatedJun 18, 2026