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-engineskill (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
- Read the wiki page or directory.
- Run
proof-engine-wiki ingest <path>(orlint, as appropriate). - Review the output plan; commit the rewritten pages.
Full runbooks in references/ingest-runbook.md and references/lint-runbook.md.