agentsclimarketplace

Proof engine wiki

Skill yaniv-golan/proof-engine/packages/proof-engine-wiki/skills/proof-engine-wiki

AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted

Install
npx -y skills add yaniv-golan/proof-engine --skill proof-engine-wiki

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

  • 8 stars8 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

What its author says it does

Copied from the file, not written here

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

The file declares its own license as MIT. That is the author’s claim about this one file, and it is not the same thing as the license GitHub reports for the repository, which is listed with the other numbers below.

SKILL.md

1.5 KB, as published. Nobody here has run it

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.

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.