prove

Solid

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.

AI & Automation 47 stars 5 forks Updated today Apache-2.0

Install

View on GitHub

Quality Score: 78/100

Stars 20%

Recency 20%

100

Frontmatter 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100

Skill Content

# /prove [surface] — wenlan verification loops Run every check through the evidence wrapper (records to `.claude/attest.jsonl`, which the weekly sweep audits): `~/.claude/bin/attest.sh <command>`. 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 (wenlan-app repo, 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...

Details

Author: 7xuanlu
Repository: 7xuanlu/wenlan
Created: 3 months ago
Last Updated: today
Language: Rust
License: Apache-2.0

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Solid

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; launch primitives live in the run-wenlan skill, deeper machinery (mutation audit, behavior trace, weekly sweep) in the prove skill.

47 Updated today

7xuanlu

AI & Automation Listed

prove

Triggered by /prove [path-to-plan-or-spec]. Proves a build actually works, in inspectable artifacts — screenshots, captured requests, command outputs, before/after values — one per spec item, plus a human-eye manual checklist. User-invoked and deliberately heavy: run ONLY when the user asks ("prove it", "show me it works", "verify this for real", "/prove"), never automatically and NEVER as an orca stage. Recommended before submitting a home assignment.

1 Updated 1 weeks ago

orassayag

Code & Development Listed

rite-prove

Prove a completed feature with tests and the full test suite, build/typecheck/lint, end-to-end/browser evidence, screenshots, commands, and outputs for seal. Not for single-slice proof.

1 Updated today

ViktorsBaikers