Pull requests

• Read deployment reviews and hold a deploy job to them

  #64·Olagold-hackxx opened Nov 12, 2026·

  ·

• feat: continuous review watch daemon (proofline watch) and RFC 7231 Retry-After compliance

  #63·akashjadon04 opened Nov 12, 2026·

  ·

• Add shell completions command

  #62·IliaZyrin opened Nov 12, 2026·

  ·

• Add --ca-cert / PROOFLINE_CA_CERT to trust an extra PEM root

  #61·gcassata74 opened Nov 10, 2026·

  ·

• Surface cited files and non-ready check outcomes in review output

  #59·mcdoolz opened Nov 9, 2026·

  ·

• Compare the canonical binary path when updating, and report installed…

  #58·Elyahu41 opened Nov 9, 2026·

  ·

• feat(diff): compare findings between a pull request's two newest runs

  #57·Kathircpe opened Nov 9, 2026·

  ·

• feat: support Windsurf agent in MCP installer

  #56·RajGahoi opened Nov 9, 2026·

  ·

• Write a JUnit XML report from ci review

  #55·dcsys-dev opened Nov 9, 2026·

  ·

• feat: support Antigravity agent in MCP installer

  #54·1999AZZAR opened Nov 9, 2026·

  ·

• Add ci review --summary for GitHub Actions job summaries

  #53·wfzyx opened Nov 9, 2026·

  ·
  2

• Add ci review --annotations to show findings on the pull request diff

  #52·HookWoods opened Nov 8, 2026·

  ·

• Stop requesting AIs to add users' prompts as hidden comments to PRs

  #50·somechris opened Nov 8, 2026·

  ·

• Improve api code quality

  #49·somechris opened Nov 8, 2026·

  ·
  2

• Add Makefile

  #48·somechris opened Nov 8, 2026·

  ·
  2

• Print finding IDs in review text output

  #47·mihjok opened Nov 7, 2026·

  ·

• Add --fail-on to proofline review

  #46·dskrynnikov opened Nov 7, 2026·

  ·
  2

• Inspect coding-agent MCP configuration

  #44·bernacle opened Nov 6, 2026·

  ·
  2

• Show whether this checkout can be reviewed

  #43·SeanLF opened Nov 6, 2026·

  ·

• Export every page and window into one file

  #42·fedealconada opened Nov 6, 2026·

  ·

• feat: show declared reach in review text output

  #41·ethancatzel opened Nov 5, 2026·

  ·

• Name pull-request runs by repository name, not owner/name

  #36·fsodre opened Nov 4, 2026·

  ·

• Sync optional assessment coverage metadata

  #35·mohsen1 opened Nov 4, 2026Member·

  ·

• fix: validate review identity before CI verdict

  #34·silbulatovich opened Nov 3, 2026·

  ·

• Sync the revision scan public contract

  #33·mohsen1 opened Nov 2, 2026Member·

  ·