Proof Engine Wiki

Name: Proof Engine Wiki
Author: yaniv-golan

ASecurity

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

8 stars
0 votes
0 copies
3 views
Added May 27, 2026

data-aipythongo

Security analysis

A92/100

mediumInstalls packages at runtime which could introduce malicious dependencies

Pro scans all 3 files and shows the line behind each finding

Scanned May 27, 2026

npx -y skills add yaniv-golan/proof-engine --skill proof-engine-wiki --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Proof Engine Wiki?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Proof Engine Wiki

[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/yaniv-golan-proof-engine-wiki/badge)](https://www.skillsdirectory.com/skills/yaniv-golan-proof-engine-wiki)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro

SKILL.md

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