6 projects
sectum-ai-spec
Sectum AI - Pydantic data models and JSON Schema for the verification spec.
sectum-ai-probes
Sectum AI - the multi-tenant leakage attack catalog (probe classes).
sectum-ai-evidence
Sectum AI - tamper-evident evidence chain, verification, and audit-pack rendering.
sectum-ai-adapters
Sectum AI - adapters connecting the substrate and probes to real systems.
sectum-ai
Sectum AI - multi-tenant AI verification: core substrate runner and the sectum-ai CLI.
pgrls
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.
