{"name":"yaniv-golan-proof-engine-proof-engine","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"yaniv-golan-proof-engine-proof-engine","source":{"source":"github","repo":"yaniv-golan/proof-engine"},"description":"Create formal, verifiable proofs of claims with machine-checkable reasoning — every fact computed or cited, never asserted","version":"1.6.0","strict":true,"keywords":["proof","verification","fact-check","citations","formal-reasoning","claims"],"category":"deployment"}]}