πŸͺ

yaniv-golan/proof-engine

πŸͺMarketplace

yaniv-golan/proof-engine

VibeIndex|
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-engine
0Plugins
0
Last UpdatedJun 18, 2026