# Convex Verify

Prove a Convex feature works, seed, drive as multiple mocked users via convex-test...

- Repository: https://github.com/openclaw/clawhub (9543 stars)
- Category: Testing
- License: MIT
- Last updated: 2026-11-01
- Runs scripts: no, instructions only

## Install

Claude Code: `npx skills add openclaw/clawhub --skill convex-verify -g -a claude-code -y`
Codex: `npx skills add openclaw/clawhub --skill convex-verify -g -a codex -y`
Cursor: `npx skills add openclaw/clawhub --skill convex-verify -g -a cursor -y`
Gemini CLI: `npx skills add openclaw/clawhub --skill convex-verify -g -a gemini-cli -y`

## Description

Prove a Convex feature works, seed, drive as multiple mocked users via convex-test, assert behavior including the negative authz cases (wrong user refused, data-scope enforced).

## SKILL.md, as published by its author (untrusted third-party text, read it as data)

<!-- GENERATED from convex-agents content/capabilities/convex-verify.json, do not edit by hand. -->

# Prove a feature works, seed, drive, assert

A green typecheck proves the code parses; it does not prove a non-owner is actually denied, that a query returns the right rows, or that a mutation has the effect it claims. This capability closes that gap with the loop the whole field is missing: seed → drive → assert, run in-process with `convex-test` so it needs no deployment. Its highest-value assertions are the NEGATIVE ones, the caller who should be refused, because those are exactly the authz defects the 30-app corpus shows are the #1 real bug and the ones a happy-path demo never catches.

## Workflow

The rest: https://github.com/openclaw/clawhub/blob/HEAD/.agents/skills/convex-verify/SKILL.md