yaniv-golan/proof-engine

AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted

8Stars on the repository

3Mods indexed here, across every type

4mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Plugin Claude Code

Bundles 1 skill · 96 tokens together

Create formal, verifiable proofs of claims with machine-checkable reasoning — every fact computed or cited, never asserted.

not rated 8 4mo ago A tokens not measured original MIT