Sectum AI — cross-tenant isolation testing for AI/SaaS.
pgrls — static analysis + Z3 verification for Postgres Row-Level Security
Pinned Loading
-
pgrls/pgrls
pgrls/pgrls PublicStatic analyzer for Postgres Row-Level Security — 67 lint rules covering tenant and per-user row-scoping bugs, performance traps, and hygiene; 20 mechanically auto-fixable; semantic policy-diff com…
-
sectum-ai/sectum-ai
sectum-ai/sectum-ai PublicAI data-isolation verification — prove no user or customer can reach another's data across 13 AI surfaces, with tamper-evident evidence anyone can verify.
Python 4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




