Convex Verify
Prove a Convex feature works — seed, drive as multiple identities, assert positive AND negative cases
- What
- Prove a Convex feature works — seed, drive as multiple identities, assert positive AND negative cases
- Cost
- Free
- Needs
- a Convex project (see the repo README for setup); convex-test + vitest dev deps with vitest.config.ts edge-runtime config
- Install
- Copy the installer prompt below into your Muse — your agent does the rest.
Curated by Skill Harbor — the most rigorous guide of the 12: "a green typecheck proves the code parses, not that a non-owner is refused". The loop the whole field is missing — seed → drive → assert, run in-process with convex-test so no deployment is needed: seed the caller's rows AND a second user's rows, drive the feature as three identities (owner, other authenticated user, unauthenticated) with `t.withIdentity`, assert the positive case AND the NEGATIVE ones (the wrong caller is actually refused; a list query returns only the caller's rows). A failing negative assertion is a real authz hole found before ship — emitted as a bus finding, and the fix goes in the function (convex-authz), never by weakening the test. Distinct from `get-convex-convex-reviewer` (lot 32): reviewer = STATIC audit of written code in 3 passes; verify = EXECUTION proof. Complementary with convex-test (this lot): test = WRITE the tests; verify = PROVE the feature. By @get-convex, listed here with credit to its creator. Honest caveats: requires a Convex project and the convex-test + vitest dev deps with the edge-runtime config (free tier exists); never weakens an assertion to make it green. Skill Harbor never reviews the code, review it yourself before use.
Version:
Install
Prerequisites: a Convex project (see the repo README for setup); convex-test + vitest dev deps with vitest.config.ts edge-runtime config Install "Convex Verify" for me. Give my agent the seed → drive → assert workflow for proving my Convex features work: seed both the caller's and a second user's rows, drive the function as owner / other user / unauthenticated with t.withIdentity, assert positive AND negative behavior (wrong caller refused, data-scope enforced), never weaken an assertion to make it pass, emit bus findings for failures Repository: https://github.com/get-convex/agent-skills/blob/main/skills/convex-verify/SKILL.md 1. Fetch the SKILL.md file for the get-convex-agent-skills-convex-verify skill from the repository into a temporary folder and summarize what it does in one or two sentences. 2. Safety check: review the SKILL.md for anything suspicious (unexpected network calls, shell commands, credential harvesting). This repo should contain zero secrets in code, credentials only via the secure vault, allowed hosts declared in the SKILL.md. Verify that holds here; STOP on any red flag and tell me. 3. Install it as a skill: copy SKILL.md into the agent's skills directory, in a folder named "get-convex-agent-skills-convex-verify". 4. Verify with no network calls: frontmatter valid, files in place. 5. Report what was installed, where, and what I still need to do myself (e.g. add convex-test + vitest dev deps, set the edge-runtime config, name the feature to prove). GitHub is optional: if I have a GitHub account or the gh CLI, you may use it; otherwise public access is fine. Never require it unless it's in the prerequisites above. Rules: don't touch anything outside the temp folder and the install target. Never ask me to paste secrets in chat — credentials go through the secure vault or environment variables. If anything looks off, stop and ask me.
Questions
How do I install a build?
Every product page includes a copy-paste install prompt. Paste it into your Muse and it sets the build up for you — no manual configuration.
Where does my money go?
Straight to the seller. Skill Harbor never processes payments: checkout happens on the seller’s own page, usually Stripe.
What does the ✓ next to a creator’s name mean?
It means we confirmed the identity of the person behind the listing. It says nothing about the code itself — always check a build before installing it.