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