Skill
run-wenlan-app
Build, launch, screenshot, and drive the wenlan-app Tauri desktop app in dev mode on macOS (WKWebView) or Windows (WebView2). Use when asked to run or start…
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
Install
$ npx -y skills add 7xuanlu/wenlan --skill prove --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
- Fires itselfAuto-invocation. Claude auto-loads it when your prompt matches the work.Auto-invocation is when the right skill fires by itself at the right moment, driven by a FLOW.md router and a hook, instead of you invoking it by name. It is the difference between a skill being installed and a skill actually getting used.Read the full definition →
- You can call itInvoke it directly when you want it.
- Slash command
/prove
Context preview
The summary Claude sees to decide when to auto-load this skill.
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
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.
Ships withwenlan
Wenlan is a knowledge base for the AI-native age. Your AI agents capture what they learn, Wenlan keeps it current and distills it into source-cited wiki pages you can trust
Get the whole plugin
Other skills on wenlan.
Skill
run-wenlan
Build, launch, and stop the wenlan daemon (wenlan-server) for local dev and verification. Use when asked to run or restart the daemon, or before driving any…
Skill
verify
Drive/evidence recipe for verifying wenlan changes at their real surfaces (daemon HTTP, CLI, MCP stdio). The handle file the built-in verify protocol expects;…
Skill
brief
Read the current Space-owned project Brief from Wenlan for Codex. With an optional topic, appends separately labeled related context from the same Space.…
Skill
capture
Save a durable memory to Wenlan from Codex. Use proactively when the user states a preference, makes a decision, corrects you, or shares a durable fact.…