Documentation
Skill
/prove
Per-surface verification loops for wenlan — daemon, cli, mcp, plugin, suite strength (mutation), behavior trace, weekly sweep. Routes to scripts; every check records evidence via attest. Deeper than the built-in verify skill — use prove for mutation audits, behavior tracing, and
Claude Code
$ npx -y skills add wenlan-app/wenlan --skill prove --agent claude-code
Codex
$ npx skills add wenlan-app/wenlan --skill prove -a codex -y
Cursor
$ npx skills add wenlan-app/wenlan --skill prove -a cursor -y
Gemini CLI
$ npx skills add wenlan-app/wenlan --skill prove -a gemini-cli -y
GitHub Copilot
$ npx skills add wenlan-app/wenlan --skill prove -a github-copilot -y
OpenCode
$ npx skills add wenlan-app/wenlan --skill prove -a opencode -y
Windsurf
$ npx skills add wenlan-app/wenlan --skill prove -a windsurf -y
SKILL.md
prove.SKILL.mdname: prove
description: Per-surface verification loops for wenlan — daemon, cli, mcp, plugin, suite strength (mutation), behavior trace, weekly sweep. Routes to scripts; every check records evidence via attest. Deeper than the built-in verify skill — use prove for mutation audits, behavior tracing, and the weekly sweep; built-in /verify handles generic runtime observation.
/prove [surface] — wenlan verification loops
Run every check through the evidence wrapper (records to `.claude/attest.jsonl`, which the weekly sweep audits): `bash scripts/attest.sh <command>`. That wrapper ships in the repo and runs on macOS, Linux and Windows (Git Bash); the older `~/.claude/bin/attest.sh` is a personal copy that does not exist on every machine, and a missing wrapper means the run is unrecorded, which the sweep reads as "the smoke never ran". Sandboxed local runs need `TMPDIR=/tmp/claude` prefixed (macOS mktemp gotcha).
| Surface | Command | Proves | |---|---|---| | `daemon` | read `references/daemon.md` | HTTP behavior on an isolated daemon | | `cli` | `attest.sh bash scripts/smoke-cli.sh` | shipped CLI black-box round-trip | | `mcp` | `attest.sh bash scripts/smoke-mcp.sh` | stdio JSON-RPC round-trip | | `plugin` | `/wenlan` setup verify path | plugin → MCP → daemon wiring | | `suite` | breadth: `cargo mutants -f <file>` (auto-generated mutants, lib-test oracle); depth: read `references/mutprove.md` | tests can actually go red (mutation audit) | | `behaviors` | `attest.sh python3 scripts/check-behavior-trace.py <plan.md> <tests...>` | tests trace to intent, both directions | | `sweep` | read `references/sweep.md` | weekly verify-the-verifier |
No argument → pick the surfaces the current diff touches (server/core → daemon; cli crate → cli; mcp crate → mcp; new/changed tests → behaviors + suite). App/UI surface (`app/`, `src/`, or anything rendered): rendered evidence required — drive the running app and look at the screen; unit/build green is not proof of visible correctness.
Live-smoke legs that need the real GPU model (L7) stay manual: `scripts/live-smoke-*.sh` — run before merging features whose e2e stubs the LLM.
Read more
name: prove description: Per-surface verification loops for wenlan — daemon, cli, mcp, plugin, suite strength (mutation), behavior trace, weekly sweep. Routes to scripts; every check records evidence via attest. Deeper than the built-in verify skill — use prove for mutation audits, behavior tracing, and the weekly sweep; built-in /verify handles generic runtime observation.
/prove [surface] — wenlan verification loops
Run every check through the evidence wrapper (records to `.claude/attest.jsonl`, which the weekly sweep audits): `bash scripts/attest.sh <command>`. That wrapper ships in the repo and runs on macOS, Linux and Windows (Git Bash); the older `~/.claude/bin/attest.sh` is a personal copy that does not exist on every machine, and a missing wrapper means the run is unrecorded, which the sweep reads as "the smoke never ran". Sandboxed local runs need `TMPDIR=/tmp/claude` prefixed (macOS mktemp gotcha).
| Surface | Command | Proves | |---|---|---| | `daemon` | read `references/daemon.md` | HTTP behavior on an isolated daemon | | `cli` | `attest.sh bash scripts/smoke-cli.sh` | shipped CLI black-box round-trip | | `mcp` | `attest.sh bash scripts/smoke-mcp.sh` | stdio JSON-RPC round-trip | | `plugin` | `/wenlan` setup verify path | plugin → MCP → daemon wiring | | `suite` | breadth: `cargo mutants -f <file>` (auto-generated mutants, lib-test oracle); depth: read `references/mutprove.md` | tests can actually go red (mutation audit) | | `behaviors` | `attest.sh python3 scripts/check-behavior-trace.py <plan.md> <tests...>` | tests trace to intent, both directions | | `sweep` | read `references/sweep.md` | weekly verify-the-verifier |
No argument → pick the surfaces the current diff touches (server/core → daemon; cli crate → cli; mcp crate → mcp; new/changed tests → behaviors + suite). App/UI surface (`app/`, `src/`, or anything rendered): rendered evidence required — drive the running app and look at the screen; unit/build green is not proof of visible correctness.
Live-smoke legs that need the real GPU model (L7) stay manual: `scripts/live-smoke-*.sh` — run before merging features whose e2e stubs the LLM.
Stats
94
Stars
8
Forks
Active
Maintenance
Rust
Language
Apache-2.0
License
Last commit
Created
Ships withwenlan
Open-source Obsidian alternative that works with your existing vault. The knowledge base you don't have to maintain: your AI tools keep it organized and up to date, with no API keys or plugins to set up. For you and your team.
9421 skills3 agents1 MCP
Stars on GitHub
Momentum
- stars in total
- 94
Other skills on wenlan.
More skills from other plugins.
codebase-wiki
How to work in a Codebase Wiki project (the `codebase-wiki` starter pack): an agent-authored, source-grounded wiki of the…
@inkeepInstall Skillacademic-paper-reviewe…
Simulates academic peer review, evaluating papers across Originality, Methodology, Results, and Writing to provide Major/Minor…
@zebbernInstall SkillQuestions about prove.
- Which coding agents can use prove?
- prove installs in Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode and Windsurf with the skills CLI, using each agent's flag shown on this page. Flowy's auto-invocation, which fires a skill when your prompt matches, runs in Claude Code only.