GitHub App for pull request integrity

ProofLock

Integrity before merge.

A pull request should not be able to weaken the tests, workflows, or policy used to judge itself. ProofLock evaluates those changes against rules from the base commit.

Free to use · Choose specific repositories · No user OAuth

ProofLock geometric verification seal
All systems operational Backlog 0 · Recovery 0 View status

The rules stay outside the change.

ProofLock binds policy, approval, and the final Check to evidence the pull request cannot rewrite retroactively.

01

Read the base policy

The active pull request cannot weaken the policy currently evaluating it.

02

Verify current-head approval

A new commit invalidates stale approval and starts a fresh integrity decision.

03

Publish one stable Check

Protected changes stay visible until the required evidence is current and eligible.

Audit first. Enforce when ready.

Install on selected repositories, inspect real pull requests in audit mode, then make the ProofLock Check required and switch to enforce.

.github/prooflock.ymlversion: 1
mode: audit
approval:
  required: 1
protectedSurfaces:
  - id: verification
    paths:
      - ".github/workflows/**"
      - "**/tests/**"
      - "**/lockfiles/**"

Only the access needed to decide.

ProofLock does not request user identity or write repository contents. Installation tokens are narrowed to one repository.

ChecksRead and write
ContentsRead only
Pull requestsRead only
User OAuthNot requested

Make verification changes impossible to ignore.

Install on selected repositories and begin in audit mode.