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

- Skill: `yaniv-golan/proof-engine-wiki` (Agent Skill, multi-file: 3 files)
- Install (CLI): `npx skillmds@latest add yaniv-golan/proof-engine-wiki`
- Raw SKILL.md: https://api.skillmd.com/api/skills/yaniv-golan/proof-engine-wiki/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- License: MIT
- Author: yaniv-golan (https://skillmd.com/u/yaniv-golan)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/yaniv-golan/proof-engine-wiki

---


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