Proof Engine Wiki

---
name: proof-engine-wiki
description: >
  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".
license: MIT
metadata:
  author: Yaniv Golan
  version: "0.1.0"
compatibility: >
  Requires Python 3.11+ and the proof-engine-wiki package installed
  (`pip install proof-engine-wiki`). Optional: a configured registry in
  `~/.config/proof-engine/registries.toml` for `--registry-only` mode.
---

# 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`.