v0.156.0

For agents and users

Features

• feat(distribution): Codex plugin manifest with site, privacy and terms pages (31956d8)

Other

• ci: clear the HOL plugin scanner's findings (8884a1c)

Maintenance (7 commits): CI, tests, site, examples, showcase, docs

• ci: list HOL plugin scan findings even when the gate fails (a663e28)
• ci: run the HOL AI plugin scanner on every push, PR and weekly (4ce4ff8)
• chore(deps): move Python pins to pyproject.toml and uv.lock (2e10eb1)
• chore(deps): Bump the dev-tools group across 1 directory with 2 updates (#508) (edeccf6)
• chore(deps): Bump actions/setup-python (#507) (b6ae845)
• docs(readme): move the HOL Guard badge into the centered badge row (d228326)
• docs(readme): add HOL Guard verified badge (#509) (99a5710)