Skip to content
Plugin

proof-engine-marketplace

by yaniv-golan

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
Active
AdoptionUnder 100 stars
7 ★ · Niche
DocsREADME + description
Well-documented

GitHub Signals

Stars7
Forks1
Issues0
Updated29d ago
View on GitHub
MIT License

My Fox Den

Community Rating

Sign in to rate this booster

Works With

Claude Code