All pull requests

Pull requests

• fix(disasm): report overlapping pattern_scan matches (issue #28)

  #36·wcy12378 opened Nov 2, 2026·

  ·
  2

• chore(deps): bump github/codeql-action/upload-sarif from 4.37.9 to 4.39.1

  dependenciesgithub_actions
  #35·dependabot[bot] opened Nov 1, 2026Bot·

  ·
  1

• chore(deps): bump actions/setup-python from 7.0.0 to 7.1.0

  dependenciesgithub_actions
  #34·dependabot[bot] opened Nov 1, 2026Bot·

  ·
  1

• chore(deps): bump actions/upload-artifact from 7.0.1 to 7.0.2

  dependenciesgithub_actions
  #33·dependabot[bot] opened Nov 1, 2026Bot·

  ·
  1

• fix(verifier): reject unknown claim parameters

  #32·Henglie opened Oct 30, 2026·

  ·
  1

  5

• docs: add "Featured on Made with REA" badge

  #31·hirusheth opened Oct 24, 2026·

  ·
  2

• fix: pattern_scan misses overlapping matches (false VERIFIED on pattern_present count)

  #28·vishalhabib99 opened Oct 11, 2026·

  ·
  3

• fix(verifier): reject unknown import claim parameters

  #27·linhongyu510 opened Oct 3, 2026·

  ·
  2

• chore(deps): bump codecov/codecov-action from 7.0.0 to 7.1.1

  dependenciesgithub_actions
  #26·dependabot[bot] opened Oct 1, 2026Bot·

  ·
  1

• chore(deps): bump actions/attest-build-provenance from 2.4.0 to 4.2.2

  dependenciesgithub_actions
  #25·dependabot[bot] opened Oct 1, 2026Bot·

  ·
  1

• fix: refuse vacuous VERIFIED claims and bound PE export table reads

  #21·czk-aa opened Sep 11, 2026·

  ·
  2

• fix(agent): nudge the model to structured claim kinds on import/export/section goals

  #19·IMGillusion opened Sep 8, 2026Contributor·

  ·
  1

  4