PyPI page
Home page
Author:
Dmitry Maranik
License:
MIT License
Copyright (c) 2026 Dmitry Maranik
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated doc...
Summary:
Static analyzer for Postgres Row-Level Security — 64 lint rules for tenant and per-user row-scoping bugs, performance traps, and hygiene (20 auto-fixable); a Z3 tenant-isolation prover (pgrls verify) that proves no row leaks to an anonymous session or across tenants, or shows the leaking row; gold-standard RLS scaffolding (pgrls generate); runtime seq-scan analysis (pgrls perf); a semantic policy-diff command for CI gating; and a pytest plugin for RLS isolation tests.
Latest version:
0.48.0
Required dependencies:
click
|
pglast
|
psycopg
|
z3-solver
Optional dependencies:
build
|
fastmcp
|
hypothesis
|
mypy
|
pytest
|
ruff
|
testcontainers
|
twine
|
z3-solver
Downloads last day:
48
Downloads last week:
579
Downloads last month:
5,013