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 — 67 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.54.0
Required dependencies:
click
|
pglast
|
psycopg
|
z3-solver
Optional dependencies:
build
|
fastmcp
|
hypothesis
|
mypy
|
pygls
|
pytest
|
ruff
|
testcontainers
|
twine
|
z3-solver
Downloads last day:
253
Downloads last week:
1,761
Downloads last month:
7,878