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 — 68 lint rules for tenant and per-user row-scoping bugs, performance traps, and hygiene (19 auto-fixable); a Z3 tenant-isolation prover (pgrls verify) that proves no row leaks to an anonymous session, across tenants, or through a view, 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.57.0
Required dependencies:
click
|
pglast
|
psycopg
|
z3-solver
Optional dependencies:
build
|
fastmcp
|
hypothesis
|
mypy
|
pygls
|
pytest
|
ruff
|
testcontainers
|
twine
|
z3-solver
Downloads last day:
472
Downloads last week:
2,858
Downloads last month:
10,177
7-day smoothing