# Proof Engine Wiki

> >

- **Type:** Skill
- **Install:** `agentstack add skill-yaniv-golan-proof-engine-proof-engine-wiki`
- **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior
- **Seller:** [yaniv-golan](https://agentstack.voostack.com/s/yaniv-golan)
- **Installs:** 0
- **Category:** [AI & ML](https://agentstack.voostack.com/c/ai-and-ml)
- **Latest version:** 0.1.0
- **License:** MIT
- **Upstream author:** [yaniv-golan](https://github.com/yaniv-golan)
- **Source:** https://github.com/yaniv-golan/proof-engine/tree/main/packages/proof-engine-wiki/skills/proof-engine-wiki
- **Website:** http://proofengine.info/

## Install

```sh
agentstack add skill-yaniv-golan-proof-engine-proof-engine-wiki
```

Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent.

## About

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

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [yaniv-golan](https://github.com/yaniv-golan)
- **Source:** [yaniv-golan/proof-engine](https://github.com/yaniv-golan/proof-engine)
- **License:** MIT
- **Homepage:** http://proofengine.info/

Install and usage instructions live in the source repository linked above.

## Pricing

- **Free** — Free

## Security capabilities

Automated source analysis of v0.1.0 — what this tool can access:

- **Network access:** no
- **Filesystem access:** no
- **Shell / process execution:** no
- **Environment & secrets:** no
- **Dynamic code execution:** no

*"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.*


## Versions

- **0.1.0** — security scan: passed — Imported from the upstream source.

## Links

- Listing page: https://agentstack.voostack.com/l/skill-yaniv-golan-proof-engine-proof-engine-wiki
- Seller: https://agentstack.voostack.com/s/yaniv-golan
- Browse the marketplace: https://agentstack.voostack.com/browse

---
Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.