agentmods.dev

yaniv-golan/proof-engine

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

Open on GitHub proofengine.info
8Stars on the repository
3Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

proof-engine-wiki

01

yaniv-golan/proof-engine

Skill Claude CodeCodex

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…

not rated 8 5mo ago A 78 tokens original MIT