AI Summary"name": "proof-engine-marketplace", "name": "Yaniv Golan", "email": "yaniv@golan.name"
Install
Type these inside Claude Code's chat:
/plugin marketplace add yaniv-golan/proof-engine
/plugin install proof-engine-marketplace@proof-engine
Description
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted (1 plugins)
Discussion
0/2000
Loading comments...
Health Signals
MaintenanceCommitted 29d ago
● ActiveAdoptionUnder 100 stars
7 ★ · NicheDocsREADME + description
Well-documentedMIT License
My Fox Den
Community Rating
Sign in to rate this booster
Works With
Claude Code