v1.13.3

🐛 Bug Fixes

• fix(tool): report an empty code_comment batch instead of success (#1773)
• fix(mcp): follow tools/list pagination when caching server tools (#1770)
• fix(ci): prevent PR policy checkout state pollution (#1783)

Other Changes

• include pkgs/ as a provider directory for NixPkgs (#1642)

Full Changelog: v1.13.2...v1.13.3