Description
convex-verify is an agent skill that proves a Convex feature works. A passing type check only shows that code parses, not that a non-owner is actually refused, that a query returns the right rows, or that a mutation does what it claims. The skill closes that gap with a seed, drive and assert loop. It seeds data, drives the feature as several mocked users, and asserts the results, all in-process with the convex-test library, so no deployment is needed. The most valuable checks are the negative ones: a user who is not the owner is refused, a request with the wrong identity fails, and data a user should not see stays hidden. The skill is part of the get-convex agent-skills repository and is added to a compatible agent with the skills command. Its audits passed with Gen Agent Trust Hub, Socket and Snyk. It suits developers who want evidence that their access rules and data flows behave as intended before they ship, rather than assuming so from a clean build.…
Highlights
- Seed, drive and assert loop
- Runs in-process with convex-test
- Drives the feature as several mocked users
- Focuses on negative authorization cases
Ratings & Reviews
No ratings yet
Be the first to rate convex-verify.
People also visit
laravel-verification
Verification loop for Laravel projects: env checks, linting, static analysis
convex-authz
Audit and harden a Convex app's authorization: identity-from-arg impersonation
migrate-to-shoehorn
Migrate test files from `as` type assertions to @total-typescript/shoehorn
convex-verify FAQ
What does convex-verify do?
It proves a Convex feature works by seeding data, running the feature as several users, and asserting the results.
Does it need a deployment?
No. It runs in-process with convex-test.
What does it check that a type check does not?
That non-owners are refused, that queries return the right rows, and that mutations have the effect they claim.
How do I install it?
Run: npx skills add https://github.com/get-convex/agent-skills --skill convex-verify
What security audits has it passed?
Gen Agent Trust Hub, Socket and Snyk all passed.
What are the best convex-verify alternatives?
Popular alternatives to convex-verify include django-verification, laravel-verification and verification-loop. See all convex-verify alternatives