BigHugger
sk Skill · 7xuanlu

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 the weekly sweep; built-in /verify handles generic runtime observation.

installs 8w
0
30-day movement
starts with the next reading
Related entries
3
Connections
0
Rust
Host repository
7xuanlu/wenlan
Host stars
72
Host language
Rust