agentsclimarketplace
Sign in

Verify

Skill 7xuanlu/wenlan/.claude/skills/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.From its SKILL.md

Install
npx -y skills add 7xuanlu/wenlan --skill verify

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.3 KB, as published. Nobody here has run it

Verifying wenlan — drive the real surfaces

Launch: use the run-wenlan skill — build, isolated boot on :17878, stop, and the daemon lifecycle checklist all live there. Never verify against the shared prod daemon on :7878.

Drive by surface — these scripts ARE the drive recipes (read them for the flow, run them for a full round-trip):

  • Daemon HTTP: curl the changed route on the isolated port; recipe in .claude/skills/prove/references/daemon.md.
  • CLI: bash scripts/smoke-cli.sh (capture → memories → search, black-box).
  • MCP: bash scripts/smoke-mcp.sh (stdio JSON-RPC initialize → capture → recall).

Gotchas (drive-time):

  • Ingest is async (batcher + embedding): poll search up to ~60s before calling a miss a failure.
  • Record evidence: prefix any check with ~/.claude/bin/attest.sh.

Deeper verification — mutation audit (suite), behavior trace (behaviors), weekly verify-the-verifier (sweep): invoke the prove skill.

Keep looking

Skills are one crate of 627,801. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.