skill-yaniv-golan-proof-engine-proof-engine-wiki · by — No reviews yet
0 installs
7 views
0.0% view→install
Install
$ agentstack add skill-yaniv-golan-proof-engine-proof-engine-wiki ✓ scanned · ✓ verified — works with Claude Code, Cursor, and more.
Security review
✓ PassedNo issues found. Passed automated security review. · v0.1.0 How review works →
- ✓ Prompt-injection patterns
- ✓ Secret / credential exfiltration
- ✓ Dangerous shell & filesystem operations
- ✓ Untrusted network calls
- ✓ Known-malicious package signatures
What it can access
- ✓ Network access No
- ✓ Filesystem access No
- ✓ Shell / process execution No
- ✓ Environment & secrets No
- ✓ Dynamic code execution No
From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.
Are you the author of Proof Engine Wiki? Claim this listing to set pricing, connect Stripe payouts, and keep 70% of every sale.
Sign up to claimAbout
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-engineskill (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(orlint, as appropriate). - 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
- Source: yaniv-golan/proof-engine
- License: MIT
- Homepage: http://proofengine.info/
Install and usage instructions live in the source repository linked above.
Reviews
No reviews yet — be the first.
Write a review
Versions
- v0.1.0 Imported from the upstream source.