Proof Engine Wiki

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".

yaniv-golan 6e51b85 3 files · 2.6 KB Updated

File contents

proof-engine-wiki

Hooks Proof Engine verification into LLM-wiki ingest and lint operations.

When to use

Invoke this skill when:

  • A new source has been added to a wiki and its draft pages contain {{prove:}} markers.
  • A periodic lint pass is running — re-verify citations, flag contradictions.
  • A user asks "is this claim actually proven?" while editing a wiki page.

When NOT to use

  • To write proofs from scratch — that is the proof-engine skill (the parent).
  • To extract claims from unmarked prose — this skill only processes explicit {{prove:}} markers. Auto-extraction is out of scope for v0.1.

Workflow

  1. Read the wiki page or directory.
  2. Run proof-engine-wiki ingest <path> (or lint, as appropriate).
  3. Review the output plan; commit the rewritten pages.

Full runbooks in references/ingest-runbook.md and references/lint-runbook.md.

yaniv-golan/proof-engine/tree/main/packages/proof-engine-wiki/skills/proof-engine-wiki commit 6e51b85f5a

Frequently asked questions

npx skillmds@latest add yaniv-golan/proof-engine-wiki