πͺ
yaniv-golan/proof-engine
πͺMarketplaceyaniv-golan/proof-engine
What it does
Security check pending
AI agent skill that creates formal, verifiable proofs of claims β every fact computed or cited, never asserted
Add this Marketplace
Add marketplace in Claude Code:
/plugin marketplace add yaniv-golan/proof-engine0Plugins
0
Last UpdatedJun 18, 2026