sqlproof

Plugin sqlproof from marketplace sqlproof-skills in alialavia/sqlproof-skills. Commands read from the repo's manifest — 28 days ago.

Skills (6)

• sqlproof-ci-setup

  Set up sqlproof in a GitHub Actions CI pipeline for a Supabase-shaped (or vanilla Postgres) project. Use whenever the user asks to "add sqlproof to CI", configure GitHub Actions for sqlproof tests, set up `supabase/postgres` as a service container, add the auth migration that makes `auth.uid()` work

• sqlproof-rls-testing

  Write property-based tests for Supabase / PostgreSQL Row-Level Security (RLS) policies using sqlproof. Use whenever the user asks to test an RLS policy, a `CREATE POLICY` statement, row-level access control, multi-tenant isolation, or anything keyed off `auth.uid()` / `auth.role()` / `auth.jwt()`. A

• sqlproof-rpc-testing

  Write property-based tests for PostgreSQL SQL functions and Supabase RPC functions using sqlproof. Use whenever the user asks to test a `CREATE FUNCTION`, a `LANGUAGE sql` or `LANGUAGE plpgsql` function, a Supabase RPC, an RPC endpoint, or any callable database function. Also use when the task menti

• sqlproof-scenarios

  Describe a seeded, reproducible PostgreSQL database state with sqlproof scenarios instead of writing seed SQL. Use whenever the user needs a database holding specific rows — seed a dev or local Supabase database, a preview branch, data for an end-to-end or UI test, a demo, or the state from a bug re

• sqlproof-stateful-testing

  Write stateful (sequence-dependent) tests for PostgreSQL using sqlproof's SqlProofStateMachine. Use whenever the user asks to test a bug that only manifests after a sequence of operations, membership churn (join/leave repeated), pagination across mutations, accumulator state, or any "works on first

• sqlproof

  Write property-based tests for PostgreSQL schemas and SQL behavior using sqlproof. Use whenever the user asks to test a Supabase project, RLS policies, RPC functions, SQL functions, database triggers, migrations, or any code that touches PostgreSQL. Also use whenever the task mentions sqlproof, data