Hosted app

Change Consequence Dashboard

Install the GitHub App, monitor open proof obligations, and choose a self-service plan.

Install GitHub App Open app status JSON

Organization

Repository risk summary

Installed repos
0
Open obligations
0
Blocked PRs
0
Proof satisfied
0

Plans

Self-service billing