proof-engine

Create formal, verifiable proofs of claims with machine-checkable reasoning. Use when asked to prove, verify, fact-check, or rigorously establish whether a claim is true or false — mathematical, empirical, or mixed. Trigger phrases: "is it really true", "can you prove", "verify this", "fact-check this", "prove it", "show me the logic". Do NOT use for opinions, essays, or questions with no verifiable answer.

Attach Proof Engine proofs to LLM-wiki claims. Use for ingest (extract claims, look up or commission proofs, rewrite pages with badges) and lint (re-verify citations, detect contradictions, report stale proofs) steps in wiki pipelines. Trigger phrases: "ingest wiki page", "lint wiki", "{{prove:}} markers", "verify wiki citations".